FPF:UIN1007 Introduction to Logic - Course Information
UIN1007 Introduction to Logic
Faculty of Philosophy and Science in OpavaSummer 2012
- Extent and Intensity
- 2/2/0. 6 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- doc. RNDr. Luděk Cienciala, Ph.D. (lecturer)
doc. RNDr. Lucie Ciencialová, Ph.D. (seminar tutor)
Mgr. Marek Menšík, Ph.D. (seminar tutor) - Guaranteed by
- doc. RNDr. Luděk Cienciala, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Applied Mathematics (programme MU, B1101)
- Applied Mathematics in Risk Management (programme MU, B1101)
- Applied Mathematics in Risk Management (programme MU, B1102)
- Geometry (programme MU, M1101)
- Computer Science and Technology (programme FPF, B1801 Inf)
- Computer Science and Technology (programme FPF, M1801 Inf)
- Mathematical Analysis (programme MU, M1101)
- Mathematical Methods in Economics (programme MU, B1101)
- Mathematics (programme MU, B1101)
- Theoretical Physics (programme FPF, M1701 Fyz)
- Secondary School Teacher Training in Computer Science (programme FPF, M7504)
- Course objectives
- Introduction to the logic; Proposition logic. Language of proposition logic. Semantics; Compact theorem, formal systems, Post's theorem; Predicate logic. Semantics. Formal systems. Deduction theorem; Prenex form of formulas. Gödel's theorems. Aristoteles logic.
- Syllabus (in Czech)
- - Úvod do logiky, symbolický jazyk, speciální a logické symboly.
- Výroková logika. Jazyk výrokové logiky (abeceda a gramatika). Definice spojek výrokové logiky převod z přirozeného jazyka do symbolického jazyka výrokové logiky. Sémantika výrokové logiky: pravdivostní ohodnocení, tautologie, kontradikce, splnitelnost; výrokově logické vyplývání; sémantické metody výrokové logiky, rozhodnutelnost problému logické pravdivosti. Úplný systém spojek výrokové logiky: věta o reprezentaci; normální formy formulí výrokové logiky; věty o funkční úplnosti; logické důsledky množiny formulí.
- Predikátová logika prvního řádu. Správné úsudky, které nelze analyzovat na základě výrokové logiky. Jazyk predikátové logiky 1. řádu. Volné a vázané proměnné, substituovatelnost termů za proměnné. Sémantika predikátové logiky 1. řádu. Převod z přirozeného jazyka do symbolického jazyka predikátové logiky. Splnitelnost formulí, logická pravdivost, kontradikce. Logické vyplývání. Tautologie predikátové logiky 1. řádu. Tradiční Aristotelova logika.
- - Úvod do logiky, symbolický jazyk, speciální a logické symboly.
- Literature
- recommended literature
- Švejdar, V. Logika: neúplnost, složitost a nutnost. Praha, Academia, 2002. info
- Sochor, A. Klasická matematická logika. Praha, Univerzita Karlova, 2001. info
- Štěpánek, P. Matematická logika. Prraha, Univerzita Karlova, 2000. info
- Jirků, P., Vejnarová, V. Neformální výklad základů formální logiky. VŠE Praha, 2000. URL info
- Lukasová, A.:. Logické základy umělé inteligence I. Ostrava, 1999. info
- Gahér, F. Logika pro každého. Bratislava, IRIS, 1998. info
- Gahér, F. Logické hádanky a paradoxy. Bratislava, IRIS, 1997. info
- Štěpán, J. Logika a logické systémy. Olomouc, Votobia, 1992. info
- Manna, Z. Matematická teorie programů. Praha, SNTL, 1981. info
- Language of instruction
- Czech
- Further Comments
- The course can also be completed outside the examination period.
- Enrolment Statistics (Summer 2012, recent)
- Permalink: https://is.slu.cz/course/fpf/summer2012/UIN1007