LOG DEFI : Logique Licence 1 Portail ISTN
Responsable du module : Sophie Pinchinat
Équipe pédagogique : Dylan Bellier, Sophie Pinchinat
Accès enseignant
Objectifs d'apprentissage
La logique classique est l'objet central du cours, et sera utilisée comme langage de spécifications. Elle sera équipé de logiciels (tels que les plateformes TouIST https://www.irit.fr/TouIST/ pour la logique des propositions et LOGIC4FUN https://l4f.cecs.anu.edu.au/about pour la logique du premier ordre avec typage) pour calculer et raisonner. Nous aborderons de nombreux cas d'études, tous orientés jeux de plateaux (labyrinthe, sudoku, problème des 8 reines), ou énigmes, ou d'autres cas d'études que proposerons les étudiant.e.s pour leur projet.
Prendre conscience de la puissance de la logique mathématique comme gardienne de la théorie du raisonnement, et savoir bien spécifier en logique en vue des années qui suivent. En effet, de nombreux environnements de développement de programmes offrent des outils puissants de vérification de propriétés des programmes, lesdites propriétés étant principalement décrites en logique classique.
Bibliographie
- Logique : fondements et applications Cours et exercices corrigés.
Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber
Dunod Eds.
Des plateformes pour jouer avec la logique et des références pédagogiques
- TouIST easy-to-use softwares (with a GUI) to check satisfiability for
Classical Propositional Logic
- LOGIC4FUN a website on which users are invited to express a range of logical
problems and puzzles in such a way that a black-box solver on the site can produce solutions
- Tools for Teaching Logic Guest editors: Sophie Pinchinat and François Schwarzentruber
Support de cours
Ces document ne sont que des notes qui permettent de rappeler les ingrédients essentiels des notions vues en cours. Il vous est fortement conseillé de prendre vos propres notes et de consulter des ouvrages en bibliothèque.
Énoncés des TD
- TD1 Logique Propositionnelle
- TD2 Logique Propositionnelle
Compléments