Seminar on Logic II - NAIL080

• Title: Logický seminář II
• Guaranteed by: Department of Algebra (32-KA)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2014 to 2015
• 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
• Teaching methods: full-time
• Additional information: http://www.karlin.mff.cuni.cz/~krajicek/logika.html
• Note: you can enroll for the course repeatedly
• Guarantor: prof. RNDr. Jan Krajíček, DrSc.; Neil Thapen
• Class: Informatika Mgr. - volitelný
• Classification: Informatics > Theoretical Computer Science

Annotation

English

Last update: G_I (31.05.2004)

Continuation of Logic seminar I

Czech

Last update: G_I (31.05.2004)

Pokracovani semináře AIL056 Logický seminář I

Syllabus

English

Last update: prof. RNDr. Jan Krajíček, DrSc. (09.02.2007)

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

Czech

Last update: prof. RNDr. Jan Krajíček, DrSc. (09.02.2007)

Konkrétní temata budou upřesněny vždy na začátku semestru.