Biblio Math&Info
Détail de l'auteur
Auteur Richard Lassaigne |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
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 Année de publication : 1993 Collection : Traité des nouvelles technologies Sous-collection : Série Informatique ISBN/ISSN/EAN : 978-2-86601-380-6 Catégories : Informatique
Informatique:programmes
Informatique:programmes:ProgrammationMots-clés : Logique symbolique et mathématique Index. décimale : 005.1 Programmation
Résumé : Présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. S'adresse aux étudiants des 2e et 3e cycles, ainsi qu'aux élèves ingénieurs. Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul [texte imprimé] / Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur . - Paris : Hermès, 1993. - (Traité des nouvelles technologies. Série Informatique) .
ISBN : 978-2-86601-380-6
Catégories : Informatique
Informatique:programmes
Informatique:programmes:ProgrammationMots-clés : Logique symbolique et mathématique Index. décimale : 005.1 Programmation
Résumé : Présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. S'adresse aux étudiants des 2e et 3e cycles, ainsi qu'aux élèves ingénieurs. Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 9782866013806MIT001 005.1/021 Livre Maths&Informatique Fonds informatique Disponible 9782866013806MIT002 005.1/021 Livre Maths&Informatique Fonds informatique Disponible
