| Titre : | Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul |
| Auteurs : | Richard Lassaigne, Auteur ; Michel De Rougemont, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermes Science Publications, 1993 |
| Sous-collection : | Série Informatique |
| ISBN/ISSN/EAN : | 978-2-86601-380-6 |
| Format : | VIII-248 p. / ill. / 24 cm. |
| Note générale : | Bibliogr.- Index |
| Langues : | Français |
| Index. décimale : | 681.3 (Appareils et matériel de traitement de données. Informatique) |
| Tags : | Fonctions calculables Décidabilité (logique mathématique) Informatique -- Mathématiques Lambda-calcul Complexité de calcul (informatique) Logique mathématique |
| 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 (1)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 681.3 LAS | Papier | Bibliothèque Centrale | Informatique | Disponible |
