IB112 Math Foundations

Faculty of Informatics
Spring 2018
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
Tue 12:00–13:50 B410
  • Timetable of Seminar Groups:
IB112/01: Wed 21. 2. to Wed 28. 3. Wed 16:00–17:50 A318, Wed 4. 4. to Wed 23. 5. Wed 16:00–17:50 A218, 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 computer science courses;
Learning outcomes
At the end of the course students should be able to: understand the content of computer science courses;
Syllabus
  • Naive set theory: set, list of elements, basic operations on set, Cartesian product.
  • Relations and function: relations over sets, functions as relations, composition of functions or relations.
  • Equivalence and orderings: properties of relations, equivalence, partial order, Hasse diagram.
  • Mathematical logic: definition of propositional and predicate formulae, validity and satisfability.
  • 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 2017, Spring 2019.
  • Enrolment Statistics (Spring 2018, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2018/IB112