Logika - OKB1310N02

• Anglický název: Logic
• Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Fakulta: Pedagogická fakulta
• Platnost: od 2022
• Semestr: zimní
• E-Kredity: 4
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:0/0, Zk [HS]
• Rozsah za akademický rok: 9 [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: kombinovaný
• Způsob výuky: kombinovaný
• 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é
• Prerekvizity : OKB2310008
• Záměnnost : OKB2310257

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 exkurz do metod zkoumání logického myšlení.

Poslední úprava: Zavřel Karel, Mgr. Bc. (07.10.2016)

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 exploring logical thinking is also included.

Poslední úprava: Zavřel Karel, Mgr. Bc. (07.10.2016)

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 (27.06.2012)

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 (27.06.2012)

Literatura

čeština

Sochor, Logika pro všechny ochotné myslet. Praha : Karolinum 2011.

Smullyan, Jak se jmenuje tahle knížka? Praha : Mladá fronta 1986 (nebo Praha : Portál 2015).

Bendová, Sylogistika. Praha : Karolinum 1998.

Peregrin, Logika a logiky. Praha : Academia 2004.

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

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

Poslední úprava: Zavřel Karel, Mgr. Bc. (07.10.2016)

Metody výuky

čeština

Seminář.

V případě omezení prezenční výuky budou ve stanovených časech probíhat on-line setkání. Od studentů se očekává, že budou mít technické vybavení, které jim umožní se zapojovat do diskuze (mikrofon a kameru).

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

angličtina

Seminar.

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

Požadavky ke zkoušce

čeština

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

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

angličtina

The course is taught only in Czech, so the requirements are only in Czech.

Poslední úprava: Jančařík Antonín, doc. RNDr., Ph.D. (29.10.2019)

Sylabus

čeština

Sylogismus. Sylogistika.

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.

Poslední úprava: Zavřel Karel, Mgr. Bc. (07.10.2016)

angličtina

Syllogism. Syllogistics.

Proposition. Propositional calculus.
Logic operations and their properties.
Connection to set theory. Boolean algebra.
Mathematical proofs.
Modal propositional logic.

Poslední úprava: Zavřel Karel, Mgr. Bc. (07.10.2016)