Logique et raisonnement

8KUETN02

ECTS2SEMESTRES8
CMTDTPEITravail personnel
7h14h0h0h0h
Langues d'enseignementFrançais


Responsable(s)

 Jean-Yves Marion

Mots clefsLogique, 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
  •  
  • Aucune étiquette