Cours de logique du tronc commun Mines Saint-Étienne

Les cours de logique font partie de l’unité pédagogique Formalisation pour l’informatique du tronc commun informatique de l’école des mines de Saint-Étienne.

Ressources pédagogiques

Voici les ressources disponibles pour le cours de logique.

• Livret de cours en HTML, version mise à jour, hypermédia et interactive du livret imprimé.
• Diapo des cours (Intro et logique propositionnelle, systèmes formels, logique du premier ordre, principe de résolution, compléments en lien avec l’algo, approfondissements).
• Archives des examens passés.

Séances 2023–2024

Fond jaune : séance de cours.

Fond bleu-vert : séance de TD.

Fond rouge : séance d’examen.

15 septembre 2023 à 8 h 30 (3 h)

Logique propositionnelle : syntaxe, sémantique, tables de vérité et méthode des tableaux. Amphi F1.

Exercices 1.6.1 (correction), 1.6.3 (correction), 1.6.4 (correction) et 1.6.5 (correction). Amphi F1.

22 septembre 2023 à 13 h 30 (3 h)

Logique propositionnelle : déduction axiomatique (système formel). Amphi F1.

Exercices 1.6.6 (correction), 1.6.7 (correction), 1.6.8 (correction) et 1.6.2 (correction). Amphi F1.

Logique des prédicats du premier ordre : syntaxe et sémantique et méthode des tableaux. Amphi F1.

29 septembre 2023 à 13 h 30 (3 h)

Exercices 2.5.1 (correction), 2.5.2 (correction), 2.5.3 (correction), 2.5.4 (correction), 2.5.5 (correction) et 2.5.6 (correction). Amphi F1.

Logique des prédicats : méthode des tableaux. Amphi F1.

Continuer les exercices 2.5.1 à 2.5.6 et faire l’exercice 2.5.7 (correction). Amphi F1.

6 octobre 2023 à 8 h 30 (3 h)

Principe de résolution. Amphi A022.

Exercices 3.5.1 (correction), 3.5.2 (correction), 3.5.3 (correction), 3.5.4 (correction), 3.5.5 (correction) et 3.5.6 (correction). Amphi A022.

24 octobre 2023 à 8 h 30 (3 h)

Approfondissements. Amphi A022.

Exercices d’approfondissements et révisions pour l’examen. Amphi A022.

Examen.