York University- Department of Computer Science & Engineering

SC/MATH 1090 3.00 – Introduction to Logic for Computer Science

Fall 2014


Course director:

Vida Movahedi


Mondays and Wednesdays, 1:00pm to 2:30pm in CLH K


Back to Course Page


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.



·         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


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:


4 assignments, 30% total

Midterm exam (Test 1)


Final exam (Test 2)





·         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 Honesty

Academic Accommodation for Students with Disabilities,

Religious Accommodation

Repeating Passed or Failed Courses for Academic Credit