| 書目名稱 | Mathematische Logik |
| 編輯 | Martin Ziegler |
| 視頻video | http://file.papertrans.cn/628/627573/627573.mp4 |
| 概述 | Besonderer Wert wird darauf gelegt darzustellen, inwieweit die Mathematik insgesamt aus der Logik heraus entwickelt werden kann Bezüge zu der Grundlagen der Künstlichen Intelligenz werden dargestellt |
| 叢書名稱 | Mathematik Kompakt |
| 圖書封面 |  |
| 描述 | .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 diese Grundlagen der gesamten Mathematik.. |
| 出版日期 | Textbook 20101st edition |
| 關(guān)鍵詞 | Berechenbarkeitstheorie; Beweis; G?delsche S?tze; Mathematische Logik; Mengenlehre; Pr?dikatenkalkül; Sequ |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-0346-0652-3 |
| isbn_ebook | 978-3-0346-0652-3Series ISSN 2504-3846 Series E-ISSN 2504-3854 |
| issn_series | 2504-3846 |
| copyright | Birkh?user Basel 2010 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-25 10:45
發(fā)表于 2025-3-21 17:19:16
