Gentzens Problem - Mathematische Logik im nationalsozialistischen Deutschland
von Eckart Menzler-Trott
2012 Kartoniert, 432 Seiten, 235mm x 155mm x 24mm, Sprache(n): ger Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute in wichtigen Teilgebieten der Informatik…
Mathematische Logik - Boolesche Algebra, Berechenbarkeitstheorie, Gödelscher Unvollständigkeitssat…
2013 Kartoniert, 120 Seiten, 246mm x 189mm x 7mm, Sprache(n): ger Quelle: Wikipedia. Seiten: 119. Kapitel: Boolesche Algebra, Berechenbarkeitstheorie, Gödelscher Unvollständigkeitssatz, Zermelo-Fraenkel-Mengenlehre, Russellsche Antinomie, Falsifikation, Peano-Axiome, Resolution, Boolesche Variab…
Mathematische Logik
von Martin Ziegler
2016 Kartoniert, 164 Seiten, 240mm x 168mm x 10mm, Sprache(n): ger Wie läßt sich formalisieren, was mit dem, was gemeinhin als Mathematik bezeichnet wird, ausdrückbar ist? Dieser fundamentalen Aufgabe widmet sich die mathematische Logik. Dieses Buch führt in die verschiedenen Aspekte der mathema…
Grundzüge der Mathematischen Logik
von Gisbert Hasenjaeger, Heinrich Scholz
2012 Kartoniert, 524 Seiten, 229mm x 152mm x 29mm, Sprache(n): ger § 1. Prolegomena 1. Die Logik, die in diesem Lehrbuch entwickelt wird, ist bestimmt durch die folgenden Kennzeichen: (1) Sie fuBt auf derselben Ontologie wie die von erkennbaren Wider sprlichen befreite und in diesem Sinne vertr…
Grundzüge der Mathematischen Logik
von Heinrich Scholz Verlag: Springer Berlin,
Softcover reprint of the original 1st ed. 1961 2012. Gepflegter, sauberer Zustand. 24557840/2
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schlie…
1983 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): ger Studienausg.
Strukturtypen der Logik
von Matthias Varga von Kibed Verlag: Springer Berlin,
1984 1983. Gepflegter, sauberer Zustand. 814594/2
Strukturtypen der Logik
von Matthias Varga von Kibed Verlag: Springer Berlin,
1984 1983. Gepflegter, sauberer Zustand. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 814594/202
Strukturtypen der Logik
2011 Kartoniert, 548 Seiten, 235mm x 155mm x 30mm, Sprache(n): ger Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine…
Strukturtypen der Logik
1983 Gebunden, 548 Seiten, 241mm x 160mm x 34mm, Sprache(n): ger Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine V…
- Volltext
- Sequenzenkalkül
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!