FPF:UIN1007 Úvod do logiky - Informace o předmětu
UIN1007 Úvod do logiky
Filozoficko-přírodovědecká fakulta v Opavěléto 2011
- Rozsah
- 2/2/0. 6 kr. Ukončení: zk.
- Vyučující
- doc. RNDr. Luděk Cienciala, Ph.D. (přednášející)
doc. RNDr. Lucie Ciencialová, Ph.D. (cvičící) - Garance
- doc. RNDr. Luděk Cienciala, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Aplikovaná matematika (program MU, B1101)
- Aplikovaná matematika pro řešení krizových situací (program MU, B1101)
- Aplikovaná matematika pro řešení krizových situací (program MU, B1102)
- Geometrie (program MU, M1101)
- Informatika a výpočetní technika (program FPF, B1801 Inf)
- Informatika a výpočetní technika (program FPF, M1801 Inf)
- Matematická analýza (program MU, M1101)
- Matematické metody v ekonomice (program MU, B1101)
- Obecná matematika (program MU, B1101)
- Teoretická fyzika (program FPF, M1701 Fyz)
- Učitelství informatiky pro střední školy (program FPF, M7504)
- Učitelství všeobecně vzdělávacích předmětů pro střední školy se specializací informatika (program FPF, M7504)
- Cíle předmětu
- Obsahem předmětu je výroková logika a predikátová logika prvího řádu.
- Další komentáře
- Předmět je dovoleno ukončit i mimo zkouškové období.
- Statistika zápisu (léto 2011, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/leto2011/UIN1007