IB112 Math Foundations

Faculty of Informatics
Spring 2011
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)
Guaranteed by
prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Timetable
Mon 18:00–19:50 G124, Wed 10:00–11:50 A107
Prerequisites (in Czech)
! MB000 Calculus I && ! MB001 Calculus II && ! MB003 Linear Algebra and Geometry I && ! MB005 Foundations of mathematics && ! MB008 Algebra I && ! MB101 Mathematics I
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, arithmetic operations, sequences and series.
  • 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.
  • 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.
  • Mathematical logic: definition of propositional and predicate formulae, validity and satisfability, axiomatization.
  • Proofs: direct proof, proof by transposition, proof by contradiction, proof by induction.
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 2012, Spring 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2017, Spring 2018, Spring 2019.
  • Enrolment Statistics (Spring 2011, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2011/IB112