COT 3420
Logic for Computer Science

Spring 2003

Mondays and Wednesdays, 12:30-1:45, ECS 138


Instructor

Textbook

Course Syllabus


Final Exam

The final exam will be given on Monday, March 21, from 12:30 - 3:15. It will be an open book and open note exam.


Reading Assignments

DateReading
Jan. 8Huth Preface, 1.1
Jan. 13Huth 1.3, 1.4.1, 1.4.2
Jan. 22 LICS web tutor, Chapter 1
Feb. 3Huth 1.5
Feb. 10Huth 2.1, 2.2, 2.4
Feb. 17 LICS web tutor, Chapter 2; Huth 4.1-4.2
Feb. 24 Ariane 5 report, review for midterm
Mar. 3Huth 4.3
Mar. 10Huth 4.3-4.5
Mar. 24 LICS web tutor, Chapter 4; Huth 4.1-4.2

Homework Assignments


Back to
smithg@cs.fiu.edu