Fiche matière
Enseignant responsable de la matière : Loubna Benaouicha
Contact : Tel ……………… Email l.benaouicha@centre-univ-mila.dz
Matière : Logique mathématique.
Unité d’Enseignement : UEF312
Domaine / Filière/Spécialité: 2éme année Mathématiques
Crédit : 03 Coefficient : 02
Volume horaire d’enseignement hebdomadaire:
Cours (nombre d’heures par semaine) : 01h:30mn
Travaux Dirigés (nombre d’heures par semaine) : 1h :30 mn
Travaux Pratiques (nombre d’heures par semaine) : 0 h
Contenu de la matière :
Intitulé du Chapitre |
% du chapitre |
Introduction |
20% |
Théorie des ensembles |
25% |
Calcul propositionnel et calcul des pridicats |
30% |
Bon ordre et preuve par récurrence |
25% |
Mode d’évaluation : Pondérations du Contrôle Continu et de l’Examen Final
-
Pondération
Examen Final
60 %
Contrôle Continu
40%
Assiduité
Participation
comportement
01pts
03 pts
01pts
Interrogations
15pts
Travaux Pratiques (nombre)
exposés
comptes rendus
Total
20pts
Total
1 (100%)
Références bibliographiques : Foundations of Mathematical logic, H.B. Curry, Dover publications, 1979. Calculabilité et décidabilité, J.M. Autebert, édition Dunod, 1992. Introduction à la théorie des ensembles, Paul Richard Halmos, Gauthier-Villars. 1967. Initiation au raisonnement mathématique. Logique et théorie des ensembles. Jean-Claude Dupin, Jean-Luc Valein. Armand Colin. 1993. How to prove it. Daniel J. Velleman. Cambridge university press.1994.
Le responsable de la matière Le responsable du domaine
Date et signature Date et signature