Dec 12, 2019   12:43 p.m. Otília

# 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.

Basic:
 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: PDF output (PDF)Document RTF (RTF)XML format for IS (XML IL)