Information sheet ECTS Syllabus
Course syllabus BV1-ML - Mathematical logic (FCE - WS 2019/2020)
|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:|
|Recommended semester/trimester:||-- item not defined --|
|Level of study:||1.|
|Prerequisites for registration:||none|
|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.|
|• 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:|
|Language of instruction:||slovak or english|
|Assessed students in total: 10|
|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.