AccueilPortailS'enregistrerConnexion

Partagez | 
 

 Logique Mathématique

Voir le sujet précédent Voir le sujet suivant Aller en bas 
AuteurMessage
Djallilus
Admin
Admin
avatar

Masculin
Nombre de messages : 1334
Age : 30
Localisation : Mostaganem
Emploi/loisirs : Demasquer les faux
Humeur : g pas trouver une fixe
Réputation : 5
Points : 1650
Date d'inscription : 24/09/2008

MessageSujet: Logique Mathématique   Lun 10 Nov - 15:25

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.
Revenir en haut Aller en bas
http://www.univ-vision.com
 
Logique Mathématique
Voir le sujet précédent Voir le sujet suivant Revenir en haut 
Page 1 sur 1

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
 :: Vision Sur l'Université :: Informatique :: Département Informatique LMD :: 2éme Année :: Logique Math-
Sauter vers:  
Créer un forum | © phpBB |  | Contact | Signaler un abus