CM0845 Logic

Semester 2016-1

This page will be continuously updated during the course!

Course Information

Lecturer

Andrés Sicard Ramírez <asr(at)eafit(dot)edu(dot)co>

TA

Diego Alejandro Montoya Zapata <dmonto39(at)eafit(dot)edu(dot)co>

Lectures

Group 001. Time: 17–19

Date	Classroom
January 18-22	23-103
March 7 (Monday)	38-501B
March 8 (Tuesday)	26-401
March 9 (Wednesday)	27-304
March 10 (Thursday)	26-401
March 11 (Friday)	38-501B
May 16-19	29-203
May 20	34-502

References

Mordechai Ben-Ari [1993] (2012). Mathematical Logic for Computer Science. 3rd ed. Springer.
Dirk van Dalen [1980] (2013). Logic and Structure. 5th ed. Springer.

Examination

Exam	%	Date and time
1st	20%	Monday, March 7
2nd	20%	Tuesday, May 17
3rd	20%	Thursday, July 14, 08:00–10:00, room 38-501B

Programming labs	%	Deadline
Lab 1: Conjunctive Normal Form	13%	Sunday, March 6, 2016 (23:59)
Lab 2: Prenex Conjunctive Normal Form	13%	Wednesday, May 11, 2016 (23:59)
Lab 3: First-Order Unification	14%	Wednesday, July 6, 2016 (23:59)

Lecture Material

Subject	Slides
Introduction	[ pdf ]
Propositional Logic: Some Properties	[ pdf ]
Propositional Logic: Satisfiability	[ pdf ]
Propositional Logic: Semantic Tableaux	[ pdf ]
Propositional Logic: Natural Deduction	[ pdf ]
First-Order Logic: Syntax	[ pdf ]
First-Order Logic: Natural Deduction	[ pdf ]
Other Topics	[ pdf ]

Complementary slides

Logic or Logics [ pdf ]
Theorems Provers [ pdf ]
Introduction to Haskell (Diego Alejandro Montoya Zapata) [ pdf ]
Introduction to Prolog (Diego Alejandro Montoya Zapata) [ pdf ]