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 completion and Number of ECTS credits:||Classified fulfillment of requirements (3 credits)|
|• 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.
Last modification made by Ing. Peter Korčák on 02/28/2019.