MA2BP_CUM2 Úvod do studia matematiky 2

Pedagogická fakulta
jaro 2008
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
Rozvrh seminárních/paralelních skupin
MA2BP_CUM2/01: Čt 14:20–16:00 učebna 32, K. Lepka
MA2BP_CUM2/02: Čt 16:10–17:50 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
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.
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 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2017, jaro 2018.