York University- Department of Computer Science &
Engineering
SC/MATH 1090 3.00 – Introduction to
Logic for Computer Science
Fall 2014
|
Course director: |
Vida Movahedi |
|
Lectures: |
Mondays and Wednesdays, 1:00pm to
2:30pm in CLH K |
Course Description: from Supplemental Calendar
The
syntax and semantics of propositional and predicate logic. Applications to
program specification and verification. Optional topics include set theory and
induction using the formal logical language of the first part of the course. Prerequisite: SC/MATH 1190 3.00 or SC/MATH 1019 3.0.
Note: This course may not be taken for degree credit by any student who has
passed SC/MATH 4290 3.00. Read
more ...
See
also Course
description for SC/MATH 1090
Prerequisite: SC/MATH 1190 3.00 or SC/MATH 1019 3.00.
Textbook:
· G. Tourlakis, Mathematical Logic, John Wiley & Sons, 2008. ISBN 978-0-470-28074-4
Important Dates: (Ref: Registrar’s office)
|
First Class |
Sep. 8, 2014 |
|
Last day to enrol |
Sep. 22, 2014 |
|
Midterm |
Oct. 22, 2014 |
|
Co-curr. days |
Oct. 29- Nov. 2, 2014 |
|
Drop date |
Nov. 7, 2014 |
|
Last class |
Dec. 7, 2014 |
|
Exam period |
Dec 9- 22, 2014 |
Grading scheme:
|
Assignments |
4 assignments, 30% total |
|
Midterm exam (Test 1) |
30% |
|
Final exam (Test 2) |
40% |
Policies:
·
NO LATE ASSIGNMENTS!
·
Each student will have to produce an individual
assignment (marked “0” otherwise).
·
Missed midterm exam with good reason (normally
medical, and well documented) will have their weight transferred to the final
exam. There are no "make up" tests. Tests missed for no reason are
deemed to have been written and are marked "0" (F).
·
Follow these links to familiarise yourselves with
Senate's expectations:
Academic
Accommodation for Students with Disabilities,
Repeating
Passed or Failed Courses for Academic Credit