Schedule

Summer Semester  2017/18

Most of the courses take place in Celetná 20. To get to room number 137, take the steps from the main entrance in Celetná to the first floor, then go right and take the back stairs to the third floor. The courses taught in both of our rooms can be found at the following links: 119119b a 137. Additionally the following links show suggested schedules according to the curricula (not including elective courses):

1st year bachelor courses

2nd year bachelor courses

3rd year bachelor courses

Master courses

Notes

  • prof. Krajíček will teach a course on Proof complexity and P vs. NP (see his web page). The course should be accessible to dedicated undergraduates.
  • dr. Noguerra (et al.) will teach the course Logic for computer science at the Faculty of Nuclear Engineering; students of logic are more than welcome to participate; the course will be taught in English
  • dr. Punčochář offers the course Frege od A do Z II (AFS100705) which will take place on Tuesday 9:10 (seminar), 12:30 (lecture) in room #217 in the main building of the faculty. The course will focus on Frege's philosophy of mathematics.
  • The Seminar in applied mathematical logic will take place at the Institute of Computer Science in Ládví in the meeting room on the second floor every Wednesday from 10 am. The schedule for the seminar is sent out via e-mail. To receive the announcements please contact Dagmar Harmancová.
  • Logic seminar – students can choose either of the following seminars: Logický seminář at the Institute of Mathematics of the Czech Academy of Sciences (prof. Pudlák), Baby logic  (prof. Krajíček), SEDMA (doc. Šolcová), Seminář z didaktiky matematiky (doc. Zhouf), Prague Set Theory seminar (dr. Chodounský),  Thursday CTS seminar (dr. Trlifajová) a Philosophical problems of Computer Science (dr. Krýsl MFF UK). To attend either of the seminars, please contact the respective organizers (given in parentheses). In the SIS students sign up for the course Logický seminář (at the Faculty of Arts). Credits will be asigned by the head of the department.
  • If there is interest, dr. Verner will teach an elective course of Descriptive Set Theory.  Knowledge of set theory, general topology and metric spaces will be assumed (should be covered by the course Introduction to general topology) and logic will be assumed. The course will be taught in English and should be accessible to advanced bachelor students. Students wishing to attend, please contact dr. Verner by e-mail at jonathan.verner@ff.cuni.cz.

Winter Semester  2017/18

Most of the courses take place in Celetná 20. To get to room number 137, take the steps from the main entrance in Celetná to the first floor, then go right and take the back stairs to the third floor. The courses taught in both of our rooms can be found at the following links: 119119b a 137. Additionally the following links show suggested schedules according to the curricula (not including elective courses):

1st year bachelor courses

2nd year bachelor courses

3rd year bachelor courses

Master courses

Notes

  • Courses taught by dr. Savický (Výpočetní modely, Computational complexity) will be taught in consultation form
  • Dr. Alena Vencovská (Manchester University) will give a course on Pure Inductive Logic in the winter semester.
  • The Seminar in applied mathematical logic will take place at the Institute of Computer Science in Ládví in the meeting room on the second floor every Wednesday from 10 am. The schedule for the seminar is sent out via e-mail. To receive the announcements please contact Dagmar Harmancová.
  • Logic seminar – students can choose either of the following seminars: Logický seminář at the Institute of Mathematics of the Czech Academy of Sciences (prof. Pudlák), Baby logic  (prof. Krajíček), SEDMA (doc. Šolcová), Seminář z didaktiky matematiky (doc. Zhouf), Prague Set Theory seminar (dr. Chodounský),  Thursday CTS seminar (dr. Trlifajová) a Philosophical problems of Computer Science (dr. Krýsl MFF UK). To attend either of the seminars, please contact the respective organizers (given in parentheses). In the SIS students sign up for the course Logický seminář (at the Faculty of Arts). Credits will be asigned by the head of the department.
  • Dr. Verner will teach the elective courses Forcing and Introduction to general topology in the winter semester. The second of these is a prerequisite for the summer semester course in Descriptive Set theory. Both courses are taught in English and should be accessible also to advanced bachelor students (knowledge of basic set theory, ordinals and cardinals is required).

Selection of Elective Courses

The courses in the table below count towards the Compulsory Elective Course credit requirements. See also the list of all courses taught at the department.

Instructor     CourseDayTimeRoomSIS CodeType Credits
A. VencovskáPure Inductive LogicM14:10-15:40C119bALGV00057Zk5
Havel, I. M.Přirozené a umělé myšlení I.W14:30–16:00CTS seminar room (Husova 4, 3rd floor)NPOZ004Zk3
J. KrajíčekStudentský logický seminářW15:40-17:20Room K3 (Sokolovská 83, 3rd room)

NALG050



Chodounský, D.

Prague Set Theory seminarW11:00–14:00Institute of Mathematics (Žitná 25, front building, 3rd floor)NLTM034Z3
Bílková, M., Cintula, P.Seminar in applied mathematical logicW10:00-11:30Seminar room of the Institute of Computer Science (room #318)ALG500011Zk6
Petkevič, V.Úvodní seminář matematické lingvistikyW16:40-18:10C119ALGV00050Z,Z8
C. NoguerraIntroduction to Algebraic LogicTu15:00 - 16:35C119ALG110025Zk5