| 書目名稱 | Einführung in die mathematische Logik | | 副標(biāo)題 | Klassische Pr?dikate | | 編輯 | Hans Hermes | | 視頻video | http://file.papertrans.cn/306/305020/305020.mp4 | | 叢書名稱 | Mathematische Leitf?den | | 圖書封面 |  | | 描述 | Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einführung in die klassische zweiwertige Pr?dikaten- logik geben. Die Beschr?nkung auf die klassische Logik soll nicht besagen, da? diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einführung in die Logik wegen ihrer Einfachheit und als Fundament für die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich prim?r an Studierende der Mathematik, die in den An- f?ngervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu geführt werden, da? er die Vorteile einer Formalisierung einsieht. Der übergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgem?? gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingeübt. Die Analyse desmathemati- schen Umgangs mit den grundlegenden mathematischen Strukturen führt in zwangloser Weise zum semantisch begründeten Folgerungsbegriff. | | 出版日期 | Textbook5th edition | | 關(guān)鍵詞 | Logik; Mathematik; Pr?dikatenlogik; mathematische Logik | | 版次 | 5 | | doi | https://doi.org/10.1007/978-3-322-99642-8 | | isbn_softcover | 978-3-519-22201-9 | | issn_series | 1615-388X | | copyright | Springer Fachmedien Wiesbaden 1972 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 21:39
發(fā)表于 2025-3-21 19:33:35
