ISBN: 9783322912084
Logikkalküle ab 33.26 € als pdf eBook: . Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik, Medien > Bücher, Logikkalküle - eBook als pdf von - Vieweg+Teubner Verlag - 9783322912084
Hugendubel.de Nr. 33667425. Versandkosten:, , DE. (EUR 0.00) Details... |
ISBN: 9783322912084
Logikkalkule ab 38.99 € als pdf eBook: . Aus dem Bereich: eBooks, Belletristik, Erzählungen, https://media.ebook.de/shop/coverscans/336/33667425_9783322912084_big.jpg
Hugendubel.de Nr. Versandkosten:, , DE. (EUR 0.00) Details... |
ISBN: 9783322912084
Engineering; Engineering, general Algebra, Beweis, Kompaktheitssatz, Logik, Natur, Prädikatenlogik, Sequenzenkalkül, Systeme, Ultraprodukt Books eBook, Springer Shop
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783322912084
There is currently no description available Books > Engineering eBook, Springer Shop
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783322912084
Logikkalkule ab 38.99 EURO Medien > Bücher, [PU: Teubner, Leipzig]
eBook.de Nr. Versandkosten:, , DE. (EUR 0.00) Details... |
ISBN: 9783322912084
Logikkalküle ab 33.26 € als pdf eBook: . Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik, Medien > Bücher, Logikkalküle - eBook als pdf von - Vieweg+Teubner Verlag - 9783322912084
ISBN: 9783322912084
Logikkalkule ab 38.99 € als pdf eBook: . Aus dem Bereich: eBooks, Belletristik, Erzählungen, https://media.ebook.de/shop/coverscans/336/33667425_9783322912084_big.jpg
ISBN: 9783322912084
Engineering; Engineering, general Algebra, Beweis, Kompaktheitssatz, Logik, Natur, Prädikatenlogik, Sequenzenkalkül, Systeme, Ultraprodukt Books eBook, Springer Shop
ISBN: 9783322912084
There is currently no description available Books > Engineering eBook, Springer Shop
ISBN: 9783322912084
Logikkalkule ab 38.99 EURO Medien > Bücher, [PU: Teubner, Leipzig]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logikkalküle
EAN (ISBN-13): 9783322912084
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2013-12-12T00:02:52+01:00 (Zurich)
Detailseite zuletzt geändert am 2022-02-15T01:36:50+01:00 (Zurich)
ISBN/EAN: 9783322912084
ISBN - alternative Schreibweisen:
978-3-322-91208-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: michael richter
Daten vom Verlag:
Titel: Leitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher; Logikkalküle
Verlag: Vieweg+Teubner Verlag; Vieweg & Teubner
232 Seiten
Erscheinungsjahr: 2013-04-17
Wiesbaden; DE
Sprache: Deutsch
33,26 € (DE)
33,26 € (AT)
47,68 CHF (CH)
Available
232 S.
EA; E107; eBook; Nonbooks, PBS / Technik; Ingenieurswesen, Maschinenbau allgemein; Verstehen; Algebra; Beweis; Kompaktheitssatz; Logik; Natur; Prädikatenlogik; Sequenzenkalkül; Systeme; Ultraprodukt; A; Technology and Engineering; Mathematics and Statistics; BC
1. Einführung und Hilfsmittel.- 1.1 Vorbemerkungen.- 1.2 Erster Abschnitt zur (klassischen) Aussagenlogik.- 1.3 Exkurs in die Allgemeine Algebra.- 1.4 Exkurs über Verbände.- 1.5 Boole’sche Algebren.- 1.6 Heytingalgebren.- 1.7 Orthomodulare Verbände.- 2. Die Aussagenlogik und ihre Vollständigkeitssätze (Hilberttypkalküle).- 2.1 Noch einmal Aussagenlogik ganz allgemein.- 2.2 Klassische Aussagenlogik.- 2.3 Intuitionistische Aussagenlogik.- 2.4 Quantenlogik.- 3. Die Prädikatenlogik und ihre Vollständigkeitssätze (Hilberttypkalküle).- 3.1 Offene Prädikatenlogik (klassisch).- 3.2 Prädikatenlogik mit Quantoren; Substitutionen.- 3.3 Der Gödel’sche Vollständigkeitssatz.- 3.4 Prädikatenlogik mit Gleichheit.- 3.5 Ultraprodukte und der Kompaktheitssatz für beliebige Sprachen der Prädikatenlogik.- 3.6 Intuitionistische Prädikatenlogik.- 4. Gentzensysteme.- 4.1 Der Sequenzenkalkül LK von Gentzen für die klassische Logik und einige seiner grundlegenden Eigenschaften.- 4.2 Der Schnitteliminationssatz und Gentzens Hauptsatz.- 4.3 Einige Anwendungen des Schnitteliminationssatzes.- 4.4 Semantische Betrachtungen, Vollständigkeit.- 4.5 Die Logik mit Gleichheit.- 4.6 Der intuitionistische Gentzenkalkül LJ.- 5. Testmethoden und die Kalküle des Automatischen Beweisens.- 5.1 Allgemeines über Testmethoden.- 5.2 Der Kalkül von Maslov.- 5.3 Die Resolutionsmethode.- 5.4’ Die Paramodulation.- 5.5 Reduktionssysteme.- Symbolverzeichnis.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783519023456 Logikkalküle (Michael Richter)
< zum Archiv...