- Викладач: HAERING Margaux
C'est un cours qui traite principalement deux systèmes logiques très connus et utilisés : la logique propositionnelle et la logique du premier ordre (dite des prédicats). Nous étudierons pour chaque système sa syntaxe, sa sémantique, ses systèmes de preuve principaux et nous passerons en revue les résultats principaux d'adéquation , de complétude et de décidabilité de ces derniers .
- Викладач: BENHAMOU Belaid
- Викладач: BEURTHERET Anne laurence
- Викладач: CALVINI LEFEBVRE Marion
- Викладач: CHAMPION Rebecca
- Викладач: LOVERO Valentine
- Викладач: MARTON Michel
- Викладач: OUVRIER Lauriane
- Викладач: PLANT Alexandra