Předmět Logika (KIK / BPLOG)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KIK / BPLOG - Logika, Pedagogická fakulta, Ostravská univerzita v Ostravě (OU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
Předmět logiky, deduktivní úsudky.Definice jazyka výrokové logiky, převod z přirozeného jazyka do symbolického jazyka výrokové logiky.Tautologie, kontradikce, splnitelná formule.Metoda pravdivostní tabulky, metoda ekvivalentních úprav.Rezoluční pravidlo.Systém přirozené dedukce, Hilbertův kalkul.Sémantika predikátové logiky.Kvantifikátory.Tautologie predikátové logiky, ověřování platnosti tautologií predikátové logiky.Opakování.
Získané způsobilosti
Student získá:- znalost základních pojmů výrokové a predikátové logiky,- schopnost pracovat s formulemi výrokové logiky jak s použitím sémantického výkladu, tak v systému přirozené dedukce,- znalost sémantického výkladu predikátové logiky,- schopnost podat formální důkaz úsudků,- kompetence - řešit problémy,- kompetence - logické myšlení.
Literatura
Smullyan, R. Jak se jmenuje tato knížka? Mladá fronta. Praha, 1986. Duží, M. Matematická logika. Ostrava: VŠB-TU, 2003. Nagyová, I. Základy logiky. Ostrava: Ostravská univerzita, 2005. ISBN 80-7368-125-0.
Požadavky
- docházka na přednášky- samostatné řešení sady příkladů k jednotlivým tematickým okruhům- samostudium- 3 krátké písemné testy- písemná zkouška- Absolvování tří krátkých písemných testů (min 3x5, max. 3x15 bodů);- Absolvování závěrečného test (min. 20, max. 55 bodů);- Získání celkem min. 51 bodů.100 - 51 bodů - započtěno50 - 0 bodů - nezapočteno
Garant
Ing. Michal Burda, Ph.D.
Vyučující
Ing. Michal Burda, Ph.D.Ing. Ondřej Takács, Ph.D.