IB112 Math Foundations

Faculty of Informatics
Spring 2012
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)
prof. RNDr. Petr Hliněný, Ph.D. (assistant)
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 14:00–15:50 B410
  • Timetable of Seminar Groups:
IB112/01: Wed 16:00–17:50 G123, J. Meitner
IB112/02: Wed 18:00–19:50 G123, 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
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 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2017, Spring 2018, Spring 2019.
  • Enrolment Statistics (Spring 2012, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2012/IB112