Jun 27, 2019   4:59 a.m. Ladislav

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 delivery, planned learning activities and teaching methods:
 lecture 1 hour weekly (on-site method) seminar 1 hour weekly (on-site method)

Credits allocated: 3

Recommended semester/trimester: -- item not defined --
Level of study: 1.
Prerequisites for registration: none

Assesment methods:
Final written exam, passmark 56%

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.

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.

Language of instruction: slovak or english

Notes:

Courses evaluation:
Assessed students in total: 10

ABCDEFX
60,0 %20,0 %0 %0 %10,0 %10,0 %
Name of lecturer(s): 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)

Last modification: 28. 2. 2019
Supervisor: prof. RNDr. Jozef Širáň, DrSc. and programme supervisor

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)Plain (plain)