قسم الإعلام الآلي

المحاضر	سهام عمروش
معلومات	ليســـانـس - جذع مشترك اعلام آلي ل2 قسم الإعلام الآلي الموقع : https://www.univ-soukahras.dz/ar/module/122 السداسي : S3 الوحدة : UEM312 الدين : 4 المعامل: 2
المحتوى	Calculabilité : les fonctions récursives et les fonctions primitives récursives, les machines de Turing, thèse de Church Le calcul propositionnel : le langage, déduction de Gentzen, la sémantique, théorème de consistance et de complétude. algorithme de réfutation. Calcul des prédicats : langage, déductions, interprétation, formes prénexes et forme de Skolem
التقييم	Examen + TD