Logique et Preuves

– Logique des propositions et des prédicats.
– Démonstration de tautologies en utilisant la déduction naturelle et le principe de résolution.
– Induction sur les ensembles.
– Induction structurelle de Burstall.
– Application à la preuve de programme récursifs par induction.
– Présentation et utilisation d’un assistant de preuve.