1990, ISBN: 3528047577
[EAN: 9783528047573], Neubuch, [SC: 8.06], [PU: Vieweg & Teubner Verlag], ABLEITUNG; AUSSAGENDISJUNKTIVENORMALFORM; INFORMATIK; KOMPAKTHEIT; LOGIK; MATHEMATIK; PEANO-AXIOME; PROGRAMMIEREN… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 8.06 Details... |
ISBN: 9783528047573
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: 9783528047573
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 F… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Formalisieren und Beweisen: Logik für Informatiker. (Lehrbuch Informatik). Logik für Informatiker - gebrauchtes Buch
1990, ISBN: 9783528047573
280 Seiten Ehemaliges Bibliotheksex. mit Stempel und Rückensignatur. Leichte bis moderate Gebrauchsspuren, Text Sauber, ohne Anstreichungen, insgesamt ein gutes Arbeitsexemplar. Einband f… Mehr…
buchfreund.de Antiquariat Bookfarm, 04509 Löbnitz Versandkosten:Versandkosten innerhalb der BRD. (EUR 5.00) Details... |
1990, ISBN: 3528047577
Broschiert XIII, 259 Seiten; Broschiert Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild… Mehr…
Achtung-Buecher.de Versandantiquariat Petra Gros GmbH & Co. KG, 56070 Koblenz Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1990, ISBN: 3528047577
[EAN: 9783528047573], Neubuch, [SC: 8.06], [PU: Vieweg & Teubner Verlag], ABLEITUNG; AUSSAGENDISJUNKTIVENORMALFORM; INFORMATIK; KOMPAKTHEIT; LOGIK; MATHEMATIK; PEANO-AXIOME; PROGRAMMIEREN… Mehr…
ISBN: 9783528047573
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: 9783528047573
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 F… Mehr…
Formalisieren und Beweisen: Logik für Informatiker. (Lehrbuch Informatik). Logik für Informatiker - gebrauchtes Buch
1990, ISBN: 9783528047573
280 Seiten Ehemaliges Bibliotheksex. mit Stempel und Rückensignatur. Leichte bis moderate Gebrauchsspuren, Text Sauber, ohne Anstreichungen, insgesamt ein gutes Arbeitsexemplar. Einband f… Mehr…
1990, ISBN: 3528047577
Broschiert XIII, 259 Seiten; Broschiert Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild… 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): 9783528047573
ISBN (ISBN-10): 3528047577
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1990
Herausgeber: Vieweg+Teubner Verlag Core >1
Buch in der Datenbank seit 2007-12-23T02:07:09+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-13T00:15:12+01:00 (Berlin)
ISBN/EAN: 3528047577
ISBN - alternative Schreibweisen:
3-528-04757-7, 978-3-528-04757-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: siefkes dirk, siefke, schulze, peter geist, bateson gregory, andreas peter, ralf besser, teubner andreas, der mensch, mann, peter german
Titel des Buches: formalisieren und beweisen, logik für informatiker, logik fuer informatiker, lehrbuch logik, informatik
Daten vom Verlag:
Autor/in: Dirk Siefkes
Titel: Lehrbuch Informatik; Formalisieren und Beweisen - Logik für Informatiker
Verlag: Vieweg+Teubner Verlag; Vieweg & Teubner
262 Seiten
Erscheinungsjahr: 1990-01-01
Wiesbaden; DE
Gewicht: 0,488 kg
Sprache: Deutsch
54,99 € (DE)
56,53 € (AT)
61,00 CHF (CH)
POD
XIII, 262 S.
BC; Mathematical Logic and Formal Languages; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Ableitung; Aussagenlogik; Disjunktive Normalform; Informatik; Kompaktheit; Logik; Mathematik; Peano-Axiome; Programmieren; Resolution; Satz von Herbrand; Schnittregel; Signatur; Variable; Vollständigkeit; Logics and Meanings of Programs; Computer Science, general; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Computer Science; Informatik; EA
Einführung.- 1 Aussagenlogik.- 1A Formeln schreiben und benutzen.- 1A1 Aussagen, Verknüpfungen und Wahrheitsfunktionen.- 1A2 Aussagenlogische Formeln.- 1A3 Formalisieren.- 1A4 Induktives Definieren und Beweisen.- 1A5 Belegungen und Wahrheitswerte.- 1A6 Wahrheitswerte bestimmen.- 1A7 Syntax und Semantik.- 1A8 Die Wertfunktion.- 1A9 Formalisieren auf große und kleine Weise.- 1B Allgemeingültige Formeln und logisches Folgern.- 1B1 Logische Folgerung.- 1B2 Eigenschaften der logischen Folgerung.- 1B3 Beziehungen zu anderen Begriffen.- 1B4 Allgemeingültige Formeln und Beweisprinzipien.- 1B5 Der Ersetzungssatz.- 1B6 Widersprüchlichkeit und Unerfüllbarkeit.- 1B7 Logische Folgerung und Widersprüchhchkeit.- 1B8 Endlichkeits- und Kompaktheitssatz.- 1C Entscheidungsverfahren und Normalformen.- 1C1 Entscheidungsverfahren mit Wahrheitstafeln und ihr Aufwand.- 1C2 Konjunktive und disjunktive Normalformen.- 1C3 Entscheidungsverfahren mit Normalformen.- 1C4 Klauseln, Gentzen- und Hornformeln.- 1D Ableiten.- 1D1 Ableiten an Beispielen.- 1D2 Ableitungsregeln, Ableiten, Ableitungen.- 1D3 Korrektkeit.- 1D4 Die Schnittregel.- 1D5 Vollständigkeit.- 1D6 Wozu Vollständigkeitsbeweise?.- 1D7 Die Schnittregel ist vollständig fürs Widerlegen von Hornformeln.- 1D8 Die Schnittregel ist vollständig fürs Widerlegen von Gentzenformeln.- 1D9 Widerlegungen in Ableitungen umformen.- 1D10 Die Schnittregel ist fast vollständig.- 1D11 Die Schnittregel vervollständigen.- 1D12 Entscheiden durch Ableiten.- 2 Offene Prädikatenlogik.- 2A Situationen strukturieren und durch Formeln beschreiben.- 2A1 Strukturieren und Struktur.- 2A2 Symbole, Signatur, Interpretation.- 2A3 Terme bilden.- 2A4 Formeln bilden.- 2A5 Variablenfreie Terme und Formeln auswerten.- 2A6 Einsetzen, Substitution.- 2A7 Gültige Formeln und Modelle.- 2A8 Auswerten mit Zuweisungen.- 2A9 Aussagenlogik in der Prädikatenlogik.- 2B Mit Formeln und Strukturen umgehen.- 2B1 Erfüllbare Formeln und logische Folgerung.- 2B2 Erzeugte Strukturen.- 2B3 Herbrandstrukturen.- 2B4 Logik variablenfreier Formeln.- 2B5 Formeln mit Variablen aussagenlogisch interpretieren.- 2B6 Eigenschaften von Formeln mit Variablen.- 2B7 Normalformen.- 2B8 Umbenennen und Einsetzen.- 2B9 Axiome für Architektenstrukturen.- 2C Strukturieren, Formalisieren, Axiomatisieren.- 2C1 Die Gleichheit aromatisieren.- 2C2 Modelle der Gleichheitsaxiome.- 2C3 Prädikatenlogik mit Gleichheit.- 2C4 Axiome und Theorien.- 2C5 Das Architektenbeispiel axiomatisieren.- 2D Ableiten.- 2D1 Ableitungsregeln in der offenen Prädikatenlogik.- 2D2 Schneiden und Einsetzen ist widerlegungsvollständig.- 2D3 Vollständigkeit fürs Widerlegen in die Prädikatenlogik hochheben.- 2D4 Vollständigkeit fürs Ableiten.- 2D5 Theorembeweiser.- 2D6 Endlichkeitssätze.- 2D7 Der Resolutionskalkül.- 2D8 Logisches Programmieren.- 3 Prädikatenlogik.- 3A Quantorenlogik.- 3Al Formeln mit Quantoren.- 3A2 Freie und gebundene Variablen.- 3A3 Einsetzen, Substitution.- 3A4 Auswerten.- 3A5 Erfüllbar, allgemeingültig, folgt logisch.- 3A6 Formeln aussagenlogisch interpretieren.- 3A7 Formeln abschließen oder öffnen.- 3A8 Weitere Eigenschaften von Quantorenformeln.- 3B Finitisieren und mechanisieren.- 3B1 Pränexe Normalform.- 3B2 Skolemisieren.- 3B3 Theorembeweiser.- 3B4 Der Satz von Herbrand.- 3B5 Logisches Programmieren.- 3B6 Herbrandstrukturen.- 3B7 Der Satz von Löwenheim und Skolem.- 3B8 Endlichkeits- und Kompaktheitssatz.- 3C Geometrie und Zahlen axiomatisieren.- 3C1 Mehr Axiome für die Euklidische Geometrie.- 3C2 Alle minimalen Geraden sind isomorph.- 3C3 Alle minimalen Ebenen sind isomorph.- 3C4 Vollständige Axiome, entscheidbare Theorien.- 3C5 Kategorische Axiome für die natürlichen Zahlen.- 3C6 Die natürlichen Zahlen sind nicht kategorisch axiomatisierbar.- 3C7 Das Induktionsschema.- 3C8 Die Peano-Axiome sind vollständig.- 3C9 Peano-Axiome mit Ordnung.- 3C10 Peano-Axiome für Ordnung und Addition.- 3C11 Peano-Axiome für Addition und Multiplikation.- 3D Stärken und Schwächen.- 3D1 Termination von Programmen ist nicht entscheidbar.- 3D2 Berechnungen formalisieren.- 3D3 Die Wörtertheorie ist nicht entscheidbar.- 3D4 Berechnungen axiomatisieren.- 3D5 Die Prädikatenlogik ist unentscheidbar.- 3D6 Nicht beweisbare wahre Sätze.- 3D7 Wahrheit ist nicht formalisierbar.- 3D8 Die natürlichen Zahlen sind nicht axiomatisierbar.- 3D9 Die natürlichen Zahlen als Grundlage der Mathematik.- 3D10 Die Logik erweitern.- 3D 11 Formalisieren.- Anhang Unvollständiger Dialog über Vollständigkeit.- Die Lehrveranstaltung Logik für Informatiker.- Verzeichnisse.- Personenverzeichnis.- Symbolverzeichnis.- Begriffsverzeichnis.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783322917690 Formalisieren und Beweisen (Dirk Siefkes)
< zum Archiv...