MA2BP_CUM2 Úvod do studia matematiky 2

Pedagogická fakulta
jaro 2016
Rozsah
0/2/0. 2 kr. Ukončení: z.
Vyučující
RNDr. Karel Lepka, Dr. (cvičící)
Garance
doc. RNDr. Jaroslav Beránek, CSc.
Katedra matematiky – Pedagogická fakulta
Dodavatelské pracoviště: Katedra matematiky – Pedagogická fakulta
Rozvrh seminárních/paralelních skupin
MA2BP_CUM2/01: Čt 12:05–13:45 učebna 30, K. Lepka
MA2BP_CUM2/02: Út 10:15–11:55 učebna 32, K. Lepka
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
Na konci tohoto předmětu musí student dobře ovládat následující pojmy:Základní pojmy teorie vyjádření. Výroková logika. Predikátová logika. Booleova algebra a její modely.
Osnova
  • Základní pojmy teorie vyjádření. Vyjadřovací soustava. Zákony vývoje jazyka.Jazykové výrazy a jejich třídění.Konstanty a proměnné. Termy a formule. Výroková logika. Výrokotvorné funktory.Formule výrokové logiky. Predikátová logika. Predikáty jednomístné a vícemístné.Formule predikátové logiky. Numerické kvantifikátory.Množinový přístup k sylogistice. Booleova algebra a její modely.
Literatura
  • ODVÁRKO, Oldřich, Jaroslav ŠEDIVÝ a Emil CALDA. Metody řešení matematických úloh. 1. vyd. Praha: Státní pedagogické nakladatelství. 261 s. ISBN 8004204341. 1990. info
  • ODVÁRKO, Oldřich. Booleova algebra. 1. vyd. Praha: Mladá fronta. 115 s. 1973. URL info
Výukové metody
Cvičení. Řešení úloh a problémů.
Metody hodnocení
Písemná práce(50%).
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2017, jaro 2018.