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
doc. RNDr. Jiří Kaďourek, CSc.
Departments – Faculty of Science
Contact Person: doc. RNDr. Jiří Kaďourek, CSc.
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.
  • Enrolment Statistics (Autumn 2003, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2003/MA034