Einführung in die klassische und intension... | preigu

Cover: 9783528064891 | Einführung in die klassische und intensionale Logik | Friedrichsdorf

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

69,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen.

Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen.

Über den Autor

Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.

Inhaltsverzeichnis

§1 Mengen, Relationen und Funktionen.- §2 Aussagenlogik.- §3 Modale Aussagenlogik.- §4 Varianten der modalen Aussagenlogik.- §5 Grundbegriffe der Prädikatenlogik.- §6 Normalformen und der Satz von Herbrand.- §7 Der Gödelsche Vollständigkeitssatz.- §8 Modallogische Aspekte der Gödelschen Unvollständigkeitssätze.- §9 Einige modelltheoretische Begriffe und Sätze.- §10 Modale Prädikatenlogik.- §11 Dynamische Prädikatenlogik.- §12 Höherstufige Prädikatenlogik.- §13 Typentheorie.- Mengentheoretischer Anhang.- Literatur.- Symbole und Notationen.- Register.

Details

Erscheinungsjahr:	1992
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 354 S. 4 s/w Illustr. 354 S. 4 Abb.
ISBN-13:	9783528064891
ISBN-10:	3528064897
Sprache:	Deutsch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Friedrichsdorf, Ulf
Hersteller:	Vieweg & Teubner Vieweg+Teubner Verlag
Maße:	229 x 162 x 20 mm
Von/Mit:	Ulf Friedrichsdorf
Erscheinungsdatum:	01.01.1992
Gewicht:	0,568 kg

Artikel-ID: 102346428

Über den Autor

Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.

Inhaltsverzeichnis

§1 Mengen, Relationen und Funktionen.- §2 Aussagenlogik.- §3 Modale Aussagenlogik.- §4 Varianten der modalen Aussagenlogik.- §5 Grundbegriffe der Prädikatenlogik.- §6 Normalformen und der Satz von Herbrand.- §7 Der Gödelsche Vollständigkeitssatz.- §8 Modallogische Aspekte der Gödelschen Unvollständigkeitssätze.- §9 Einige modelltheoretische Begriffe und Sätze.- §10 Modale Prädikatenlogik.- §11 Dynamische Prädikatenlogik.- §12 Höherstufige Prädikatenlogik.- §13 Typentheorie.- Mengentheoretischer Anhang.- Literatur.- Symbole und Notationen.- Register.

Details

Erscheinungsjahr:	1992
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 354 S. 4 s/w Illustr. 354 S. 4 Abb.
ISBN-13:	9783528064891
ISBN-10:	3528064897
Sprache:	Deutsch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Friedrichsdorf, Ulf
Hersteller:	Vieweg & Teubner Vieweg+Teubner Verlag
Maße:	229 x 162 x 20 mm
Von/Mit:	Ulf Friedrichsdorf
Erscheinungsdatum:	01.01.1992
Gewicht:	0,568 kg

Artikel-ID: 102346428

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9780521055314 | Algebraic Homotopy | Hans Joachim Baues | Taschenbuch | Paperback

Algebraic Homotopy

EAN: 9780521055314

Sprache: Englisch

Von/Mit: Hans Joachim Baues

79,70 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783540735090 | Laplacian Eigenvectors of Graphs | Türker Biyikoglu (u. a.) | Buch

Laplacian Eigenvectors of Graphs

Perron-Frobenius and Faber-Krahn Type Theorems

EAN: 9783540735090

Sprache: Englisch

Von/Mit: Türker Biyikoglu (u. a.)

42,79 €*

Aktuell nicht verfügbar

Buch

Cover: 9783540676508 | Zahnradtechnik Stirnrad- Evolventenverzahnungen | Karlheinz Roth

Zahnradtechnik Stirnrad- Evolventenverzahnungen

Geometrische Grundlagen, Profilverschiebungen, Toleranzen, Festigkeit

EAN: 9783540676508

Sprache: Deutsch

Von/Mit: Karlheinz Roth

399,99 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783642793943 | Benchmarking | Praxis in deutschen Unternehmen | Kai Mertins (u. a.)

Praxis in deutschen Unternehmen

EAN: 9783642793943

Sprache: Deutsch

Von/Mit: Kai Mertins (u. a.)

54,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9780521617703 | Dense Sphere Packings | Thomas Hales | Taschenbuch | Paperback | 2012

Dense Sphere Packings

EAN: 9780521617703

Sprache: Englisch

Von/Mit: Thomas Hales

74,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783519121251 | Diskrete Mathematik | Eine Einführung in Theorie und Anwendungen

Diskrete Mathematik

Eine Einführung in Theorie und Anwendungen

EAN: 9783519121251

Sprache: Deutsch

Von/Mit: Thomas Ihringer

44,99 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783519030140 | Einführung in die Gaselektronik | Klaus Wiesemann | Taschenbuch | ii

Einführung in die Gaselektronik

Grundlagen der Elektrizitätsleitung in Gasen

EAN: 9783519030140

Sprache: Deutsch

Von/Mit: Klaus Wiesemann

49,99 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781292254388 | Manufacturing Processes for Engineering Materials in SI Units | Buch

Manufacturing Processes for Engineering Materials in SI Units

EAN: 9781292254388

Sprache: Englisch

Von/Mit: Serope Kalpakjian (u. a.)

67,15 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783957731081 | Reading the City - Developing Urban Hermeneutics / Stadt lesen -...

Reading the City - Developing Urban Hermeneutics / Stadt lesen - Beiträge zu einer urbanen Hermeneutik

Developing Urban Hermeneutics. Beiträge zu einer urbanen Hermeneutik. Dtsch.-Engl.

EAN: 9783957731081

Sprache: Deutsch, Englisch

Von/Mit: Dieter Hassenpflug

23,00 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9789819916023 | Representation Learning for Natural Language Processing | Liu (u. a.)

Representation Learning for Natural Language Processing

EAN: 9789819916023

Sprache: Englisch

Von/Mit: Zhiyuan Liu (u. a.)

39,45 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783428186952 | Artificial Creativity? | Lucas Anton Jager | Taschenbuch | 406 S.

Artificial Creativity?

Zur urheberrechtlichen Verortung von Systemen >künstlicher Intelligenz<, deren Erzeugnissen und deren...

EAN: 9783428186952

Sprache: Deutsch

Von/Mit: Lucas Anton Jager

99,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9786206358657 | 4D-Druck: Erkundung der nächsten Revolution in der additiven Fertigung

4D-Druck: Erkundung der nächsten Revolution in der additiven Fertigung

EAN: 9786206358657

Sprache: Deutsch

Von/Mit: Gubbala V. Ramesh (u. a.)

43,90 €*

Lieferzeit 4-7 Werktage