By Christoph Meinel,Martin Mundhenk

Ziel dieser Einführung ist es, die für die Informatik typischen und grundlegenden mathematischen Denkweisen zu vermitteln. Der Leser wird mit den mathematischen Grundlagen der Informatik vertraut gemacht - auch ohne eine traditionell vorausgesetzte mathematische Grundausbildung.

Show description

Read or Download Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen. Eine Einführung (XLeitfäden der Informatik) (German Edition) PDF

Best machine theory books

Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning series)

Dealing with inherent uncertainty and exploiting compositional constitution are primary to knowing and designing large-scale platforms. Statistical relational studying builds on principles from likelihood idea and statistics to deal with uncertainty whereas incorporating instruments from common sense, databases and programming languages to symbolize constitution.

Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)

This publication introduces a brand new logic-based multi-paradigm programming language that integrates good judgment programming, sensible programming, dynamic programming with tabling, and scripting, to be used in fixing combinatorial seek difficulties, together with CP, SAT, and MIP (mixed integer programming) dependent solver modules, and a module for planning that's applied utilizing tabling.

Swarm Intelligence: Principles, Advances, and Applications

Swarm Intelligence: ideas, Advances, and purposes can provide in-depth insurance of bat, man made fish swarm, firefly, cuckoo seek, flower pollination, man made bee colony, wolf seek, and grey wolf optimization algorithms. The e-book starts off with a quick advent to mathematical optimization, addressing uncomplicated suggestions concerning swarm intelligence, comparable to randomness, random walks, and chaos idea.

Analysis within the Systems Development Life-Cycle: Book 3 Activity Analysis — The Deliverables: v. 3

Research in the structures improvement Life-Cycle, publication three: task research — The Deliverables presents a complete assurance of the deliverables of task research. The e-book additionally information goal of every deliverable within the context of the subsequent projects within the structures improvement cycle (SDC). The textual content first covers the concept that of deliverables and the advantages of making deliverables seen.

Extra resources for Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen. Eine Einführung (XLeitfäden der Informatik) (German Edition)

Sample text

Download PDF sample

Rated 4.46 of 5 – based on 46 votes