MA0001 Fundamentals of Mathematics

Faculty of Education
Autumn 2017
Extent and Intensity
2/2/0. 5 credit(s). Type of Completion: zk (examination).
Teacher(s)
RNDr. Břetislav Fajmon, Ph.D. (lecturer)
RNDr. Karel Lepka, Dr. (seminar tutor)
Guaranteed by
RNDr. Břetislav Fajmon, Ph.D.
Department of Mathematics – Faculty of Education
Supplier department: Department of Mathematics – Faculty of Education
Timetable
Mon 7:30–9:10 učebna 1
  • Timetable of Seminar Groups:
MA0001/01: Tue 12:05–13:45 učebna 35, K. Lepka
MA0001/02: Wed 13:00–14:40 učebna 37, K. Lepka
MA0001/03: Thu 14:50–16:30 učebna 41, B. Fajmon
Prerequisites
The subject is aimed at acquiring knowledge of fundamental concepts necessary for the study of the follow-up mathematical disciplines. Students will review and deepen their grasp of some parts of discrete mathematics taught at secondary level.
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 the SS will know the following concepts: propositions, logical connectors, predicate formulas, tautologies, contradictions, truth value, predicate form, quantifiers, direct and indirect proof, proof by contradiction, proof of (non-)existence and uniqueness, mathematical induction, set relations and operations, number sets, congruence of integers, lower/upper bound, maximum, minimum, supremum as the least upper bound, infimum as the greatest lower bound, binary relation, mapping, injection, surjection, bijection, ordered sets, Hasse diagram, the lowest element, minimal element, equivalence relation, partition, real function of one real variable, graph of a function, elementary functions.
Learning outcomes
After the completion of the course the students will be acquainted with: a) fundamental mathematical notions, especially logical statement, set, cartesian product, relation, operation, mapping; b) fundamental methods of mathematical reasoning, especially: proof of an implication, proof of an equivalence of statements, proof of set equality, proof by mathematical induction, proof using logical contradiction; c) basic mathematical symbols in mathematical literature.
Syllabus
  • 1. Fundamentals of propositional calculus. Propositions, logical connectors, propositional formula, tautology, contradiction, truth value.
  • 2. Fundamentals of predicate logic. Predicate form, quatifiers, direct and indirect proof.
  • 3. Proof by contradiction, proof of (non-)existence and uniqueness. Mathematical induction.
  • 4. Fundamental set theory. Set relations and operations, their properties.
  • 5. Sets of numbers. Elementary approach to numbers. Fundamental properties of numbers. Conguence of integers. Lower/upper bound, maximum, minimum, supremum as the least upper bound, infimum as the greatest lower bound.
  • 6. Binary relations and their properties.
  • 7. Mappings and their properties. Injection, surjection, bijection.
  • 8. Ordered sets, Hasse diagram. The lowest element, minimal element, etc.
  • 9. Equivalence relations and their properties.
  • 10. Partitions and equivalence relations.
  • 11. Fundamental information on real functions of one real variable. Graphs of functions.
  • 12. Elementary functions, their graphs and basic properties.
Literature
    recommended literature
  • ODVÁRKO, Oldřich. Matematika pro gymnázia : goniometrie. 2. vyd. Praha: Prometheus, 1995, 127 s. ISBN 8071960004. info
  • ODVÁRKO, Oldřich. Matematika pro gymnázia : funkce. 2. vyd., v Prometheu 1. Praha: Prometheus, 1994, 160 s. ISBN 8085849097. info
  • HORÁK, Pavel. Algebra a teoretická aritmetika. Vyd. 1. Brno: Rektorát UJEP, 1985, 196 s. info
Teaching methods
Teaching methods chosen will reflect the contents of the subject and the level of students as newcomers to the university.
Assessment methods
Tests in the course of the study, written final exam.
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
The course is taught annually.
The course is also listed under the following terms Autumn 2018, Autumn 2019, autumn 2020, Autumn 2021, Autumn 2022, Autumn 2023, Autumn 2024.
  • Enrolment Statistics (Autumn 2017, recent)
  • Permalink: https://is.muni.cz/course/ped/autumn2017/MA0001