Aperçu des sections

  • Fiche matière

    Tout replier Tout déplier

     

    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



  • Chapitre 2

  • Chapitre 3

  • Chapitre 4

  • Section 4