FPF:UIN1007 Úvod do logiky - Informace o předmětu

UIN1007 Úvod do logiky

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í)
Mgr. Marek Menšík, 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

předmět má 8 mateřských oborů, zobrazit

Cíle předmětu

Obsahem předmětu je výroková logika a predikátová logika prvího řádu.

Osnova

• - Ú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.

Literatura

doporučená literatura
• Š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

Další komentáře

Předmět je dovoleno ukončit i mimo zkouškové období.

• Statistika zápisu (léto 2013, nejnovější)
  
• Permalink: https://is.slu.cz/predmet/fpf/leto2013/UIN1007