SubjectsSubjects(version: 978)
Course, academic year 2025/2026
   Login via CAS
   
Seminar on Logic II - NAIL080
Title: Logický seminář II
Guaranteed by: Department of Algebra (32-KA)
Faculty: Faculty of Mathematics and Physics
Actual: from 2023
Semester: summer
E-Credits: 3
Hours per week, examination: summer s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: English
Teaching methods: full-time
Additional information: https://www.math.cas.cz/index.php/events/seminar/5
Note: you can enroll for the course repeatedly
Guarantor: prof. RNDr. Jan Krajíček, DrSc.
Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D.
Teacher(s): Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D.
prof. RNDr. Jan Krajíček, DrSc.
Class: Informatika Mgr. - volitelný
Classification: Informatics > Theoretical Computer Science
Annotation -
Continuation of Logic seminar I
Last update: G_I (31.05.2004)
Course completion requirements

At least one seminar presentation (90 min) during the semester.

Last update: Krajíček Jan, prof. RNDr., DrSc. (06.02.2018)
Syllabus -

The particular theme will be decided at the start of each semester.

Last update: Krajíček Jan, prof. RNDr., DrSc. (09.02.2007)
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html