Presentation du cours 03-04

Voici les transparents de 03-04

• Introduction à la logique (transparents PostScript PDF et source LaTeX)
• Logique propositionnelle à la Hilbert (transparents PostScript, PDF et source LaTeX). J'utilise COQ avec Proof-general. Des démonstrations sont en ligne: logique propositionnelle à la Hilbert; exercice.v est incomplet. A vous de le compléter!
• Déduction naturelle (transparents PostScript PDF et source LaTeX)
• Logique classique (transparents PostScript, PDF,source LaTeX)
• Theorie des ensembles (transparents PostScript PDF et source LaTeX)
• Lambda-calcul
• Généralités (transparents PostScript, PDF, Source LaTeX) plus des exercices feuille 1 (LaTeX) et feuille 2 (LaTeX).
• Confluence (transparents PostScript, PDF, Source LaTeX)
• Types (transparents PostScript, PDF, Source LaTeX)
• Logique combinatoire (transparents PostScript, PDF, Source LaTeX)
• Modèles de Kripke (transparents PostScript, PDF Source LaTeX) avec un long exercice (source LaTeX) sur la complétude de la logique intuitionniste
• Calcul des prédicats (transparents PostScript, PDF,source LaTeX)
• Calcul des séquents: une introduction (transparents PostScript, PDF,source LaTeX) et un calcul avec une interprétation à la Curry-Howard (transparents PostScript, PDF,source LaTeX) .
• Loqique épistémique (transparents PostScript, PDF,source LaTeX).