SZk1234a Logic

Pedagogická fakulta
podzim 2013
Rozsah
0/0/4. 4 hodiny. 2 kr. Ukončení: z.
Vyučující
doc. Ing. Jiří Strach, CSc. (přednášející)
Garance
doc. RNDr. Petr Sládek, CSc.
Katedra fyziky, chemie a odborného vzdělávání – Pedagogická fakulta
Kontaktní osoba: Mgr. Bc. Lucie Viková
Dodavatelské pracoviště: Katedra fyziky, chemie a odborného vzdělávání – Pedagogická fakulta
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
Cíle předmětu
To acquaint students with the basic ideas of logic as the basis of general methodology of science. Formal Languages conjunction disjunction implication General Equivalence and existential quantifiers, predicate logic The class logic. Methodology of Empirical science , Methodology of Social Sciences, Methodology of Mathematical Sciences
Osnova
  • 1. To acquaint students with the basic ideas of logic as the basis of general methodology of science. 2. Formal Languages 3. Conjunction 4. Disjunction 5. Implication 6. General Equivalence and existential quantifiers 7. Predicate logic 8. The class logic 9. Methodology of empirical science 10.Methodology of Social Sciences 11.Methodology of Mathematical Sciences
Literatura
    povinná literatura
  • SUPPES, Patrick. Introduction to logic. 11th print. Princeton: D. Van Nostrand company, Inc., 1968, xviii, 312. info
    doporučená literatura
  • KAHANE, Howard a Nancy CAVENDER. Logic and contemporary rhetoric :the use of reason in everyday life. 8th ed. Belmont: Wadsworth Publishing Company, 1998, xii, 369 s. ISBN 0-534-52470-2. info
  • SPIVEY, Michael. An introduction to logic programming through Prolog. London: Prentice-Hall, 1996, x, 251 s. ISBN 0-13-536047-1. info
  • Introduction to logic. Edited by Irving M. Copi. 7. ed. New York: Macmillan, 1986, 617 s. ISBN 0023250208. info
  • JOSEPH, H. W. B. An introduction to logic. 2. ed., revised. Oxford: Clarendon Press, 1906, 608 s. info
    neurčeno
  • NAGEL, Ernest a Morris Raphael COHEN. An introduction to logic and scientific method. London: Routledge, 1966, xiv, 467. info
Výukové metody
lectures, class discussion,
Metody hodnocení
written tests
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá blokově.
Předmět je zařazen také v obdobích podzim 2011, podzim 2012, podzim 2014, podzim 2015, podzim 2016, podzim 2017, podzim 2018, podzim 2019, podzim 2020, podzim 2021, podzim 2022, podzim 2023, podzim 2024.