INFO0051-1, Logic

(2013-2014)

---

Slides :

• Slides in English

---

Syllabus (in french) :

• Logique propositionnelle - (ps)
• Logique prédicative - (ps)

---

Tutorials :

• Répétition 1 (17/09)
• Répétition 2 (24/09)
• Répétition 3 (01/10)
• Répétition 4 (08/10)
• Répétition 5 (15/10)
• Répétition 6 (22/10)
• Répétition 7 (29/10)
• Répétition 8 (05/11)
    -> Interro 2007, Interro 2008, Interro 2009, Interro 2010, Interro 2011, Interro 2012
• Répétition 9 (19/11)
• Répétition 10 (26/11)
• Répétition 11 (03/12)
• Répétition 12 (10/12)
• Répétition 13 (17/12)
• Exs Proposés (17/12)

---

Project :

• Project (2013-2014).

---

Equinox/Paradox :

• How to solve exercises with Equinox/Paradox (in french).

---

Course Information :

• Project submission due: 20th December 2013, 23:59
• The written test about propositional calculus (theory + exercises (R1 -> R8)) will be held on 12 November at 10:30 (B28, rooms 2/93 & 1/97).
  Reminder : the written test is mandatory!!!
• The (draft) list of main theory questions is available : here.
• Schedule: 1st quadrimester, Tuesday from 08:30 to 12:30 (B28, room 2/93).