There will be no class on March 5 ('PSL week').
Tuesday, 10h30-12h30, Salle Ribot, 29 rue d'Ulm
TA sessions: Thursday, 9h-10h30
Preregistration: https://docs.google.com/document/d/14SR_eNUYTORN7s8ScSSCIordc9fR4lIV2CzgdIlcMxQ/edit
Moodle: not used.
Benjamin Spector, benjamin.spector@ens.psl.eu
Grading and TA session : contact Jakob Süskind, jakob.suskind@ens.psl.eu
A useful textbook: GAMUT 1991, vol. 1, Logic, Language and Meaning -- Introduction to Logic
Session 4 - Functional Completeness Sessions 4 and 5 - Psychology of reasoning
Session 5 - Natural Deduction Session 5 - Rules of Natural Deduction
Session 6 - Set theory Sessions 6 and 7 - Introduction to Predicate Logic
Section 7 - Syntax of Predicate Logic Sesssions 7 and 8 -Semantics of Predicate Logic
Sessions 8 and 9 - Equality and Existence in Predicate Logic
Session 9 - Natural Deduction for Predicate Logic, Completeness and Compactness
Session 10 - Theories and Models, Completeness, Incompleteness
Due on Tuesday, Feb 27, just before class. To be handed in to Quentin Blomet.
Assignment #1 Back-up link in case the previous one fails Due on Tuesday, Feb 27. To be handed in to Quentin Blomet.
Assignment #2 Due on Tuesday, March 12. To be handed in to Quentin Blomet just before the class.
Assignment #3 Due on Tuesday, April 2. To be handed in to Quentin Blomet just before the class.
Assignment #4 Due on Tuesday, April 23. To be handed in to Quentin Blomet just before the class.
Assignment #5 Due on Friday, May 17. Take pictures of your assignment and send them in one pdf file by email to Quentin Blomet and Jakob Süskind (jakob.suskind@ens.psl.eu, quentin.blomet@ens.psl.eu ). As the file is likely to be very large, you should 'compress' it before sending it, using some available online tool.
Assignment #6, due on June 4, by email to Quentin Blomet and Jakob Süskind (jakob.suskind@ens.psl.eu, quentin.blomet@ens.psl.eu ). As the file is likely to be very large, you should 'compress' it before sending it, using some available online tool.