ESB1MATH – Logique

Info pratiques

Cours les lundis de 8h00 à 9h30, TDs de 9h45 à 12h15, salle 113

Chargé des cours et des TDs : Luca De Feo http://defeo.lu

Liste des cours et TDs

30 Septembre: Théorie des ensembles naïve, paradoxe de Russel, cardinalité, Ensembles dénombrables, argument de Cantor.; TD1: Ensembles
7 Octobre: Relations, équivalences, ordres.; TD2: Relations
14 Octobre (par Jacques Patarin)
4 Novembre (par Jacques Patarin)
18 Novembre: Logique boléenne, calcul des propositions; TD5: Logique booléenne
25 Novembre: Syntaxe du calcul des prédicats, forme normale prénexe; TD6: Calcul des prédicats
2 Décembre: Devoir sur table; Théorie des modèles du calcul des propositions et du calcul des prédicats; TD7: Sémantique du calcul des prédicats
9 Décembre: Théorie de la preuve du calcul des propositions; TD8: Théorie de la preuve
16 Décembre: Théorie de la preuve du calcul des prédicats, systèmes de preuve à la Hilbert; TD9: Théorie de la preuve
6 Janvier: Quelques exemples de théories; TD10: Théories
13 Janvier: Le principe d’induction; TD11: Arithmétique de Peano et induction
20 Janvier: Devoir sur table; Correction du premier DS; Correction du DM

Devoir maison

Sujet du DM, à faire individuellement ou en binôme. La date limite pour rendre le devoir est fixée au 13 janvier au matin. Une seule rédaction par binôme, a rendre

soit manuscrite et remise en main propre le jour du cours ;
soit au format pdf, rédigée en LaTeX (pour les débutants en LaTeX il est possible d’utiliser le logiciel LyX), et envoyée par mail ;
soit au format html, utilisant la technologie MathJax (la même utilisée pour ces pages), envoyée par mail ou hebergée par vos soins.

Word, openoffice et autres logiciels ne permettant pas un rendu correct des mathématiques, s’abstenir.

Bibliographie

A. Arnold, I. Guessarian. Mathématiques pour l’Informatique.: 4e édition. Dunod, 2005. Côte BU : 004.01 ARN.
J. Vélu. Méthodes Mathématiques pour l’Informatique.: 4e édition. Dunod, 2005. ISBN 2-10-049149-0. Côte BU : 004.01 MAT.
R. David, K. Nour, Karim, C. Raffalli. Introduction à la logique: théorie de la démonstration cours et exercices corrigés.: Dunod, 2004. ISBN 2-10-006796-6. Côte BU : 511.3 DAV.
L. De Feo. IN310 – Mathèmatique pour l’informatique.: Notes de cours : http://in310.defeo.lu.

Livres d’exercices

J. Vélu, G. Avérous, I. Gil, F. Santi. Mathématiques pour l’Informatique.: Dunod 2008. ISBN 978-10-052052-7. Côte BU : 004.01 VEL