- 5 Ergebnisse
Kleinster Preis: € 13,45, größter Preis: € 64,65, Mittelwert: € 31,09
1
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubne - Richter, Michael M
Bestellen
bei ebay.de
€ 16,25
Versand: € 0,001
Bestellengesponserter Link
Richter, Michael M:

Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubne - gebunden oder broschiert

1978, ISBN: 3519023458

Stuttgart : Teubner 1978. 232 S. ; Broschiert Sprache: Deutsch ISBN: 3519023458 EAN: 9783519023456 Bestell-Nr: 2005683 Bemerkungen: Das hier angebotene Buch stammt aus einer teilaufgelöst… Mehr…

99.8, Zahlungsarten: Paypal, APPLE_PAY, Visa, Mastercard, American Express. Versandkosten:Versandkostenfrei, Versand zum Fixpreis, [SHT: Sparversand], 56*** Koblenz, [TO: Amerika, Europa, Asien] (EUR 0.00) besser-kochen
2
Logikkalküle - Michael Richter
Bestellen
bei Orellfuessli.ch
CHF 61,90
(ca. € 64,65)
Versand: € 18,801
Bestellengesponserter Link

Michael Richter:

Logikkalküle - Taschenbuch

ISBN: 9783519023456

In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü lisierung der Logik kann natürlich ganz verschieden au… Mehr…

Nr. A1030987236. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.80)
3
Logikkalküle
Bestellen
bei Thalia.de
€ 44,99
Versand: € 0,001
Bestellengesponserter Link
Logikkalküle - neues Buch

ISBN: 9783519023456

In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü lisierung der Logik kann natürlich ganz verschieden au… Mehr…

Nr. A1030987236. Versandkosten:, , DE. (EUR 0.00)
4
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - Richter, Michael M.
Bestellen
bei ZVAB.com
€ 13,45
Versand: € 2,901
Bestellengesponserter Link
Richter, Michael M.:
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - Taschenbuch

1978, ISBN: 3519023458

[EAN: 9783519023456], Gebraucht, sehr guter Zustand, [SC: 2.9], [PU: Stuttgart : Teubner], AUSSAGENLOGIK ; PRÄDIKATENLOGIK LOGIKKALKÜL MATHEMATISCHE LOGIK, A MATHEMATIK, 232 S. ; Das hier… Mehr…

NOT NEW BOOK. Versandkosten: EUR 2.90 books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Koblenz, Germany [1048006] [Rating: 5 (von 5)]
5
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - Richter, Michael M.
Bestellen
bei Achtung-Buecher.de
€ 16,10
Versand: € 0,001
Bestellengesponserter Link
Richter, Michael M.:
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - gebrauchtes Buch

1978, ISBN: 3519023458

Broschiert 232 S. ; Broschiert Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Institu… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Versandantiquariat Petra Gros GmbH & Co. KG, 56070 Koblenz

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 Musiktitel
Logikkalküle

In diesem Buch werden Aspekte der Aussagenlogik und der Pradikaten logik der ersten Stufe behandelt. Eine Mathematisierung und Kalku lisierung der Logik kann naturlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primar leiten lasst. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheits begriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte fuhren zu drei verschiedenen Arten von Kalkulen. Die Betonung des Wahrheitsbegriffes fuhrte auf die untersuchung der Hilberttypkalkule von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollstandigkeitsbeweise in diesen Kalkulen lasst sich u. E. eigentlich nur algebraisch verstehen. Etwas uberspitzt konnte man formulieren, dass die Vollstandigkeitsbeweise in Hilberttypkal kulen Korollare zu Betrachtungen uber Kongruenzrelationen in ge wissen Boole'schen Algebren sind. Bei den modelltheoretischen Be trachtungen haben wir uns kurz ge fasst und nur einige grundlegende Begriffe vorgestellt."

Detailangaben zur CD - Logikkalküle


EAN (ISBN-13): 9783519023456
ISBN (ISBN-10): 3519023458
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1978
Herausgeber: Vieweg & Teubner

CD in der Datenbank seit 2008-04-27T09:38:28+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-28T23:01:15+01:00 (Zurich)
EAN: 3519023458

EAN - alternative Schreibweisen:
3-519-02345-8, 978-3-519-02345-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor der CD: richter michael, teubner
Titel der CD: logikkalküle, logikkalkle, teubner edition, teubner mathematik, angewandte mechanik, leitfaden der mathematik, leitfäden der angewandten informatik, logik und logikkalkül


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: 1978-06-01
Wiesbaden; DE
Gewicht: 0,305 kg
Sprache: Deutsch
44,99 € (DE)
46,26 € (AT)
50,00 CHF (CH)
POD
232 S.

BC; Engineering, general; Hardcover, Softcover / Technik; Ingenieurswesen, Maschinenbau allgemein; Verstehen; Algebra; Beweis; Kompaktheitssatz; Logik; Natur; Prädikatenlogik; Sequenzenkalkül; Systeme; Ultraprodukt; Technology and Engineering; EA

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:
9783322912084 Logikkalküle (Michael Richter)


< zum Archiv...