Mathématiques Fondamentales / Semestre 3 / Logique mathématique
• Logique mathématique
Enseignant responsable de la matière: Benyoucef Salah
Objectifs de l’enseignement : Apprendre aux étudiants les éléments de base du calcul propositionnel et du calcul des prédicats.
Contenu de la matière :
- Construction de R. Axiomatique de Zermelo-Frankel
- Axiome du choix, lemme de Zorn
- Calcul propositionnel et calcul des prédicats
Mode d’évaluation : Examen
Contact
Tél/Fax : (+213) 038 72 31 13
E-mail :
This email address is being protected from spambots. You need JavaScript enabled to view it.
This email address is being protected from spambots. You need JavaScript enabled to view it.
Secrétariat général :
Tél/Fax : (+213) 038 72 31 11
Adresse : Faculté des Sciences
Université 20 août 1955 Skikda
BP 26 Route El-Hadaiek 21000
News and events
Library catalogue
Examination Schedule
Tender call
