|
|
Announcements
(April 7) A2 & T2 Remarking (SEC0201)
I will be available in the following time slots for remarking:
April 8: 10:30-12:30 at BA4261
April10: 10:30-1 at BA3201
April10: 1-3 by appointments only at Bahen.
April 11: 12-4 by appointments only at Bahen.
For SEC0201, you MUST fill in this form AND bring it to me IN PERSON during one of the time slots. On April 11 after 4pm, remark for A2 and T2 will NOT be accepted.
One last note: you MUST do the remark at your registered section to update your marks.
(April 4) Assignment 3 Solutions are posted (see below).
(April 1) (Update)
1. Final Review/Question Answering session on Thursday, April 2, 2-4pm in MP103.
2. Final exam office hour information link.
(Mar. 29)
1. There will be an additional review session on Tues, Mar 31, 2-3:45pm in MP203.
2. Two office hour sessions for Mon. Mar 30 have been announced here.
(Mar. 28) A selected collection of exercises from the past offerings of CSC165 have been posted here. They might help you to prepare for the final exam. Make sure to check this link regularly. More practice questions as well as info about office hours will be posted there.
(Mar. 27) Assignment 3 is officially cancelled. Here's the new marking scheme for both sectionsFinal Exam: 45%, Quizzes: 5%, Best Assignment: 15%, Worst Assignment 10%, Best Test 15%, Worst Test 10%
(Mar. 23) (Update)
1. Review/tutorial session is scheduled:
Tues. : MP2032. Assignment 3 is posted.
Thurs.: MP103
3. Term test 2 sample solutions are posted.
4. Assignment 2 complete sample solutions are posted.
5. Evaluation Scheme Revision Voting Date:
LEC0101: March 27 11am
LEC0201: March 25 2pm
(Mar. 15) Our first review/tutorial session on Chapter 4 is scheduled! (Update)
Tues. : MP203
Thurs.: MP103
Everyone from LEC0101 & LEC0201 is welcome! No quiz. Bring your questions to the session!
(Mar. 13)
1. Monday class will be cancelled.
2. Wednesday class & office hours are as normal. We will cover the last part of Chapter 4.
3. Tues. & Thurs. tutorial sessions will be cancelled.
(Mar. 9)
1. Wednesday's class remains normal. Wednesday 3-5 office hour will be as usual at BA4261.
2. This Friday's classes and office hours will be cancelled.
(Mar. 6) Quick Reminder on a couple of very important announcements!
1. Assignment 2 is due today!
2. Term test 2 will be held at our usual tutorial time, but a more spacious location. The detail is listed below:Section L0101: Tuesday March 10, 2:10-3:30pm in EX100Here is the link to EX100 on the map: http://map.utoronto.ca/utsg/building/155
Section L0201: Thursday March 12, 2:10-3:30pm in EX100
IMPORTANT: You must write the test in the section that you are enrolled in.
(Mar. 4) Lecture, Tutorial & Office Hours Schedule Updates:
1. Thursday tutorial session will be cancelled for this week.
2. Due to large request for office hours, updated TA office hours information for this Thursday is listed below:
12-2 BA32013. This Friday's classes and office hours will be cancelled.
4-5:30 BA3201
4. Next Monday & Wednesday classes remain normal.
(Mar. 2) Tutorial & Office Hours:
1. Tuesday tutorial session will be cancelled for tomorrow. During that tutorial time slot, TA office hour will be allocated at GB303 from 2-3:30.
2. Wednesday's class remains normal. Wednesday 3-5 office hour will be as usual at BA4261.
3. Assignment due date remains the same.
(Mar. 2) Assignment 2: Remove the phrase "for the floor function" from Question 3, as: "3. Consider the definition: ..." Hint: only use the definition to do the proof.
(Feb. 27) TA Office Hours for Assignment 2:
Tuesday, Mar 03, 4-6pm in BA3201
Thursday, Mar 05, 10am-noon and 4-8pm in BA3201
(Feb. 18) Final Exam time and location has been announced here.
(Feb. 18) Assignment 2: Please note the correction in the definition of the floor function in Question 3.
(Feb. 13) Please fill out the Mid-term Course Evaluation to let us know you comments and suggestions about the course.
The evaluation form will be submitted anonymously.
(Feb. 13) Assignment 2 is posted (see below).
(Feb. 11) Tuesday's Test sample solutions are posted.
Thursday's Test sample solutions are posted.
(Feb. 10) Thursday's Test can be picked up during Lisa's office hours.
Remark requests for Thursday's Test must be submitted to Lisa not later than Feb 25.
Remark Requests must be written (use this form), and explain the request clearly and briefly. Please also attache the test to your request.
(Feb. 08) Tuesday's Test can be picked up on Monday (Feb 09) after the morning lecture, or during Bahar's office hours.
Remark requests for Teusday's Test must be submitted to Bahar not later than Feb 27.
Remark Requests must be written (use this form), and explain the request clearly and briefly. Please also attache the test to your request.
(Feb. 01) Solutions for Assignment 1 are posted (see below).
(Jan. 29) Term Test 1 time and location:
Section L0101: Tuesday Feb 03, 2:10-3:30pm in MP203
Section L0201: Thursday Feb 05, 2:10-3:30pm in MP103
IMPORTANT: You must write the quiz in the section that you are enrolled in, unless you have talked to the instructors and they allowed you to switch.
(Jan. 29) TA Office Hours for Test 1:
Monday Feb 02, 1-3pm, 4:30-6:30pm in BA3201
Wednsday Feb 04, 12-2pm, 3:30-5:30pm in BA3201
(Jan. 22) TA Office Hours for Assignment 1:
Tuesday, Jan 27, 5-7pm in BA3201
Thursday, Jan 29, 3:30-5:30pm in BA3201
(Jan. 18) Exercises for Tutorial 2 are posted (see below).
(Jan. 17) Assignment 1 is posted (see below).
(Jan. 11) Exercises for Tutorial 1 are posted (see below).
Students will be added to MarkUs by Jan. 24th. You won't be able to login to MarkUs before that date.
(Jan. 9) Tutorial rooms and times.
All lecture notes for the firts week are posted (see below).
(Jan. 5) Winter 2015 course information sheet is available! READ!
(Jan. 5) Course starts!
Instructors
MWF 2-3pm:
[Lisa] Jing Yan. Email: lyan at cs.toronto.edu
Office Hours: Wednesday 3-5 in BA4261.
MWF 11-noon:
Bahar Aameri. Email: bahar at cs.toronto.edu
Office Hours: Friday 12:30-1:30pm & 3:30-5pm in BA4261.
Course website
www.cdf.toronto.edu/~csc165h/winter/
Or
www.cs.toronto.edu/~lyan/csc165/
Lecture slides will be posted on weekly basis**.
** All announcements will be made through the course web page and it is your responsibility to visit it frequently.
Course Materials
There is no required textbook for this course. Instead, we offer you course notes authored by several instructors of this course.
Syllabus topics
- Logic and expression
- Proof techniques
- Complexity, program running time
- Halting problem and computability
Evaluation
In order to pass the course, you must obtain at least 40% on the final exam.
- 10%: 8 quizzes (1.25% each)
- 30%: 3 assignments (10% each)
- 20%: 2 term tests (10% each)
- 40%: a 3-hr final examination
Assignment late policy & re-marks
One time 24-hour grace period with no penalty. You can use this only once towards any of the three assignments, according to your own reasons.
If you feel a piece of your work has been graded unfairly, please submit a written remark form within a week of receiving the work back.
Assignments submission
PDF submission on MarkUs (https://markus.cdf.toronto.edu/csc165-2015-01)
Discussion board
General questions about the course or assignments should be submitted to the discussion board.
Email policy
Please put 165 in the subject line, and use your utoronto.ca or cdf.toronto.edu email address.
Email response may be 24 hrs or longer; if you do not hear back as your expectation, come to the weekly office hour.
Plagiarism
Plagiarism—or simply, cheating—is taken to be the handing in of work not substantially the student’s own. It is usually done without reference, but is unacceptable even in the guise of acknowledged copying. It is reprehensible, and the penalty will be severe.
It is not cheating, however, to discuss ideas and approaches to a problem, nor is it cheating to seek or accept help with a program or with writing a paper. Indeed, a moderate form of collaboration is encouraged as a useful part of any educational process. Nevertheless, good judgment must be used, and students are expected to present the results of their own thinking and writing. Never copy another student’s work—it is plagiarism to do so, even if the other student “explains it to you first.” Never give your written work to others. Sharing work with others for the purposes of plagiarism is also a violation. Do not work together to form a collective solution, from which the members of the group copy out the final solution. Rather, walk away and recreate your own solution later. If you are really stuck on a problem, don’t panic...just come and talk to the instructor or one of the TAs. For details on the meaning of plagiarism and how it is dealt with at this university, see:
http://www.cs.toronto.edu/~fpitt/documents/plagiarism.html
Important Administrative Dates
- Feb. 17-20: Reading week
- Mar. 8: Last day to drop S course
- Apr. 2: Classes end. All term work due.
- April 8-30: Final exam period
Assignments
Assignment 1: handout, LaTeX source Solutions
Assignment 2: handout, LaTeX source
Sample Solutions 1
Sample Solutions 2
You can use LaTex environments and commands defined in this file to type the proof struture.
Assignment 3: handout, LaTeX source Solutions
LaTeX
LaTex Wikibook (start from Basics)
A LaTeX editor TeXstudio
Collaborative web-based LaTeX editor ShareLaTeX
LaTeX symbol finder: Detexify
Lecture and Tutorial Notes
Resources for More Practice
If you are looking for additional practice problems, the assignments, exercises and tests from the past offerings of the course might be helpful (see the links bellow).
You can also find a fairly large set of problems in the following book, BUT be aware that the book does not follow our logical grammar and proof format.
S. Epp: Discrete Mathematics with Applications. Brooks Cole (2010)
Past Offerings of CSC165
Past assignments and midterms can be found in the following links:
Fall 2014
Summber 2014
Fall 2013
Winter 2013
Fall 2012