SubjectsSubjects(version: 945)
Course, academic year 2023/2024
   Login via CAS
Logic - OB1310N002
Title: Logika
Guaranteed by: Katedra matematiky a didaktiky matematiky (41-KMDM)
Faculty: Faculty of Education
Actual: from 2022
Semester: winter
E-Credits: 4
Examination process: winter s.:
Hours per week, examination: winter s.:2/0, Ex [HT]
Capacity: unknown / unknown (999)
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: not taught
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Is provided by: OKB1310N02
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.
Class: Matematika 1. cyklus - povinné
Pre-requisite : OB2310008
Annotation -
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)
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.
Aim of the course -
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.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.

Literature -
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)

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.

Teaching methods -
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)

Seminar.

Requirements to the exam - Czech
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)

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

Syllabus -
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)

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.

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html