Dec 12, 2019   12:43 p.m. Otília
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 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
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.

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.

Type of output: