Logika - OKB2310257

• Anglický název: Logic
• Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Fakulta: Pedagogická fakulta
• Platnost: od 2019
• Semestr: zimní
• E-Kredity: 2
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:0/0, Z [HS]
• Rozsah za akademický rok: 4 [hodiny]
• Počet míst: 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
• Garant: prof. RNDr. Ladislav Kvasz, DSc., Dr.
• Třída: Matematika 1. cyklus - povinné
• Je korekvizitou pro: OKB1310003
• Je záměnnost pro: OKB1310N02

Anotace

čeština

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

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.

angličtina

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

The course focuses on the basics of classical propositional calculus, its axiomatics, semantics, and methods of inference and proof theory. A brief introduction to modal propositional calculus is also included, and Gödel's theorems (undecidable propositions) are mentioned.

Cíl předmětu

čeština

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

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

angličtina

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

The goal is to introduce the basics of classical propositional calculus, especially its axiomatics and semantics, and main characteristics. The practice in inference and proofs is emphasized.

Literatura

čeština

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

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

čeština

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

Seminář.

angličtina

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

Seminar.

Požadavky ke zkoušce

Poslední úprava: ZHOUF/PEDF.CUNI.CZ (07.02.2012)

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

Sylabus

čeština

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

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.

angličtina

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

Proposition. Propositional calculus.

Logic operations and their properties.

Connection to set theory. Boolean algebra.

Mathematical proofs.

Modal propositional logic.

Undecidable propositions - Gödel's theorems.