- Hauptmenü-

Katalogdatenanzeige

Mathematische Logik

Kataloginformation Katalogdatensatz500246428 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Hinweise auf parallele Ausgaben	47906282X Druckausg.: ‡Ziegler, Martin, 1948 - : Mathematische Logik
ISBN	978-3-319-44179-5
Name	Ziegler, Martin
T I T E L	Mathematische Logik
Auflage	2. Aufl. 2017
Verlagsort	Cham
Verlag	Birkhäuser
Erscheinungsjahr	2017
Erscheinungsjahr	2017
Umfang	Online-Ressource (X, 152 S. 5 Abb, online resource)
Reihe	Mathematik Kompakt
Titelhinweis	Druckausg.: ‡Ziegler, Martin, 1948 - : Mathematische Logik
ISBN	ISBN 978-3-319-44180-1
Klassifikation	PBCD
	PBC
	MAT018000
	*03-01
	03B10
	03D10
	03E30
	03F30
	511.3
	QA8.9-10.3
	SK 130
Kurzbeschreibung	Prädikatenkalkül -- Strukturen und Formeln -- Semantik -- Allgemeingültige Formeln -- Der Gödelsche Vollständigkeitssatz -- Der Sequenzenkalkül -- Der Herbrandsche Satz -- Die Resolutionsmethode -- Mengenlehre -- Die Axiome -- Die natürlichen Zahlen -- Ordinalzahlen und Kardinalzahlen -- Metamathematik von ZFC -- Rekursionstheorie -- Registermaschinen -- Primitiv rekursive Funktionen und Gödelisierung -- Rekursiv aufzählbare Mengen -- Gödelnummern von Formeln -- Ein anderer Aufbau der rekursiven Funktionen -- Arithmetik -- Definierbare Relationen -- Das System Q -- Peanoarithmetik -- Der Zweite Gödelsche Unvollständigkeitssatz.
2. Kurzbeschreibung	Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den natürlichen Zahlen definierbaren Teilmengen eingeführt, um schließlich die Gödelschen Unvollständigkeitssätze zu beweisen. Durch seinen klaren Stil und die eingefügten Übungsaufgaben ist dieses Buch eine konzise Einführung in die logischen Grundlagen der Mathematik.
1. Schlagwortkette	Mathematische Logik
1. Schlagwortkette	Einführung
ANZEIGE DER KETTE	Mathematische Logik -- Einführung
SWB-Titel-Idn	479368503
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-319-44180-1
Internetseite / Link	Volltext
Siehe auch	Volltext
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500246428

Kategorien-Anzeige Katalogdatensatz500246428

Titel zur Titelsammlung hinzufügen Katalogdatensatz500246428

Kataloginformation500246428 Datensatzanfang . Kataloginformation500246428 Seitenanfang .

Titel vormerken Katalogdatensatz500246428

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.