Logique et raisonnement 8KUETN02 | ECTS | 2 | SEMESTRE | S8 | |||||||||||||||||||||||||||||||
CM | TD | TP | EI | Travail personnel | |||||||||||||||||||||||||||||||
7h | 14h | 0h | 0h | 0h | |||||||||||||||||||||||||||||||
Langues d'enseignement | Français | ||||||||||||||||||||||||||||||||||
Responsable(s) | Jean-Yves Marion | ||||||||||||||||||||||||||||||||||
Mots clefs | Logique, raisonnement, système formel, mathématiques discrètes | ||||||||||||||||||||||||||||||||||
Prérequis | |||||||||||||||||||||||||||||||||||
Objectif pédagogique | |||||||||||||||||||||||||||||||||||
Ce cours présente les concepts de base de la logique et de la formalisation du raisonnement. Qu'est-ce que l'infini ? Qu'est-ce que la vérité et qu'est-ce qu'un système correct ? Centré sur la notion de système de déduction, le cours donne une explication du théorème d’incomplétude de Gödel. L'objectif est ainsi d’acquérir les fondements de l’informatique (IA, Sécurité et Sûreté), de la linguistique, ou encore de l'épistémologie. | |||||||||||||||||||||||||||||||||||
Organisation et contenus | |||||||||||||||||||||||||||||||||||
Ce cours s’articule autour de trois notions-clés : 1/ La logique du premier ordre 2/ Les systèmes de déduction 3/ Notion d'interprétation, de sémantique et vérité 4/ Correction et complétude | |||||||||||||||||||||||||||||||||||
Compétences | |||||||||||||||||||||||||||||||||||
Niveaux | Description et verbes opérationnels | ||||||||||||||||||||||||||||||||||
Connaître | Connaitre les concepts fondamentaux de logique et de déduction | ||||||||||||||||||||||||||||||||||
Comprendre | Comprendre ce qu'est un système de déduction correct, sa sémantique avec les notions d'interprétation et de sémantique | ||||||||||||||||||||||||||||||||||
Appliquer | Appliquer à l’informatique, à l'IA, à la linguistique | ||||||||||||||||||||||||||||||||||
Analyser | |||||||||||||||||||||||||||||||||||
Synthétiser | |||||||||||||||||||||||||||||||||||
Évaluer | |||||||||||||||||||||||||||||||||||
Contributions aux Objectifs de Développement Durable des Nations Unis | |||||||||||||||||||||||||||||||||||
Modalités de contrôle des connaissances et compétences | |||||||||||||||||||||||||||||||||||
Contrôle Continu | Examen écrit | Oral / Soutenance | Rapport / Projet |