Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) - Softcover

9783528047573: Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik)
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 
Reseña del editor:
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, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik for Informatiker durchzufiihren. "Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Satze. " Deswegen beginnt jeder Tell dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einfuhrung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf­ logeiei, die Offene Pradikatenlogik mit dem Architektenbeispiel und die volle Priidikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich furs Verstehen sind. Deswegen sieht man beim Blattem so wenig Beweise: Ich ent­ wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tlitigkeiten, und nicht Logik und I nformatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollstandigkeit, logische Theorie, Axiomensystem Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagVieweg+Teubner Verlag
  • Erscheinungsdatum1990
  • ISBN 10 3528047577
  • ISBN 13 9783528047573
  • EinbandTapa blanda
  • Anzahl der Seiten280

Gebraucht kaufen

Zustand: Gut
XIII, 259 Seiten; Das hier angebotene... Mehr zu diesem Angebot erfahren

Versand: EUR 14,50
Von Deutschland nach USA

Versandziele, Kosten & Dauer

In den Warenkorb

Beste Suchergebnisse beim ZVAB

Foto des Verkäufers

Siefkes, Dirk:
ISBN 10: 3528047577 ISBN 13: 9783528047573
Gebraucht Broschiert Anzahl: 1

Buchbeschreibung Broschiert. Zustand: Gut. XIII, 259 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. Sprache: Deutsch Gewicht in Gramm: 420. Artikel-Nr. 1684169

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Gebraucht kaufen
EUR 31,95
Währung umrechnen

In den Warenkorb

Versand: EUR 14,50
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Siefkes, Dirk:
ISBN 10: 3528047577 ISBN 13: 9783528047573
Gebraucht perfect Anzahl: 1
Anbieter:
Studibuch
(Stuttgart, Deutschland)
Bewertung

Buchbeschreibung perfect. Zustand: Gut. 280 Seiten; 9783528047573.3 Sprache: Deutsch Gewicht in Gramm: 500. Artikel-Nr. 545612

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Gebraucht kaufen
EUR 23,04
Währung umrechnen

In den Warenkorb

Versand: EUR 60,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Dirk Siefkes
ISBN 10: 3528047577 ISBN 13: 9783528047573
Gebraucht Softcover Anzahl: 1
Anbieter:
Buchpark
(Trebbin, Deutschland)
Bewertung

Buchbeschreibung Zustand: Wie neu. Zustand: Wie neu | Seiten: 280. Artikel-Nr. 22638290/1

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Gebraucht kaufen
EUR 40,99
Währung umrechnen

In den Warenkorb

Versand: EUR 45,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer