| 書目名稱 | Elementare Aussagenlogik |
| 編輯 | Friedrich L. Bauer,Martin Wirsing |
| 視頻video | http://file.papertrans.cn/308/307264/307264.mp4 |
| 叢書名稱 | Mathematik für Informatiker |
| 圖書封面 |  |
| 描述 | Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Pr?dikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universit?t München entstanden. Es basiert auf der überzeugung, da? für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universit?ten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anf?nger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher au?erhalb der Aussagenlogik liegende Gegenst?nde wie die Schaltlogik systematisch einbezogen worden, wo immer es m?glich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über di |
| 出版日期 | Textbook 1991 |
| 關(guān)鍵詞 | Aussagenlogik; Beweis; Fallunterscheidungen; Funktion; Lehrsatz; Mengen; Pr?dikate; Relationen; Resolventenm |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-84263-4 |
| isbn_softcover | 978-3-540-52974-3 |
| isbn_ebook | 978-3-642-84263-4Series ISSN 1431-603X |
| issn_series | 1431-603X |
| copyright | Springer-Verlag Berlin Heidelberg 1991 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-27 19:13
發(fā)表于 2025-3-21 16:38:37
