Module
Licence
S&T mention Informatique - 1ère
année (L1) - UE 1-1 (1er semestre) - 30h CM/TD + 15h TDm
Objectifs
Cet enseignement s'adresse à des étudiants de
licence informatique. Son objectif premier est de faire
découvrir aux étudiants certaines bases
mathématiques (logique des propositions, logique des
prédicats du premier ordre, systèmes formels) de
l'informatique. Enfin, le cours aborde l'utilisation de la
déduction en programmation logique (programmation PROLOG).
Contenu
et supports
de cours
Vous
pouvez télécharger ci-dessous les supports
de cours utilisés dans cet enseignement. Mes pratiques
pédagogiques font que je ne fournis jamais de
correction.
Avertissement : ces supports sont parfois incomplets
(à dessein !). Les enseignant(e)s qui
désireraient en obtenir une version plus complète
pour les utiliser dans leurs propres cours (moyennant citation) sont
cordialement invités à me contacter.
Cours
: partie Logique des Propositions 
- Chapitre I - Introduction
à la logique
- Chapitre II - Logique des
propositions
Cours
: partie Logique des Prédicats du 1er ordre et Prolog
- Chapitre III - Logique des
prédicats du 1er ordre
- Chapitre IV - Calcul
décidable et programmation logique
- Chapitre V - Programmation
logique effective : récursivité
- Chapitre VI - Systèmes formels
- Chapitre VII - Logique et bases de données
Travaux dirigés
- TD papier : linguistique et
grammaires formelles
- TD papier : logique et bases de données
- TD machine : traitement du
signal de parole et analyse syntaxique
Bibliographie
Il
manque (en français du moins) d'ouvrages de logique pour
l"informatique réellement
abordables. Soit les auteurs versent dans la théorie
mathématique sans se soucier des applications, soit au
contraire
l'ouvrage est trop surfacique. Quelques ouvrages conseillables
toutefois :
Ouvrages sur la logique
tournés vers l'informatique
[
ouvrages
disponibles à la bibliothèque universitaire]
- S. Cerrito, Logique pour
l'informatique : introduction à la déduction
automatique, Vuibert
- P. Lafourcade, S. Devisme, M. Levy (2012) Logique et démonstration automatique, Ellipses.
[
autres ouvrages]
- A. Aho et J. Ullman,
« Concepts fondamentaux de
l'informatique », Dunod (chap. 12-14)
- P. Gochet, P. Gribomont,
"Logique (méthodes pour l'informatique fondamentale)" (vol.
1)
- C. Jacquemin, "Logique et
mathématiques pour l'informatique et l'IA", Masson
Ouvrages sur la logique
plus pointus
- T. Lucas, I. Berlanger, I. De
Greef, « Initiation à la logique
formelle », De Boeck
- R. Cori et D. Lascar,
"Logique mathématique", Masson (vol. 1)
Ouvrages sur Prolog (BU de Blois ou de Tours)
- D. Gries, "The science of
programming", Springer Verlag.
- L. Sterling & E.
Shapiro (1990) L'art de Prolog, Masson.
- L. Gacôgne (2009) Prolog : programmation par l’exemple, Hermann : Paris
- I. Bratko (2001) Prolog : programming for artifical intelligence, Pearson
- W. Cloksin, C. Mellish (1994) Programming in Prolog. Springer-Verlag, Berlin
Et un petit bijou qui vous
emmène vers d'autres réflexions tout en
étant lié au cours
- D. Hofstadter,
“ Gödel Escher Bach les brins
d’une guirlande éternelle ”,
Dunod
Logique pour l'informatique 
