Přístupnostní navigace
E-application
Search Search Close
Course detail
FSI-SMLAcad. year: 2009/2010
In the course, basics of propositional and predicate logic will be presented. At the beginning, the necessity of the requirement of exactness when studying formal systems will be demonstrated by using logic and semantic paradoxes. Then syntax and semantics of the classical propositional logic will be discussed. We will use both the classical approach based on using strings of symbols and the approach based on graph theory (and using trees). In the second part of the course, predicate logic will be studied, both from the viewpoint of syntax and semantics. It will be shown that mathematical logic, which forms the basis of mathematical reasoning, plays an important role also in other disciplines, e.g. in computer science.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Course curriculum
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Recommended reading
Classification of course in study plans
branch M-MAI , 1. year of study, summer semester, compulsory
Lecture
Teacher / Lecturer
Syllabus