Logika - OKB2310257

• Anglický název: Logic
• Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Fakulta: Pedagogická fakulta
• Platnost: od 2010 do 2012
• 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: 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; při zápisu přednost, je-li ve stud. plánu
• Garant: doc. RNDr. Jaroslav Zhouf, Ph.D.
• Vyučující: prof. RNDr. Ladislav Kvasz, DSc., Dr.
• Třída: Matematika 1. cyklus - povinné
• Je korekvizitou pro: OKB1310003

Anotace

čeština

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.

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

angličtina

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.

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

Cíl předmětu

čeština

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: JANCARIK/PEDF.CUNI.CZ (04.06.2010)

angličtina

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.

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

Literatura

čeština

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.

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

Metody výuky

čeština

Seminář.

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

angličtina

Seminar.

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

Požadavky ke zkoušce

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

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

Sylabus

čeština

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.

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

angličtina

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.

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