書目名稱 | Mathematische Grundlagen der Informatik |
副標題 | Mathematisches Denke |
編輯 | Christoph Meinel,Martin Mundhenk |
視頻video | http://file.papertrans.cn/628/627531/627531.mp4 |
概述 | Begleitbuch zur Vorlesung ‘Mathematische Grundlagen der Informatik‘ wie sie von Informatikern für Studenten der Informatik gelesen wird |
叢書名稱 | XLeitf?den der Informatik |
圖書封面 |  |
描述 | Dieses Buch ist entstanden aus einer vom ersten Autor neu konzipierten Vor- lesung für Erstsemester der F?cher Informatik und Wirtschaftsinformatik an der Universit?t Trier. Ziel dieser Vorlesung war es, die H?rer mit ihren recht unterschiedlichen mathematischen Vorkenntnissen und Fertigkeiten abzuholen und sie mit dem für ein erfolgreiches Studium der Informatik oder verwandter Studieng?nge notwendigen mathematischen Rüstzeug auszustatten. Am Ende der Vorlesung sollten die H?rer dann in der Lage sein, in der exakten und streng formalisierten Denk- und Schreibweise der Mathematik zu argumentie- ren - eine F?higkeit, ohne die eine erfolgreiche Arbeit in der Informatik un- vorstellbar ist. Anders jedoch als in den üblichen Mathematikvorlesungen, bei denen die H?rer von vornherein mit dieser abstrakten mathematischen Denk- und Schreibweise konfrontiert werden, sollte diese hier behutsam eingeführt und eingeübt werden, um dem Schein, dass Mathematik schwer, manchmal zu schwer w?re, gleich von vornherein zu begegnen. Vorlesung und Buch beginnen deshalb im ersten Teil mit einer recht informellen, "erz?hlerischen" Einführung in die Begriffswelt der Aussagenlogik und Mengenlehre und entwic |
出版日期 | Textbook 20063rd edition |
關(guān)鍵詞 | Abbildungen; Algebra; Aussagenlogik; Informatik; Mathematik; Mathematik für Informatiker; Mengen; Relatione |
版次 | 3 |
doi | https://doi.org/10.1007/978-3-8351-9036-8 |
isbn_ebook | 978-3-8351-9036-8Series ISSN 1615-5432 |
issn_series | 1615-5432 |
copyright | Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2006 |