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 title:||Mathematical logic|
|Course unit code:||BV1-ML|
|Mode of completion and Number of ECTS credits:||Classified fulfillment of requirements (3 credits)|
|Name of lecturer:||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)
|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.|
|Prerequisites and co-requisites:||none|
|• 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:|
|Planned learning activities and teaching methods:||Instruction type: Lectures and tutorials
Instruction volume: 1/1 - full time, 26 hours per semester
|Assesment methods and criteria:||graded credit|
|Language of instruction:||Slovak, English|
|Work placement(s):||There is no compulsory work placement in the course unit.|
Last modification made by Ing. Peter Korčák on 02/28/2019.