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