FI:MA034 Practising Mathematical Logic

MA034 Practising Mathematical Logic

Faculty of Informatics
Autumn 2003

Extent and Intensity

0/1. 1 credit(s) (plus extra credits for completion). Type of Completion: z (credit).

Teacher(s)

doc. RNDr. Jiří Kaďourek, CSc. (lecturer)

Guaranteed by

Timetable

Thu 10:00–10:50 B003

Prerequisites

! M034 Practising Mathematical Logic && NOW( MA007 Mathematical Logic )
It is necessary to enroll simultaneously into the lecture MA007 Mathematical Logic.

Course Enrolment Limitations

The course is only offered to the students of the study fields the course is directly associated with.

fields of study / plans the course is directly associated with

there are 7 fields of study the course is directly associated with, display

Course objectives

Recommended seminar complementing the lecture MA007 Mathematical Logic.

Syllabus

The contents of the seminar consists of problems and exercises illustrating and developping further the themes constituting the lecture MA007 Mathematical Logic.

Literature

LAVROV, I. A. and L. L. MAKSIMOVA. Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov. Moskva: Nauka, 1984, 223 s. info

Assessment methods (in Czech)

Cvičení.

Language of instruction

Czech

Further comments (probably available only in Czech)

The course is taught annually.

The course is also listed under the following terms Autumn 2002, Autumn 2004.