語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Mathematik für die Informatik = Grun...
~
SpringerLink (Online service)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Mathematik für die Informatik/ von Rudolf Berghammer.
其他題名:
Grundlegende Begriffe, Strukturen und ihre Anwendung /
作者:
Berghammer, Rudolf.
面頁冊數:
XIV, 499 S. 50 Abb.online resource. :
Contained By:
Springer Nature eBook
標題:
Mathematical Logic and Foundations. -
電子資源:
https://doi.org/10.1007/978-3-658-33304-1
ISBN:
9783658333041
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
Berghammer, Rudolf.
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung /[electronic resource] :von Rudolf Berghammer. - 4th ed. 2021. - XIV, 499 S. 50 Abb.online resource.
Mengentheoretische Grundlagen -- Logische Grundlagen -- Allgemeine direkte Produkte und Datenstrukturen -- Mathematische Beweise -- Spezifikation und Programmverifikation -- Spezielle Funktionen -- Spezielle Relationen und gerichtete Graphen -- Elementare Kombinatorik und ungerichtete Graphen -- Diskrete Wahrscheinlichkeitstheorie -- Generische Programmierung -- Grundbegriffe algebraischer Strukturen -- Formale Einführung der natürlichen Zahlen.
Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik. Diese betreffen insbesondere formale Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen. Ein spezielles Konzept mit einer leicht verständlichen Vermittlung des Stoffs, vielen Beispielen mit Rückgriffen auf die Schul-Mathematik und detaillierten Beweisen (verbunden mit der Erklärung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Die 157 Übungsaufgaben, aufgeteilt in die 12 einzelnen Kapitel, sollen helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchs ermöglichen die Überprüfung der eigenen Lösungen. Der Inhalt Mengentheoretische Grundlagen • Logische Grundlagen • Allgemeine direkte Produkte und Datenstrukturen • Mathematische Beweise • Spezifikation und Programmverifikation • Spezielle Funktionen • Spezielle Relationen und gerichtete Graphen • Elementare Kombinatorik und ungerichtete Graphen • Diskrete Wahrscheinlichkeitstheorie • Generische Programmierung • Grundbegriffe algebraischer Strukturen • Formale Einführung der natürlichen Zahlen Die Zielgruppen Studierende der Informatik, der Mathematik und der Ingenieurwissenschaften in den ersten Studiensemestern eines Bachelor-Studiengangs an einer wissenschaftlichen Hochschule. Der Autor Rudolf Berghammer studierte Mathematik und Informatik an der TU München. Seit 1993 ist er Professor am Institut für Informatik der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge.
ISBN: 9783658333041
Standard No.: 10.1007/978-3-658-33304-1doiSubjects--Topical Terms:
669393
Mathematical Logic and Foundations.
LC Class. No.: QA76.9.M35
Dewey Class. No.: 004.0151
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
LDR
:03758nam a22003615i 4500
001
1046527
003
DE-He213
005
20210623151229.0
007
cr nn 008mamaa
008
220103s2021 gw | s |||| 0|ger d
020
$a
9783658333041
$9
978-3-658-33304-1
024
7
$a
10.1007/978-3-658-33304-1
$2
doi
035
$a
978-3-658-33304-1
050
4
$a
QA76.9.M35
072
7
$a
UYA
$2
bicssc
072
7
$a
COM018000
$2
bisacsh
072
7
$a
UYA
$2
thema
072
7
$a
UYAM
$2
thema
082
0 4
$a
004.0151
$2
23
100
1
$a
Berghammer, Rudolf.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
792455
245
1 0
$a
Mathematik für die Informatik
$h
[electronic resource] :
$b
Grundlegende Begriffe, Strukturen und ihre Anwendung /
$c
von Rudolf Berghammer.
250
$a
4th ed. 2021.
264
1
$a
Wiesbaden :
$b
Springer Fachmedien Wiesbaden :
$b
Imprint: Springer Vieweg,
$c
2021.
300
$a
XIV, 499 S. 50 Abb.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
505
0
$a
Mengentheoretische Grundlagen -- Logische Grundlagen -- Allgemeine direkte Produkte und Datenstrukturen -- Mathematische Beweise -- Spezifikation und Programmverifikation -- Spezielle Funktionen -- Spezielle Relationen und gerichtete Graphen -- Elementare Kombinatorik und ungerichtete Graphen -- Diskrete Wahrscheinlichkeitstheorie -- Generische Programmierung -- Grundbegriffe algebraischer Strukturen -- Formale Einführung der natürlichen Zahlen.
520
$a
Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik. Diese betreffen insbesondere formale Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen. Ein spezielles Konzept mit einer leicht verständlichen Vermittlung des Stoffs, vielen Beispielen mit Rückgriffen auf die Schul-Mathematik und detaillierten Beweisen (verbunden mit der Erklärung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Die 157 Übungsaufgaben, aufgeteilt in die 12 einzelnen Kapitel, sollen helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchs ermöglichen die Überprüfung der eigenen Lösungen. Der Inhalt Mengentheoretische Grundlagen • Logische Grundlagen • Allgemeine direkte Produkte und Datenstrukturen • Mathematische Beweise • Spezifikation und Programmverifikation • Spezielle Funktionen • Spezielle Relationen und gerichtete Graphen • Elementare Kombinatorik und ungerichtete Graphen • Diskrete Wahrscheinlichkeitstheorie • Generische Programmierung • Grundbegriffe algebraischer Strukturen • Formale Einführung der natürlichen Zahlen Die Zielgruppen Studierende der Informatik, der Mathematik und der Ingenieurwissenschaften in den ersten Studiensemestern eines Bachelor-Studiengangs an einer wissenschaftlichen Hochschule. Der Autor Rudolf Berghammer studierte Mathematik und Informatik an der TU München. Seit 1993 ist er Professor am Institut für Informatik der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge.
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
650
2 4
$a
Arithmetic and Logic Structures.
$3
672631
650
1 4
$a
Mathematics of Computing.
$3
669457
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
0
$a
Arithmetic and logic units, Computer.
$3
1255170
650
0
$a
Computer science—Mathematics.
$3
1253519
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783658333034
856
4 0
$u
https://doi.org/10.1007/978-3-658-33304-1
912
$a
ZDB-2-STI
950
$a
Computer Science and Engineering (German Language) (SpringerNature-11774)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入