Nov 21, 2019   2:24 p.m. Elvíra
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 completion and Number of ECTS credits: Classified fulfillment of requirements (3 credits)
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.

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

Type of output: