Module: LOGIQUE MATHEMATIQUE

 

VolummeHoraire Hedomadaire
Objectif
Coefficient
Contenu
          Chapitre 1: RAPPELS ( 10%)

          Chapitre 2: SYSTEMES AXIOMATIQUES DEDUCTIFS (15%)
          Chapitre 3: CALCUL PROPOSITIONNEL (CALCUL LOGIQUE D'ORDRE 0) (20%)
          Chapitre 4: LOGIQUE D'ORDRE 1 ( 20%)
          Chapitre 5: MODELE D'HERBRAND (15%)
          Chapitre 6: CALCULABILITE EFFECTIVE ( 20%)
References

Volume Horaire Hebdomadaire: 1 seance de cours, 1 seance de TD

Objectif:

Coefficient: 3

Contenu:

Chapitre 1: RAPPELS ( 10%)

Chapitre 2: SYSTEMES AXIOMATIQUES DEDUCTIFS (15%)

Chapitre 3: CALCUL PROPOSITIONNEL (CALCUL LOGIQUE D'ORDRE 0) (20%)

Chapitre 4: LOGIQUE D'ORDRE 1 ( 20%)

Chapitre 5: MODELE D'HERBRAND (15%)

Chapitre 6: CALCULABILITE EFFECTIVE ( 20%)

References:

1