Palacký University Olomouc
Study programmes & Course catalogue
for academic year 2024/2025
Palacký University Olomouc
Česky
Search

Course: Selected Chapters in Logic

« Back
Course title Selected Chapters in Logic
Course code KMT/KVKLQ
Organizational form of instruction Lecture + On-line Activities
Level of course Bachelor
Year of study not specified
Semester Summer
Number of ECTS credits 2
Language of instruction Czech
Status of course unspecified
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Lecturer(s)
  • Dofková Radka, doc. PhDr. Ph.D.
  • Zdráhal Tomáš, doc. RNDr. CSc.
Course content
The course builds predicate calculus (quantifiers, formula, tautology), and the notion of mathematical theory (language, axioms, theorems, definitions, proofs of mathematical theorems).

Learning activities and teaching methods
Monologic Lecture(Interpretation, Training)
Learning outcomes
The course aims to deeper understanding of mathematical logic.
Orientation in the field of mathematical logic.
Prerequisites
Algebra 1.

Assessment methods and criteria
Seminar Work

To understand mathematical theories as such, to be able to use theoretical knowledge of proofs.
Recommended literature
  • BLAŽEK J., VOJTÁŠKOVÁ B. Teorie množin, UJEP Ústí n.L. 1994.
  • KOPECKÝ, M. Základy algebry. Olomouc: VUP 1998. ISBN 80-244-0683-7.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Palacký University Olomouc, date of update: 20.01.2025 23:59. Data created for academic year 2024/2025