Republique Algerienne Democratique et Populaire

Minist`ere de lenseignement superieur et de la recherche scientifique

Centre Universitaire dAin Temouchent
Institut des Sciences et de la Technologie
Syllabus
LMD Mathematiques et Informatique
Intitule de la mati`ere: Logique Mathematique
Annee Universitaire: 2014-2015
Parcours: Mathematiques, Statistiques appliquees `a lEconomie et `a la
Finance
Annee: 2e`me annee MI, fili`ere Mathematiques
Semestre: 3

Pr
esentation de la mati`
ere
Logique Mathematique

Organisation de la mati`
ere
Coefficient: 2
Credits: 3
Volume horaire hebdomadaire: 1 h 30 Mn
cours: 1 h 30 Mn

Objectifs
Introduction aux outils, concepts et resultats de la logique mathematique
dont les th`emes sont la verite, la demonstration et la calculabilite.

Plan du cours
Introduction
Logique des propositions
Syntaxe de la logique propositionnelle
Semantique : interpretation des formules
Syst`eme de deduction: le syst`eme de Gentzen et calcul des sequents
Methode de resolution (Robinson) pour la logique propositionnelle
1

 Logique des predicats du premier ordre

Syntaxe de la logique des predicats du premier ordre
Semantique: interpretation des formules
Syst`eme de decduction: le syst`eme de Gentzen
formules prenexes et formes de Skolem

Evaluation
CC =

(T1 +T2 +Tn )

+(P r
esencecours+P articipation)
n

1. T1 , T2 , Tn , n >= 3 : tests effectues (/20).

2. Presence cours: (/10) avec (-1pt) pour chaque absence non justifiee et exclusion pour 5 absences et plus.
3. Participation: (/10) repartis comme suit:
(a) Preparation exos: 3pts
(b) Exposes: 3 pts
(c) Participation: 4pts
Examen presentiel
N ote F inale =

(2Examen+CC)
3

References
[1] Richard Lassaigne and Michel de Rougemont: Logique et fondements
de linformatique. Hermes, 1993.
[2] Serenella Cerrito: Logique pour linformatique. Introduction `a la
deduction automatique. Vuibert, 2008