Subjects

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

Introduction to Logic and Mathematics - JSB035

Title:	Základy logiky a matematiky
Guaranteed by:	Department of Sociology (23-KS)
Faculty:	Faculty of Social Sciences
Actual:	from 2016
Semester:	summer
E-Credits:	4
Examination process:	summer s.:
Hours per week, examination:	summer s.:3/2, Ex [HT]
Capacity:	unknown / unknown (unknown)
Min. number of students:	unlimited
4EU+:	no
Virtual mobility / capacity:	no
State of the course:	not taught
Language:	Czech
Teaching methods:	full-time
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. Jan Hendl, CSc. PhDr. Ing. Petr Soukup, Ph.D.
Incompatibility :	JSB536
Interchangeability :	JSB536
Is incompatible with:	JSB536

Examination dates Schedule Noticeboard

Annotation -

The course introduces to main concepts and skills of modern symbolic logic and foundations of mathematics (e.g. concepts of first order language, structure and set, and skills of using analytical tableaux and creating models and isomorphisms). It also introduces to non-formal logic.

Last update: Holeček Tomáš, Mgr., Ph.D. (17.03.2008)

Aim of the course -

Introduction to formal logic, critical thinking and mathematics.

Last update: Holeček Tomáš, Mgr., Ph.D. (10.04.2008)

Literature -

Schopenhauer, A.: Eristická dialektika.

Copi, I. M., Cohen, C.: Introduction to Logic, 12. ed. Pearson-Prentice Hall 2005.

Howson, C.: Logic with Trees. Routledge 1997.

Jauris, M., Berka, K.: Logika. SPN, Praha 1978.

Švejdar, V.: Logika, neúplnost, složitost a nutnost. Academia, Praha 2002.

Tarski, A.: Úvod do logiky. Academia, Praha 1969.

Bell, J., Machover, M.: A Course in Mathematical Logic. North-Holland, 1977.

Carroll, L.: Symbolic Logic and the Game of Logic. Dover Pubns, 1958.

http://www.ojrech.cz/logika.

Last update: Holeček Tomáš, Mgr., Ph.D. (23.02.2009)

Teaching methods -

Lectures, seminars, tutorial.

Last update: Holeček Tomáš, Mgr., Ph.D. (10.04.2008)

Requirements to the exam - Czech

Výsledná známka se skládá ze tří dílčích bodových hodnocení:

Domácí úlohy: 30 bodů (3x10)

Písemný test: 70 bodů (pro úspěšné absolvování kurzu je nutné získat minimálně 35 bodů z testu)

Dále je možné získat až 5 bodů za aktivitu na cvičení. Tyto body budou dopočítány k bodům za domácí úlohy.

Známkování:

100-85 bodů ... "výborně" (1)

84-70 bodů ... "velmi dobře" (2)

69-55 bodů ... "dobře" (3)

Last update: Žáček Jan, Mgr., Ph.D. (22.02.2016)

Syllabus -

Contents:

Symbolic Language

Analytical Tableaux

Sets

Structures and Models

Tautologies and Contradictions

Consistency and Following

Homeomorphism and Isomorphism

Using of Free Variables

Relations and Orderings

Non-Formal Logic

Last update: Holeček Tomáš, Mgr., Ph.D. (17.03.2008)