CSC 165: Announcements


Thursday, 21 December 2006

Final exam solutions posted
A copy of the final exam paper and sample solutions is now posted to the Tests page.

Unofficial final grades
Most unofficial final exam marks and final grades are now posted to the online marks posting. Official grades will be posted to ROSI sometime in January. These marks posted here are unofficial and might be changed. (If your mark is missing, don't worry... if you wrote outside the normal exam room, I still haven't received your exam--I'll get it in January.)

Have a great break, and good luck in the new year!


Monday, 18 December 2006

A5 return
I'll have A5 for return during office hours this week. Following my office hours on Tuesday, I'll give them to Jeremy Knight. You can claim them from BA 4283 [room number corrected] during 9-5 business hours (bring your student card).

Term marks online
All term marks (including A5) have been entered into the online marks posting. Please make sure everything is correct, and let me know of any errors prior to the final exam. Any special consideration will be handled manually when final grades are computed.


Friday, 8 December 2006

Exam week office hours
I'm changing my office hours in honour of exam week and our changing schedules. I will hold office hours at the following times (and more, by student request):

All office hours will be held in BA 3234 (the usual room). Any changes to times or added office hours will be noted here.


Thursday, 7 December 2006

Tutorial this week
Yes, there is a tutorial this week. We'll return Q5, and cover an interesting question on stability. As a bonus, there will be a selection of old final exam questions on the handout that you can use to help you study for the final exam.


Wednesday, 6 December 2006

A5 hints
A few hints and suggestions for A5 are posted on the Assignments page.


Friday, 1 December 2006

Quiz 5 solutions posted
On the Tests and Quizzes page.


Wednesday, 29 November 2006

Chapter 7 notes updated
The online posting of the chapter 7 notes has been updated on the Lectures page.

Also, any uncollected A4 or Test 2 has been dropped off at the CSSU (BA 2283), for you to pick up at your leisure.


Tuesday, 28 November 2006

A5 posted
Assignment 5 is available on the Assignments page.

Q5 details
Quiz 5 details have been posted to the Tests and Quizzes page.


Monday, 27 November 2006

Test 2 returned
Test 2 was returned in lecture today, and the marks are posted. Make sure you check the solutions (posted on the Tests page) if you're unsure how your test was marked.

A4 marks posted
A4 marks are now posted on the online marks posting. Any "early" bonus is included in the posted mark.


Thursday, 23 November 2006

Applying CSC 165 for fun and profit
Now that we're nearing the end of CSC 165, how are you going to use it (beyond getting awesome marks in any courses requiring proofs)? Not only are you learning how to write proofs, but you're learning how to think carefully and rationally, and how to reason precisely. Exactly the skills you need to succeed in the following two fun applications.

The ACM International Collegiate Programming Contest is a world-wide competition where you solve problems by writing short computer programs. The local U of T team is off to the finals in Tokyo (all expenses paid) in March, where they can win $10,000 US. To find out more, learn more about the contest, and participate in future contests, visit the U of T team page or email Igor Naverniouk (address is his first name at cs.toronto.edu). The school team is formed in September each year, so get practicing now!

If Xboxes or solving puzzles without programming are more your thing, Microsoft's annual College Puzzle Challenge might be interesting. Held each November at a number of schools across North America, you try to solve the final meta puzzle, using solutions from the other twenty puzzles to help you.

Past problems and solutions are available at each of these links. Igor tells me there's a programming contest practice and introduction today (Thursday) at 5:30pm in BA2270 (and pizza is included!).


Monday, 20 November 2006

Location for test today
Just one more reminder that today's test will be written in GB 404, not the regular lecture room. It will be held during the usual lecture time.

Test 2 sample solutions
Sample solutions for test 2 are now posted on the Tests page.

Uncollected work at CSSU
Another batch of uncollected graded work was dropped off at the CSSU (BA 2283) today. If you're missing any items that are posted to the marks page, or requested a remark, check for it there.


Saturday, 18 November 2006

A4 solutions posted
Sample solutions for A4 are now posted to the Assignments page.


Wednesday, 15 November 2006

A4 extension
The due date for Assignment 4 is now extended to Friday November 17 at 5:00pm. Since you'll want the solutions posted in time to study for the test (and the extension is beyond the grace day window anyway), no grace days can be used to further extend the due date for this assignment.

However, if you hand in by the original due time (Thursday at noon), I'll give you a 10% bonus on your assignment mark as a reward for finishing it early. (Sorry, grace days can't be used to extend this offer either.)

A4 hints
... are posted on the Assignments page.


Tuesday, 14 November 2006

Test 2 location reminder
Remember that Test 2, scheduled for Monday, November 20, will be held in GB 404 (the same room as for the first test), and not in the regular lecture room. The test will be held during the regular lecture time, though. More information about the test itself is posted on the Tests page.


Friday, 10 November 2006

A3 returned, Quiz 4 solution
A3 was returned in tutorial today, and marks are posted online. Please ensure all your marks are recorded correctly.
Also, a sample solution to quiz 4 is posted on the Tests and Quizzes page.


Thursday, 9 November 2006

A3 solutions posted
Sample solutions for A3 have been posted to the Assignments page.


Wednesday, 8 November 2006

Exercises added to notes
Due to some requests, I've added some exercises to the end of the chapter 5 notes. Some have solutions, some don't. All are past quiz/test/exam questions. Let me know what you think about having them added to the notes. Using the newsgroup to discuss and post answers to the exercises is probably a great idea.


Tuesday, 7 November 2006

A4 posted
Assignment 4 is posted in the usual place.


Wednesday, 1 November 2006

This week's notes posted
The first part of chapter 5 notes are posted on the Lectures page.


Tuesday, 31 October 2006

Please don't cheat!
I received a message from the Associate Chair asking me to remind students not to cheat (maybe somebody got caught in another course). Students who cheat hurt themselves (not learning the material), hurt you (imagine if a cheater graduates, gets a job, and the boss realizes this person doesn't know anything... are they likely to hire another U of T grad again?), and hurt society (would you like to go to a doctor who cheated his way through med school?).

If you're ever unsure what's acceptable, in this course or any other, ask the instructor before doing it. Then you haven't done anything wrong, you'll get clarity on what's expected, and your instructor will respect you for being so forthcoming and on top of things.


Monday, 30 October 2006

A3 hints posted
A collection of hints (based on student questions in office hours) has been posted to the Assignments page.


Friday, 27 October 2006

Quiz 3 solutions posted
On the Tests and Quizzes page.

Full chapter 4 posted
A final version of chapter 4 (proofs) notes is now posted on the Lectures page. Please let me know if you discover any typos or errors.


Thursday, 26 October 2006

Updated chapter 4 notes
I've posted an updated draft of chapter 4 (proofs) notes to the Lectures page. I still want to add a couple examples, but I thought you'd want to get the summary pages before the quiz. I've also posted Gary Baumgartner's summary of proof structure in the same place.


Monday, 23 October 2006

Uncollected returned work
Any uncollected A1, A2, or T1 have been delivered to the CSSU. There's usually someone hanging around in BA 2283 during the day that can help you get your marked work back.


Saturday, 21 October 2006

A3 released
Assignment 3 has now been posted to the Assignments page. This assignment will likely take a little more time and thought to complete than the previous assignments, so be sure you start early.


Friday, 20 October 2006

CDF outage update
CDF is now restoring the file systems from recent backups, but they're forcasting CDF won't be available until this evening. Also, any recent file changes might be lost, depending on how old the backup was. Fortunately this doesn't affect our course, but for your other CS courses, rest assured your instructors are aware of this.

A1 marking comments
Some comments from the marker have been added to the A1 solutions on the Assignments page.

A2 marks available
The TA has finished marking A2, and assignments will be returned next week. In the meantime, the marks have been added to the online marks database.

Final Exam Schedule posted
The Faculty of Arts and Science has posted the December Exam schedule. You'll need to go there to check when your final exam is being held (a copy will be posted at the undergraduate office)... I'm not allowed to tell you, just in case I make an error!


Thursday, 19 October 2006

CDF filesystem down
The CDF's RAID array that hosts students' and instructors' home directories went down at around 7pm on Thursday, October 19, and its internal configuration was lost. The CDF staff is working on recreating the array and restoring the data from recent backups. I understand CDF is expected to be down until at least tomorrow morning (Friday, Oct 20) as the system is repaired.

A1 marks posted, return
A1 marks are now posted, and A1 will be returned in tutorial Friday.


Tuesday, 17 October 2006

T1 marks posted
Marks for Test 1 have been added to the online marks posting.

Test 1 sample solutions
Sample solutions and some marking scheme notes are now posted on the Tests page.


Monday, 16 October 2006

CSSU Movie Night
After all that studying for the test, you probably deserve some relaxation. From the CSSU: There is a movie night scheduled on the 18th of October that is a WEDNESDAY. We are showing "Harold and Kumar go to White Castle" (they get the munchies!!!!!). People this event is free and will take place at BA 1190 at 9 pm sharp!!!!!!! There also may be the slight chance of free pizza, i guess you'll just have to show up to find out...

Career events
You'll notice this afternoon's Microsoft: Meet the Company event information (and other notable CS events and deadlines) at the department's CS Undergraduate Announcements page.


Friday, 13 October 2006

A2 sample solutions posted
Sample solutions for A2 are now posted on the Assignments page.

Room for test 1
This is a reminder that Test 1 (which will be written on Monday) will be held in GB 404, not the regular lecture room.

Missed getting your work when it was handed back?
If we weren't able to return your marked work when we gave it back to everyone else, don't worry, we didn't burn it! It's probably waiting for you to pick up at the CSSU. Visit BA 2283 and get your work, and chat up the senior students hanging around to get the inside info on CS.


Thursday, 12 October 2006

A1 return delayed
I've heard from the TA that A1 will not be ready to return this week. Unfortunately, that means you'll probably not have it back before the test. Instead, take a close look at the A1 sample solutions posted on the Assignments page, and be sure to ask if anything seems strange or confusing. A2 solutions should be posted Friday afternoon.

Past tests posted
A slew of past midterm tests for CSC 165 have been posted to the Tests page.


Wednesday, 11 October 2006

Online notes
Two announcements concerning the online notes: Chapter 3 has been expanded (a few sections have been added to the end), and the first part of Chapter 4 (proofs and proof structures) has been posted. The notes are of course posted to the Lectures page.
Chapter 4 will be appended with more material in a couple weeks (as we get to the applicable material).

Missed tutorials
If you have missed a tutorial, and you're looking for the tutorial exercises to help you study, send me an email and I'll get you a copy. The exercises are not posted, and solutions will not be posted either (you can, however, ask friends, TA, office hours, etc. -- usually you learn more from the discussion than just looking up the answers).


Tuesday, 10 October 2006

A2 hints
A few hints have been posted to the Assignments page.


Friday, 6 October 2006

Holiday Monday + Office hours next week
Due to the holiday Monday, the University will be closed October 9. There will be no class and my usual office hours are cancelled this day. To make up for it, I'm holding a make-up office hour on Tuesday, October 10 at 3-4pm in BA 3234. Bring all your assignment questions.
The regular Wednesday office hour remains unchanged, and remember you can always send email or post questions to the newsgroup.

Quiz 2 solutions posted
Quiz 2 solutions are posted to the Tests page. They should make an interesting and instructive read.

New room for Term Tests
It's a little early and I'll try to remind you next week, but the Term Tests will be written in another room (one with tables, not those awful arm tablets in the lecture room). Both term tests will be written in GB 404 during the regular lecture time. Further details are/will be posted to the Tests page.

A1 solutions
Sample solutions for A1 have been posted to the Assignments page.


Wednesday, 4 October 2006

A2 posted
Assignment 2 is posted on the Assignments page.


Monday, 2 October 2006

Why does this course exist?
Another instructor wrote a piece called Why learning how to write proofs is like learning how to write programs (is like bodybuilding)! This piece explains why we teach proof writing (and programming) in first year, and why you should be trying to solve all the tutorial exercises (whether in tutorial or afterward).


Friday, 29 September 2006

Online marks posting
Quiz 1 marks have been added to the online marks posting. Please verify your grade has been recorded correctly, and let me know if there are any problems. You should also change your password immediately to protect the secrecy of your grades from anyone else who might know your student number.


Thursday, 28 September 2006

Quiz 1 solutions posted
Sorry for the delay, but Quiz 1 solutions are now posted on the Tests page. They will be returned in the next tutorial.


Wednesday, 27 September 2006

A1 hints and questions
Hints, clarifications, answers to questions about the assignment are all being posted to the course newsgroup. Take a look, especially if you're getting stuck.

Course notes posted
The first 3 chapters of the course notes are finally posted on the Lectures page. The course notes includes most of what we've done in class, sometimes in less detail and sometimes in more detail. They are meant as a supplement to the notes you take in lecture and tutorial, not a replacement.

More A1 hints
Some extra A1 hints have been posted to the Assignments page.

CDF TA available
A message from CDF said:
We are pleased to announce a CDF Teaching Assistant will be available this term. The primary purpose of the CDF TA is to assist students in using CDF workstations, and connecting to CDF from laptops and from offsite computers. Optional tutorials will be scheduled on topics related to use of CDF with details posted as soon as they're available. This term's CDF TA is Lucas Lochovsky. Feel free to ask him questions about using CDF during CDF TA hours.
Tentative CDF TA hours will be in BA2210, at computer b2210-25 as follows:
Wednesdays 1:00pm - 3:00pm
Thursdays 1:00pm - 2:00pm
Fridays 1:00pm - 3:00pm
The computer b2210-25 will be reserved for the CDF TA during CDF TA hours.


Tuesday, 26 September 2006

Change to office hours
A small change to my office hours, due to a room double-booking. The Monday office hours have changed to 2:00pm - 3:00pm in the same room, BA 3234. The Wednesday office hours remain unchanged, 2:30pm - 3:30pm in BA 3234.


Wednesday, 20 September 2006

Assignment 1 posted
The first assignment is posted on the Assignments page. Be sure to remember to attach a completed cover sheet when you hand it in!

Office hours
I have set my office hours for Mondays and Wednesdays, 2:30pm - 3:30pm in BA 3234. Use this time to ask any questions or clarifications about the course material or assignments, discuss course topics, or even to ask general things about computer science or mathematical reasoning. I encourage all students to come by office hours at least a few times during the term.


Wednesday, 13 September 2006

Some inspirational puzzles posted
Some puzzles (those mentioned in class and others) have been posted to the Lectures page. Have fun working on them, but don't be disappointed if you can't solve some of them. I won't be providing solutions, but you'll probably be able to solve them by the end of the course.


Tuesday, 12 September 2006

CSC 148 workshop to review CSC 108
If you're feeling a bit unsure about your Java and Object-Oriented programming skills (don't worry, you won't need much for CSC 165), or want a refresher before the semester starts heating up, the department is running a workshop on Sunday September 17th and Saturday September 23rd. Check out the Workshop page for more details. (Note that the first day of the workshop has been changed from Saturday to Sunday.)


Monday, 11 September 2006

Welcome!
Welcome to CSC 165! All course announcements will be posted to this page, in reverse chronological order. Be sure to check back often.

Starting thoughts
There are some opening thoughts posted regarding the course, how this course fits into the CS program, and expectations for the course.

Computing accounts created
If you're correctly enrolled in the class (as of first thing this morning), your CDF computing accounts should be created. Find out more information at the CDF welcome page.


Valid HTML 4.01 Transitional