SubjectsSubjects(version: 964)
Course, academic year 2024/2025
   Login via CAS
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
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 - Czech
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.
Last update: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
Aim of the course - Czech

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

Last update: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
Descriptors - Czech
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
Last update: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
Literature - Czech

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.

Last update: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
Teaching methods - Czech

Seminář

Last update: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
Requirements to the exam - Czech

Aktivní účast na semináři.

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

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.

Last update: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html