m

F Nous contacter

0
     
Ouvrage

H 0 Logique et fondements de l'informatique :
logique de 1er ordre, calculabilité et l-calcul

Lassaigne, Richard (Principal) ; De Rougemont, Michel (Co-auteur)

Hermes

1993

248 p.

978-2-86601-380-6

00019726

03B05 ; 03B15 ; 03B40 ; 03Bxx ; 03Dxx

calcul informatique # calcul lambda # fonction recursive # fondement de l'informatique # fondement des mathématiques # incomplétude # indécidabilité # logiciel d'enseignement # logique # logique de proposition # logique du premier ordre # logique déductive # machine de Turing

Ville d'édition : Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782866013806

ISBN : 2-86601-380-8

Collation : Bibliogr. ; fig.#glossaire#24 cm#broch. ; Index

Collection : Traité des nouvelles technologies

Sous collection : série informatique

Localisation : Ouvrage RdC (LASS)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00019726 [disponible]
Z