Formalisieren Und Beweisen: Logik Fur Informatiker

by

Write The First Customer Review

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein leitung zu seinem Buch Geist und Natur1 eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt schlieBlich aus: Dabei flillt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an," schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz ...

Formalisieren Und Beweisen: Logik Fur Informatiker 1992, Vieweg+teubner Verlag

ISBN-13: 9783528147570

German
2nd 2

Trade paperback

Select
Formalisieren Und Beweisen: Logik Fur Informatiker 1990, Vieweg+teubner Verlag, Weisbaden

ISBN-13: 9783528047573

German
1990 edition

Trade paperback

Select