FPFVA041 Introduction to Logic

Filozoficko-přírodovědecká fakulta v Opavě
léto 2021
Rozsah
0/1/0. 5 kr. Ukončení: z.
Vyučující
doc. RNDr. Luděk Cienciala, Ph.D. (cvičící)
Garance
doc. RNDr. Luděk Cienciala, Ph.D.
Filozoficko-přírodovědecká fakulta v Opavě
Předpoklady
TYP_STUDIA(N)
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á 51 mateřských oborů, zobrazit
Cíle předmětu
The course is aimed to propositional logic and first order predicate logic.
Osnova
  • 1. Introduction to logic – propositions, arguments, deductive and inductive arguments, validity and truth
  • 2. Symbolic logic – symbols for conjunction, disjunction, negation, conditional and biconditional statement
  • 3. Propositional logic – truth function, tautology, contradiction, satisfiable formula, the Short-cut truth table method, the Truth tree (tableau) method
  • 4. Propositional logic – normal forms of propositions
  • 5. Propositional logic – resolution
  • 6. Propositional logic – deductive proofing in Hilbert and Gentzen axiom systems
  • 7. Predicate logic – syntax and semantic
  • 8. Predicate logic – representation, free and bounded variables
  • 9. Predicate logic – interpretation and inferences
  • 10. Predicate logic – unification, resolution
Literatura
    povinná literatura
  • HODEL, Richard E. An introduction to mathematical logic. Reprint. Dover Publications, 2013. info
  • ing M. Copi, Carl Cohen, Kenneth McMahon. Introduction to Logic. Routledge, 2013. ISBN 9780205820375. info
    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
Výukové metody
Interactive lecture
Lecture with a video analysis
Metody hodnocení
Zkouška
Informace učitele
Zápočet: Studenti denního studia píšou na cvičení dva zápočtové testy - 20 bodů každý.
Zkouška: Celkem za zkoušku může student získat 60 bodů. Pro úspěšné absolvování studenti potřebují získat 30 bodů. Známka pro prezenční studium je určena součtem bodů za zkoušku a z testů, které student psal v průběhu semestru ve cvičení. Známka pro kombinované studium se určí z bodů získaných ze zkouškového testu.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.slu.cz/predmet/fpf/leto2021/FPFVA041