Jun 27, 2019   4:59 a.m. Ladislav
Academic information system

Course syllabus BV1-ML - Mathematical logic (FCE - WS 2019/2020)

     Information sheet          ECTS          Syllabus          

     Slovak          English          

University: Slovak University of Technology in Bratislava
Faculty: Faculty of Civil Engineering
Course unit code: BV1-ML
Course unit title: Mathematical logic
Mode of delivery, planned learning activities and teaching methods:
lecture1 hour weekly (on-site method)
seminar1 hour weekly (on-site method)

Credits allocated: 3
Recommended semester/trimester: -- item not defined --
Level of study: 1.
Prerequisites for registration: none
Assesment methods:
Final written exam, passmark 56%
Learning outcomes of the course unit:
Students will learn basic facts from matematical logic with emphasis on correct matematical reasoning and proofs. They will be able to apply their knowledge to logicly correct formulation of theorems, hypotheses and proofs, and use results of first order logic.
Course contents:
• Statements, truth value, completenes.
• Quantifiers and functors, first order logic.
• Statements and proofs in first order logic.
• Fundamentals of set theory.
• Axiomatic systems and their models.
Recommended or required reading:
KVASNIČKA, V. -- POSPÍCHAL, J. Algebra a diskrétna matematika. Bratislava : STU v Bratislave, 2008. 493 p. ISBN 978-80-227-2934-5.
SOCHOR, A. Klasická matematická logika. Praha : Univerzita Karlova, 2001. 402 p. ISBN 80-246-0218-0.
HURLEY, P J. A Concise Introduction to Logic. Belmont : Thomson, 2006. 656 p. ISBN 0-495-00697-1.

Language of instruction: slovak or english
Courses evaluation:
Assessed students in total: 10

60,0 %20,0 %0 %0 %10,0 %10,0 %
Name of lecturer(s): doc. Mgr. Gejza Jenča, PhD. (examiner, instructor, lecturer, tutor) - slovak, english
doc. RNDr. Jana Šiagiová, PhD. (examiner, instructor, lecturer, tutor) - slovak, english
prof. RNDr. Jozef Širáň, DrSc. (person responsible for course)
Last modification: 28. 2. 2019
Supervisor: prof. RNDr. Jozef Širáň, DrSc. and programme supervisor

Last modification made by Ing. Peter Korčák on 02/28/2019.

Type of output: