Course: Logic and Axiomatic Systems

» List of faculties » PRF » KMA
Course title Logic and Axiomatic Systems
Course code KMA/MK302
Organizational form of instruction Lecture
Level of course Master
Year of study not specified
Semester Winter
Number of ECTS credits 3
Language of instruction Czech
Status of course Compulsory
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Lecturer(s)
  • Kuřil Martin, RNDr. Ph.D.
Course content
unspecified

Learning activities and teaching methods
unspecified
Learning outcomes
Prerequisites
unspecified

Assessment methods and criteria
unspecified
Recommended literature
  • Balcar, B., Štěpánek, P. Teorie množin. Praha, 1986.
  • Blažek, J., Calda, E., Koman, M., Kussová, B. Algebra a teoretická aritmetika I. Praha, 1983.
  • Kleene, S. C. Mathematical Logic. New York, London, Sydney, 1967.
  • Kopka J. Logika (učební text pro gymnázia).
  • Kopka, J. Matematická logika I.. Praha, 1973.
  • Kopka, J. Přirozená čísla, Přir. F. UJEP, Ústí nad Labem, 2006.
  • Švejdar, V. Logika: neúplnost, složitost a nutnost. Praha, 2002.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Faculty of Science Study plan (Version): Teaching of mathematics for Secondary schools (A14) Category: Pedagogy, teacher training and social care 2 Recommended year of study:2, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Teaching of mathematics for the 2nd level of Primary schools (A14) Category: Pedagogy, teacher training and social care 2 Recommended year of study:2, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Teaching of mathematics for the 2nd level of Primary schools (A14) Category: Pedagogy, teacher training and social care 2 Recommended year of study:2, Recommended semester: Winter