Course: Logic

» List of faculties » FES » UMKM
Course title Logic
Course code UMKM/KLOG
Organizational form of instruction Lecture
Level of course Bachelor
Year of study not specified
Semester Winter
Number of ECTS credits 3
Language of instruction Czech
Status of course Compulsory-optional
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Lecturer(s)
  • Koudela Libor, Mgr. Ph.D.
Course content
Introduction to propositional logic - atomic statements, logical connectives, formulas, truth tables. Disjunctive and conjunctive normal forms. Axiomatization of classical propositional logic - inference rules, well-formed formulas. Axioms, theorems, proofs, deduction, properties of systems based on classical propositional logic. Sets and relations. Introduction to predicate logic - open statements, constants, variables, quantifiers. Formulas of predicate logic, interpretation, satisfiability. Axiomatization of predicate logic - axioms, inference rules, deduction.

Learning activities and teaching methods
Monologic (reading, lecture, briefing), Dialogic (discussion, interview, brainstorming), Work with text (with textbook, with book)
Learning outcomes
The course is designed to provide students with basics of the classical propositional and predicate logic.
Students will be able to use methods of logical reasoning to solve particular problems of subsequent subjects.
Prerequisites
unspecified

Assessment methods and criteria
Written examination

Assignment - active attendance. Examination - a set of problems with at least 50% correct answers.
Recommended literature
  • ČECHÁK, V.; BERKA, K.; ZAPLETAL. I. Co víte o moderní logice. Praha, 1981.
  • HROMEK, P. Logika v příkladech. Olomouc, 2002.
  • SOCHOR, A. Klasická matematická logika. Praha, 2001.
  • ŠTĚPÁN, J. Klasická logika. Olomouc, 2003.
  • TARSKI, A. Úvod do logiky a metodologie deduktivních věd.


Study plans that include the course
Faculty Study plan (Version) Branch of study Category Recommended year of study Recommended semester
Faculty of Economics and Administration Information and Security Systems (2015) Economy 2 Winter
Faculty of Economics and Administration Information and Security Systems (2014) Economy 2 Winter
Faculty of Economics and Administration Information and Security Systems (2013) Economy 2 Winter