COT 3420

COT 3420
Logic for Computer Science

Spring 2003

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

Instructor

Geoffrey Smith
ECS 320
305 348-6037
E-mail: smithg @ cs.fiu.edu
Office Hours: Mondays and Wednesdays, 11:00 -- 12:00, 2:00 -- 3:00
I'll usually be happy to meet at other times. Send email, call, or drop by.

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.

Date Reading

Jan. 8 Huth Preface, 1.1

Jan. 13 Huth 1.3, 1.4.1, 1.4.2

Jan. 22 LICS web tutor, Chapter 1

Feb. 3 Huth 1.5

Feb. 10 Huth 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. 3 Huth 4.3

Mar. 10 Huth 4.3-4.5

Mar. 24 LICS web tutor, Chapter 4; Huth 4.1-4.2

Date	Reading
Jan. 8	Huth Preface, 1.1
Jan. 13	Huth 1.3, 1.4.1, 1.4.2
Jan. 22	LICS web tutor, Chapter 1
Feb. 3	Huth 1.5
Feb. 10	Huth 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. 3	Huth 4.3
Mar. 10	Huth 4.3-4.5
Mar. 24	LICS web tutor, Chapter 4; Huth 4.1-4.2

Back to