الحساب الشكلي والمنطق الرياضي

Intitulé : Logique mathématique et Calcul formel

Niveau: 1ère Année

V.H.H: 03H00

Coefficient: 03     

A/S : Annuel

Objectif:

Le but de ce cours est  de présenter la logique propositionnelle et la logique des prédicats .Par la suite, inculquer à l'étudiant la notion de paradigme fonctionnel afin de lui permettre la manipulation des structures de données de type récursif. 

Contenu:

PARTIE 1: LOGIQUE MATHEMATIQUE

CHAPITRE I: RAPPELS
CHAPITRE II: SYSTEMES AXIOMATIQUES DEDUCTIFS
CHAPITRE III : CALCUL PROPOSITIONNEL (CALCUL LOGIQUE D'ORDRE 0)
CHAPITRE IV: LOGIQUE D'ORDRE 1
CHAPITRE V: MODELE D’HERBRAND

PARTIE2: CALCUL FORMEL

CHAPITRE I : INTRODUCTION A LA PROGRAMMATION FONCTIONNELLE
CHAPITRE II : NOTIONS FONDAMENTALES 
CHAPITRE IV : POLYMORPHISME ET ORDRE SUPERIEUR