- 5 Ergebnisse
Kleinster Preis: € 69,99, größter Preis: € 96,83, Mittelwert: € 77,36
1
Formalisieren und Beweisen - Dirk Siefkes
Bestellen
bei Orellfuessli.ch
CHF 92,90
(ca. € 96,83)
Versand: € 18,761
Bestellengesponserter Link
Dirk Siefkes:

Formalisieren und Beweisen - Taschenbuch

ISBN: 9783528147570

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Fr… Mehr…

Nr. A1017498938. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.76)
2
Formalisieren und Beweisen: Logik für Informatiker Dirk Siefkes Author
Bestellen
bei BarnesandNoble.com
€ 74,99
Bestellengesponserter Link
Formalisieren und Beweisen: Logik für Informatiker Dirk Siefkes Author - neues Buch

ISBN: 9783528147570

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein­ l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Formalisieren und Beweisen: Logik für Informatiker Dirk Siefkes Author
Bestellen
bei BarnesandNoble.com
€ 74,99
Bestellengesponserter Link
Formalisieren und Beweisen: Logik für Informatiker Dirk Siefkes Author - neues Buch

ISBN: 9783528147570

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein­ l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
4
Formalisieren und Beweisen : Logik für Informatiker - Dirk Siefkes
Bestellen
bei ZVAB.com
€ 69,99
Versand: € 8,061
Bestellengesponserter Link
Dirk Siefkes:
Formalisieren und Beweisen : Logik für Informatiker - Taschenbuch

1992, ISBN: 3528147571

[EAN: 9783528147570], Neubuch, [SC: 8.06], [PU: Vieweg & Teubner Verlag], ABLEITUNG; BEWEIS; COMPUTER; INFORMATIK; VOLLSTÄNDIGKEIT, Druck auf Anfrage Neuware - Printed after ordering - Gr… Mehr…

NEW BOOK. Versandkosten: EUR 8.06 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
5
Formalisieren und Beweisen
Bestellen
bei Springer.com
€ 69,99
Versand: € 0,001
Bestellengesponserter Link
Formalisieren und Beweisen - neues Buch

ISBN: 9783528147570

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein­ l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die F… Mehr…

Nr. 978-3-528-14757-0. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formalisieren und Beweisen: Logik für Informatiker Dirk Siefkes Author

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein­ l leitung zu seinem Buch Geist und Natur 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 schließlich aus: Dabei fallt 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 für Informatiker durchzuführen. "Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Sätze. " Deswegen beginnt jeder Teil dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einführung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf­ logelei, die Offene Prädikatenlogik mit dem Architektenbeispiel und die volle Prädikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich fürs Verstehen sind. Deswegen sieht man beim Blättern 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, Tätigkeiten, und nicht Logik und Informatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollständigkeit, logische Theorie, Axiomensystem. Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.

Detailangaben zum Buch - Formalisieren und Beweisen: Logik für Informatiker Dirk Siefkes Author


EAN (ISBN-13): 9783528147570
ISBN (ISBN-10): 3528147571
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2013
Herausgeber: Vieweg+Teubner Verlag Core >1

Buch in der Datenbank seit 2007-05-28T01:47:38+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-17T17:49:39+02:00 (Berlin)
ISBN/EAN: 3528147571

ISBN - alternative Schreibweisen:
3-528-14757-1, 978-3-528-14757-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: siefkes dirk, siefke, peter besser, bateson gregory, ralf besser, andreas peter, teubner andreas, peter geist, andreas mensch
Titel des Buches: formalisieren und beweisen, logik für informatiker, logik fuer informatiker, lehrbuch logik


Daten vom Verlag:

Autor/in: Dirk Siefkes
Titel: Lehrbuch Informatik; Formalisieren und Beweisen - Logik für Informatiker
Verlag: Vieweg+Teubner Verlag; Vieweg & Teubner
259 Seiten
Erscheinungsjahr: 1992-01-01
Wiesbaden; DE
Sprache: Deutsch
69,99 € (DE)
71,95 € (AT)
77,50 CHF (CH)
Available
259 S. 8 Abb.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Ableitung; Beweis; Computer; Informatik; Logik; Vollständigkeit; Formal Languages and Automata Theory; Logic Design; Computer Science; Rechnerarchitektur und Logik-Entwurf; Informatik; EA

Einführung.- 1A Formeln schreiben und benutzen.- 1B Allgemeingültige Formeln und logisches Folgern.- 1C Entscheidungsverfahren und Normalformen.- 1D Ableiten.- 2A Situationen strukturieren und durch Formeln beschreiben.- 2B Mit Formeln und Strukturen umgehen.- 2C Strukturieren, Formalisieren, Axiomatisieren.- 2D Ableiten.- 3A Quantorenformeln.- 3B Finitisieren und mechanisieren.- 3C Geometrie und Zahlen axiomatisieren.- 3D Stärken und Schwächen.- Anhang Unvollständiger Dialog über Vollständigkeit.- Die Lehrveranstaltung Logik für Informatiker.- Verzeichnisse.- Personenverzeichnis.- Begriffsverzeichnis.- Symbolverzeichnis.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783322917690 Formalisieren und Beweisen (Dirk Siefkes)


< zum Archiv...