Logika - OKBM1M134A

• Anglický název: Logic
• Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Fakulta: Pedagogická fakulta
• Platnost: od 2018 do 2021
• Semestr: zimní
• E-Kredity: 3
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:0/0, Zk [HT]
• Rozsah za akademický rok: 8 [hodiny]
• Počet míst: neurčen / neurčen (20)
• 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: kombinovaný
• Způsob výuky: kombinovaný
• Je zajišťováno předmětem: OKB1310N02
• 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 : OKBM1M106A

Anotace

čeština

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

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

angličtina

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

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.

Cíl předmětu

čeština

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

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

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: Mgr. Bc. Karel Zavřel (07.10.2016)

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.

Metody výuky

čeština

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

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

angličtina

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

Seminar.

Požadavky ke zkoušce

čeština

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

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

angličtina

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

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

Sylabus

čeština

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

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.

angličtina

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

Syllogism. Syllogistics.

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