IB112 Math Foundations

Faculty of Informatics
Spring 2017
Extent and Intensity
2/2. 4 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
prof. RNDr. Jan Strejček, Ph.D. (lecturer)
Mgr. Jan Meitner (seminar tutor)
Mgr. Lukáš Másilko (seminar tutor)
Guaranteed by
prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics
Timetable
Thu 12:00–13:50 B410
  • Timetable of Seminar Groups:
IB112/T01: Mon 8:50–10:25 110, Thu 23. 2. to Mon 22. 5. Thu 12:00–13:35 110, L. Másilko, Nepřihlašuje se. Určeno pro studenty se zdravotním postižením.
IB112/01: Tue 18:00–19:50 A319, J. Meitner
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
there are 8 fields of study the course is directly associated with, display
Course objectives
At the end of the course students should be able to: understand the content of theoretical informatic courses;
Syllabus
  • Naive set theory: set, list of elements, basic operations on set, Cartesian product.
  • Number sets: natural numbers, integers, rational and real numbers.
  • Relations and function: relations over sets, functions as relations, composition of functions or relations.
  • Equivalence and orderings: properties of relations, equivalence, decomposition, partition, partial order, Hasse diagram.
  • Mathematical logic: definition of propositional and predicate formulae, validity and satisfability, axiomatization.
  • Proofs: direct proof, proof by transposition, proof by contradiction, proof by induction.
  • Linear equations: definition of matrices, systems of linear equations, geometric intuition, Gaussian elimination.
  • Combinatorics: enumerative combinatorics, combinations, permutations, factorial.
  • Combinatorial probability: throws of the dice, shuffling cards, finite probabilistic space.
  • Descriptive statistics: statistical population, mean, median, dispersion, correlation.
  • Graphs: graph, subgraph, isomorphism, vertex degree, connected components, trees and their properties, flow networks.
Literature
  • KOLÁŘ, Josef, Olga ŠTĚPÁNKOVÁ and Michal CHYTIL. Logika, algebry a grafy. 1. vyd. Praha: SNTL - Nakladatelství technické literatury, 1989, 434 s. info
  • ŠTĚPÁNEK, Petr. Matematická logika. Vyd. 1. Praha: Státní pedagogické nakladatelství, 1982, 281 s. info
Teaching methods
lectures and class exercises
Assessment methods
written exam
Language of instruction
Czech
Further Comments
Study Materials
The course is taught annually.
The course is also listed under the following terms Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2018, Spring 2019.
  • Enrolment Statistics (Spring 2017, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2017/IB112