M2PHSC41 - Logique avancée - PLudwig
Résumé de section
-
-
Les étudiants doiventMarquer comme terminéCourse validation: one homework and one exam.Final exam: friday 15/05/25, Sorbonne, Room F3669h-11h
-
Les étudiants doiventMarquer comme terminé
Gamut L. T. F., Introduction to logic, vol. 1, 1991, The university of Chicago Press.
James W. Garson, Modal Logic for Philosophers, 2006, Cambridge.Sets, Logic, Computation. An open introduction to metalogic. 2021+. University of Calgary.
-
-
Les étudiants doiventMarquer comme terminé
LaTeX is the best (free) tool to write texts with logical symbols. You'll find a lot of information on this blog.
The following packages are useful:
-
-
-
-
-
-
Les étudiants doiventMarquer comme terminé
-
-
Solution Fichier PDF
-
-
-
Ouvert le : lundi 23 mars 2026, 00:00À rendre : mardi 7 avril 2026, 23:59
-
-
This is purely optional, but you can have a look if you are interested in the arguments for soundness, completeness and decidability of the tableaux method. A proof of completeness for the labelled natural deduction system is also given.
-
The full lecture notes in a compact presentation, including metatheorems and correspondence theory.
-
-
-
-
-
You'll find here the solutions for all the exercises included in the Lecture Notes
-