| 書目名稱 | Endliche Modelltheorie |
| 編輯 | Stefan Geschke |
| 視頻video | http://file.papertrans.cn/310/309689/309689.mp4 |
| 概述 | Einführung in die endliche Modelltheorie von Grundlagen bis hin zu fortgeschrittenen Konzepten.Verbindung von Logik und Informatik wird beschrieben.Anwendbarkeit der endlichen Modelltheorie auf versch |
| 圖書封面 |  |
| 描述 | Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universit?t Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und grundlegenden Konzepten, wie zum Beispiel Mengen, die man in einer einführenden Mathematikvorlesung für Studierende der Mathematik, Informatik oder der Naturwissenschaften erwirbt. Ausdrücklich nicht vorausgesetzt werden Kenntnisse in mathematischer Logik..Die Produktfamilie WissensExpress bietet Ihnen Lehr- und Lernbücher in kompakter Form. Die Bücher liefern schnell und verst?ndlich fundiertes Wissen.. |
| 出版日期 | Textbook 2023 |
| 關(guān)鍵詞 | Modelltheorie; Erststufige Logik; Endliche Strukturen; Mathematische Logik; Rekursionstheorie |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-662-68322-4 |
| isbn_softcover | 978-3-662-68321-7 |
| isbn_ebook | 978-3-662-68322-4 |
| copyright | Der/die Herausgeber bzw. der/die Autor(en), exklusiv lizenziert an Springer-Verlag GmbH, DE, ein Tei |