Cvičení z logiky II - ALG119010

• Anglický název: Logic exercise II
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2019
• Semestr: letní
• Body: 0
• E-Kredity: 4
• Způsob provedení zkoušky: letní s.:
• Rozsah, examinace: letní s.:0/2, Z [HT]
• Počet míst: neurčen / neomezen (neurčen)
• 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
• 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
• Garant: Mgr. Šárka Stejskalová, Ph.D.
• Vyučující: RNDr. Filip Jankovec

Anotace

Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (21.03.2020)

Cvičení z logiky je seminářem k přednášce základy výrokové a predikátové logiky. V semináři se student blíže seznámí se základními pojmy definovanými v přednášce.

Literatura

Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (06.01.2021)

V. Švejdar, Logika, neúplnost, složitost a nutnost. Academia, Praha, 2002.
A. Sochor, Klasická matematická logika. Karolinum, Praha, 2001.

Sylabus

Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (06.01.2021)

• Substituce, platnost formule ve struktuře, logický důsledek (vyplývání) a logicky platná formule
• Prenexní normální tvar
• Hilbertovský predikátový kalkulus, axiomy a odvozovací pravidla
• Modely a teorie
• Věta o kompaktnosti