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 2009 to 2010
Semester:	summer
E-Credits:	5
Examination process:	summer s.:
Hours per week, examination:	summer s.:2/2, Ex [HT]
Capacity:	unlimited / unlimited (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
Note:	course can be enrolled in outside the study plan enabled for web enrollment

Guarantor:	Mgr. Tomáš Holeček, Ph.D.
Teacher(s):	Mgr. Tomáš Holeček, Ph.D.

Examination dates Schedule Noticeboard

Annotation -

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

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.

Aim of the course -

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

Introduction to formal logic, critical thinking and mathematics.

Literature -

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

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.

Teaching methods -

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

Lectures, seminars, tutorial.

Requirements to the exam - Czech

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

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)

Syllabus -

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

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