Logika - OPBM1M134A

• Anglický název: Logic
• Podoba výuky: přednáška
• Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Fakulta: Pedagogická fakulta
• Platnost: od 2022
• Počet semestrů výuky: 1
• Semestr: zimní
• E-Kredity: 3
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/0, Zk [HT]
• Počet míst: neurčen / neurčen (neurčen)
• Maximální kapacita předmětu: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Forma uskutečňování: prezenční
• Je zajišťováno předmětem: OKBM1M134A
• Možnost opakovaného zápisu: 2 / 2 / 3 / 2
• 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
• Garant: prof. RNDr. Ladislav Kvasz, DSc., Dr.
• Prerekvizity : OPBM1M106A

Anotace

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é seznámení s nerozhodnutelnými tvrzeními - Gödelovy věty.

Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)

Cíl předmětu

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í.

Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)

Deskriptory

Příprava na výuku
Doba očekávané přípravy na 1semináře	25 minut
Samostudium literatury (za semestr)	45 hodin
Práce se studijními materiály (za semestr)	12 hodin
Plnění průběžných úkolů (za semestr)	0 hodin
Plnění předmětu
Příprava na zkoušku a zkouška	25 hodin

Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)

Literatura

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.

Kleene: Mathematical logic, John Wiley 1967.

Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)

Metody výuky

Seminář

Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)

Kontroly studia předmětu a podmínky pro jejich úspěšné vykonání, způsob hodnocení

Aktivní účast na semináři.

Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)

Sylabus

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

Logické operace.

Vlastnosti logických operací.

Souvislost s teorií množin.

Booleova algebra.

Matematické důkazy.

Predikátový počet.

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

Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)