Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Logic - OPBM1M134A

Title:	Logika
Guaranteed by:	Katedra matematiky a didaktiky matematiky (41-KMDM)
Faculty:	Faculty of Education
Actual:	from 2019 to 2019
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:	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.
Pre-requisite :	OPBM1M106A

Opinion survey results Examination dates WS schedule Noticeboard

Annotation -

Last update: 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.

Aim of the course -

Last update: 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.

Literature -

Last update: 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.

Teaching methods -

Last update: JANCARIK/PEDF.CUNI.CZ (27.06.2012)

Seminar.

Requirements to the exam -

Last update: 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.

Syllabus -

Last update: 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.