Subjects

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

Introduction to logic - OPBZ0M131C

Title:	Úvod do logiky
Form of teaching:	lecture
Guaranteed by:	Katedra matematiky a didaktiky matematiky (41-KMDM)
Faculty:	Faculty of Education
Actual:	from 2019 to 2021
Duration in semesters:	1
Semester:	winter
E-Credits:	2
Examination process:	winter s.:
Hours per week, examination:	winter s.:1/0, Ex [HT]
Capacity:	unknown / unknown (unknown)
Maximum number of enrolled students:	unlimited
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:	OPBM1M106A
Repeated enrollment:	2 / 2 / 3 / 2
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.

Opinion survey results WS schedule Noticeboard

Annotation -

The course deals with the basics of classical logic, its semantics and methods of derivation. The course includes a brief introduction to propositional calculus and predicate calculus.

Last update: Jančařík Antonín, prof. RNDr., Ph.D. (29.10.2019)

Aim of the course -

The aim of the course is to acquaint students with the basic concepts of classical logic, especially its semantics and basic methods of derivation. Emphasis is placed on analysis of concrete examples and analysis of logical paradoxes.

Last update: Jančařík Antonín, prof. RNDr., Ph.D. (29.10.2019)

Literature -

Graham Priest: Logika, průvodce pro každého. Dokořán 2007.

Raymond M. Smullyan: Jak se jmenuje tahle knížka? Mladá Fronta 1986.

Jan Svatek a Ludmila Dostálová: Logika pro humanistiku. Dobrá voda 2003.

Prokop Sousedík: Logika pro studenty humanitních oborů. Vyšehrad 2001.

Herbert B. Enderton: A mathematical introduction to logic. Harcourt Academic Press 2001.

Last update: Jančařík Antonín, prof. RNDr., Ph.D. (29.10.2019)

Teaching methods - Czech

Přednáška

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

Course assessment methods and requirements for successful completion, grading scheme -

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

Last update: Jančařík Antonín, prof. RNDr., Ph.D. (29.10.2019)

Syllabus - Czech

Platné a neplatné úsudky.

Pravdivostní tabulky jednotlivých logických spojek.

Jména a kvantifikátory.

Deskripce a existence.

Implikace a vyplývání.

Vágnost v jazyce.

Pravděpodobnost.

Historie logiky.

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