Logique Mathématique Algeri10
Logique Mathématique Algeri10
Vous souhaitez réagir à ce message ? Créez un compte en quelques clics ou connectez-vous pour continuer.



 
AccueilPortailDernières imagesS'enregistrerConnexion
Le Deal du moment : -15%
(Adhérents Fnac) LEGO® Star Wars™ ...
Voir le deal
552.49 €
anipassion.com

 

 Logique Mathématique

Aller en bas 
AuteurMessage
Djallilus
Admin
Admin
Djallilus


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

Logique Mathématique Empty
MessageSujet: Logique Mathématique   Logique Mathématique Icon_minitimeLun 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
Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» Fiche Td 2 Logique Mathematique
» 06 Encore de la Logique
» Encore de la Logique
» Programmation Logique

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 |  | Signaler un abus
Ne ratez plus aucun deal !
Abonnez-vous pour recevoir par notification une sélection des meilleurs deals chaque jour.
IgnorerAutoriser