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…
Orellfuessli.ch Nr. A1017498938. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.76) Details... |
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…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 8.06 Details... |
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…
Springer.com Nr. 978-3-528-14757-0. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
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…
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…
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…
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…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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...