Mathematische Logik (Mathematik Kompakt)
Martin Ziegler
Dieses Buch bietet eine Einf?hrung in die verschiedenen Aspekte der mathematischen Logik. Nach dem Praedikatenkalk?l und seinen Anwendungen auf die Anf?nge der k?nstlichen Intelligenz stellt der Autor die Mengenlehre axiomatisch dar. Im dritten und vierten Teil f?hrt er die Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der Teilmengen ein, um schlie?lich die G?delschen Unvollst?ndigkeitss?tze zu beweisen. Dieser Band zeichnet sich durch einen klaren Schreibstil aus und enth?lt zahlreiche ?bungsaufgaben.
カテゴリー:
年:
2010
版:
1st Edition.
出版社:
Birkhäuser Basel
言語:
german
ページ:
125
ISBN 10:
3764399732
ISBN 13:
9783764399733
シリーズ:
Mathematik Kompakt
ファイル:
PDF, 1.00 MB
IPFS:
,
german, 2010