PředmětyPředměty(verze: 945)
Předmět, akademický rok 2020/2021
   Přihlásit přes CAS
Logika - OB2310101
Anglický název: Logic
Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
Fakulta: Pedagogická fakulta
Platnost: od 2013
Semestr: oba
E-Kredity: 2
Rozsah, examinace: 0/2, KZ [HT]
Počet míst: zimní:neurčen / neurčen (999)
letní:neurčen / neurčen (999)
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Stav předmětu: nevyučován
Jazyk výuky: čeština
Způsob výuky: prezenční
Způsob výuky: prezenční
Poznámka: předmět je možno zapsat mimo plán
povolen pro zápis po webu
při zápisu přednost, je-li ve stud. plánu
předmět lze zapsat v ZS i LS
Garant: doc. RNDr. Antonín Jančařík, Ph.D.
Třída: Matematika 1. cyklus - povinné
Výsledky anket   Termíny zkoušek   Rozvrh   Nástěnka   
Anotace -
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (21.02.2009)
Předmět se zabývá základy klasického výrokového počtu, jeho axiomatikou, sémantikou a metodami odvozování a dokazování. Do kurzu je zařazen i stručný úvod do modální výrokové logiky a seznámení s nerozhodnutelnými tvrzeními - Gödelovy věty.
Cíl předmětu -
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (29.10.2008)

Cílem předmětu je seznámit studenty se základy klasického výrokového počtu, především s jeho axiomatikou a sémantikou

a základními charakteristikami. Důraz je kladen především na odvozování a dokazování.

Literatura -
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (29.10.2008)

Sochor, Klasická matematická logika. Praha : Karolinum 2001.

Peregrin, Logika a logiky. Praha : Academia 2004.

Smullyan, Navěky nerozhodnuto. Praha : Academia 2003.

Barwise, Handbook of Mathematical logic. Nort-Holland, 1977.

Metody výuky -
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (29.10.2008)

Seminář.

Požadavky ke zkoušce
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (07.02.2012)

Docházka, aktivní účast a seminární práce.

Sylabus -
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (29.10.2008)

Výrok. Výrokový počet.

Logické operace. Vlastnosti logických operací.

Souvislost s teorií množin. Booleova algebra.

Matematické důkazy.

Modální výroková logika.

Nerozhodnutelná tvrzení - Gödelovy věty.

 
Univerzita Karlova | Informační systém UK