back to table of content

INFB  Mathematics I CourseINF
Lecturers : Prof. Dr. Rolf Socher   eMail
 Term1
Course Classification : Informatics BachelorCH4
Language : Deutsch Type L E
Type of examination : PL  Credits5 
Method of evaluation : written examination 90 min 
Requirements :  
Cross References :  
Previous knowledges : Good calculation skills, working knowledge of elementary mathematics and basics of set theory 
Aids and special features :  
Teaching aims : Adoption of mathematical thinking (abstraction, accuracy, logical deduction and argumentation)
Mastery of several proof strategies and techniques, especially induction, counting techniques, methods to compute discrete probabilities
Understanding of essential basic concepts such as sets, relations, functions
Familiarity with several discrete structures such as graphs, and algebras; this includes confident handling of the respective methods like calculation with sets and elements of discrete structures,
diagonal method, isomorphism proofs as well as applicable knowledge of basic properties and results like Kuratowskis lemma and Fermats theorem. 
Contents :

Atomic and complex propositions as building blocks for mathematical reasoning, truth tables, propositions with quantifiers
Set theory: basic concepts, operations on sets , simplification of set representation, powersets, products of sets
Relations: definition, operations on relations, equivalence relations and factorisation, partially ordered sets
Mappings and functions: definitions and examples, surjectivity and injectivity, sequences of sets, cardinality of sets—Cantors diagonal method,
Proof strategies: direcly, by contradiction, case-based reasoning, proofs with quantifiers, proofs in combinatorics,
Complete induction: idea, structure, generalised induction, inductive definition
Counting: combinatorics, calculation with binomial coefficients, Stirling formula
Discrete stochastics: non-deterministic experiments, random variables, conditional probability, expected values, examples for discrete distributions
Boolean algebras: definition and properties, atoms, normal forms, representation theorem
Graphs and trees: directed and undirected graphs, properties and representation of graphs, planary graphs, paths, cycles, incidence- und adjacence matrices isomorphisms, trees
Modular arithmetic: modulo operation, Euklidian algorithm, Fermats theorem
Algebraic structures: definition and signature of algebras, operations and properties, groups, rings and fields, primitive elements, properties of finite groups, cyclic groups, homomorphisms, isomorphisms 

Literature : Meinel, Mundhenk: Mathematische Grundlagen der Informatik, 3. Auflage, Teubner, Stuttgart, 2002.
Teschl/ Teschl: Mathematik für Informatiker, Band 1, Diskrete Mathematik und Lineare Algebra, Springer, Berlin-Heidelberg, 2006.
Fetzer/Fränkel: Mathematik, Lehrbuch für Fachhochschu-len, Band 1, Springer, Berlin; Auflage: 5., neubearb. u. korr. Aufl. (Januar 1999) .
Stingl, P. , Mathematik für Fachhochschulen, Technik und Informatik Hanser Fachbuchverlag; Auflage: 7., durchges. Aufl. (Dezember 2003) 

back to table of content