Logique Mathématique

Logique Mathématique

- Calcul des prédicats : Interprétation, consistance, validité.

- Systèmes axiomatiques.

- Correction, complétude, compacité.

- Théorème de Lowenheim-Skolem.

- Résolution : Bases et interprétation de Herbrand. Skolemisation. Théorème de Herbrand.

- Unification. Méthode de résolution.

- Calculabilité : Modèles de calcul. Fonctions récursives, thèse de Church.

- Numérotation de Godel et interprète universel.

- Technique élémentaires de la calculabilité. Problèmes décidables.