MA034 Practising Mathematical Logic

Faculty of Informatics
Autumn 2004
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)
prof. RNDr. Luboš Brim, CSc. (assistant)
Guaranteed by
doc. RNDr. Jiří Kaďourek, CSc.
Departments – Faculty of Science
Contact Person: doc. RNDr. Jiří Kaďourek, CSc.
Timetable
Tue 18:00–18:50 B003
  • Timetable of Seminar Groups:
MA034/01: No timetable has been entered into IS. J. Kaďourek
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 2003.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2004/MA034