Documents disponibles écrits par cet auteur

Logique et fondements de l'informatique / Richard Lassaigne ; Michel De Rougemont

Public ISBD Titre : Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul Type de document : texte imprimé Auteurs : Richard Lassaigne, Auteur ; Michel De Rougemont, Auteur Editeur : Paris : Hermès Science Année de publication : 1993 Collection : Sous-collection : Série Informatique Importance : VIII-248 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-86601-380-6 Note générale : Bibliogr.- Index Langues : Français (fre) Mots-clés : Fonctions  calculables Décidabilité  (logique  mathématique) Informatique  --  Mathématiques Lambda-calcul Complexité  de  calcul  (informatique) Logique  mathématique Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Cet ouvrage présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. Il est issu de plusieurs enseignements en mathématiques et informatique. Note de contenu : Sommaire: *Logique propositionnelle *Systèmes de déduction *Logique du premier ordre *Déduction et complétude de l logique du premier ordre *Résolution et programmation logique *Les modèles de calcul ... Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul [texte imprimé] / Richard Lassaigne, Auteur ; Michel De Rougemont, Auteur . - , 1993 . - VIII-248 p. : ill. ; 24 cm.. - (. Série Informatique) . ISBN : 978-2-86601-380-6 Bibliogr.- Index Langues : Français (fre) Mots-clés : Fonctions  calculables Décidabilité  (logique  mathématique) Informatique  --  Mathématiques Lambda-calcul Complexité  de  calcul  (informatique) Logique  mathématique Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Cet ouvrage présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. Il est issu de plusieurs enseignements en mathématiques et informatique. Note de contenu : Sommaire: *Logique propositionnelle *Systèmes de déduction *Logique du premier ordre *Déduction et complétude de l logique du premier ordre *Résolution et programmation logique *Les modèles de calcul ...

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
042706	681.3 LAS	Papier	Bibliothèque Centrale	Informatique	Disponible