Logic - OPBM1M134A

• Title: Logika
• Guaranteed by: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Faculty: Faculty of Education
• Actual: from 2022
• Semester: winter
• E-Credits: 3
• Examination process: winter s.:
• Hours per week, examination: winter s.:2/0, Ex [HT]
• Capacity: unknown / unknown (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Is provided by: OKBM1M134A
• Note: course can be enrolled in outside the study plan; enabled for web enrollment; priority enrollment if the course is part of the study plan
• Guarantor: prof. RNDr. Ladislav Kvasz, DSc., Dr.
• Pre-requisite : OPBM1M106A

Annotation

Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (16.09.2022)

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é seznámení s nerozhodnutelnými tvrzeními - Gödelovy věty.

Aim of the course

Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (16.09.2022)

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

Descriptors

Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (16.09.2022)

Příprava na výuku
Doba očekávané přípravy na 1semináře	25 minut
Samostudium literatury (za semestr)	45 hodin
Práce se studijními materiály (za semestr)	12 hodin
Plnění průběžných úkolů (za semestr)	0 hodin
Plnění předmětu
Příprava na zkoušku a zkouška	25 hodin

Literature

Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (16.09.2022)

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.

Kleene: Mathematical logic, John Wiley 1967.

Teaching methods

Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (16.09.2022)

Seminář

Requirements to the exam

Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (16.09.2022)

Aktivní účast na semináři.

Syllabus

Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (16.09.2022)

Výrok. Výrokový počet.

Logické operace.

Vlastnosti logických operací.

Souvislost s teorií množin.

Booleova algebra.

Matematické důkazy.

Predikátový počet.

Nerozhodnutelná tvrzení - Gödelovy věty.