Res com un bon llibre

La Machine en Logique

La Machine en Logique

La Machine en Logique

Editorial: PUF

Pàgines: 240

Any: 1998

EAN: 9782130488996

22,72 €

Sense existències ara

Rep-lo a casa en una setmana per Missatger o Eco Enviament* Pots recollir-lo en una setmana a les nostres llibreries
Le programme de Hilbert; Les machines de Turing; Machines abstraites, calculateurs et programmes; Les machines a réduction du lambda-calcul; L´idée de calcul logique. Leibniz, Boole, Frege; Clacul et démonstration. Hilbert et Gödel; Calcul, machine et philosophie de l´esprit; L acorrespondance de Curry-Howard; La pensée mécanique;

Subscriu-te a la nostra newsletter