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 .
- معلم: Belaid BENHAMOU
- معلم: Anne laurence BEURTHERET
- معلم: Marion CALVINI LEFEBVRE
- معلم: Rebecca CHAMPION
- معلم: Valentine LOVERO
- معلم: Michel MARTON
- معلم: Lauriane OUVRIER
- معلم: Alexandra PLANT