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