Prof. RNDr. Jiří Zlatuška, CSc.
| Academic year 2013 - 2014 | |
|---|---|
| Faculty of Informatics | |
| Spring 2014 |  Digital Data Processing Methods (DMZDD, in Czech) |
| Lambda calculus (IA081, in English) | |
| Seminar on Information Society (IV057, in Czech) | |
| Autumn 2013 | Digital Data Processing Methods (DMZDD, in Czech) |
| Information Society (IV064, in Czech) | |
| Seminar on Information Society (IV057, in Czech) | |
| Academic year 2012 - 2013 | |
|---|---|
| Faculty of Informatics | |
| Spring 2013 | Digital Data Processing Methods (DMZDD, in Czech) |
| Seminar on Information Society (IV057, in Czech) | |
| Types and Proofs (IA038, in Czech) | |
| Autumn 2012 | Digital Data Processing Methods (DMZDD, in Czech) |
| Information Society (IV064, in Czech) | |
| Seminar on Information Society (IV057, in Czech) | |
| Academic year 2011 - 2012 | |
|---|---|
| Faculty of Informatics | |
| Spring 2012 | Digital Data Processing Methods (DMZDD, in Czech) |
| Lambda calculus (IA081, in English) | |
| Seminar on Information Society (IV057, in Czech) | |
| Autumn 2011 | Digital Data Processing Methods (DMZDD, in Czech) |
| Information Society (IV064, in Czech) | |
| Academic year 2010 - 2011 | |
|---|---|
| Faculty of Informatics | |
| Spring 2011 | Digital Data Processing Methods (DMZDD, in Czech) |
| Types and Proofs (IA038, in Czech) | |
| Autumn 2010 | Digital Data Processing Methods (DMZDD, in Czech) |
| Information Society (IV064, in Czech) | |
| Academic year 2009 - 2010 | |
|---|---|
| Faculty of Informatics | |
| Spring 2010 | Digital Data Processing Methods (DMZDD, in Czech) |
| Lambda calculus (IA081, in English) | |
| Autumn 2009 | Information Society (IV064, in Czech) |
| Academic year 2008 - 2009 | |
|---|---|
| Faculty of Informatics | |
| Spring 2009 | Lambda calculus (IA081, in English) |
| Autumn 2008 | Information Society (IV064, in Czech) |
| Academic year 2007 - 2008 | |
|---|---|
| Faculty of Informatics | |
| Spring 2008 | Lambda calculus (IA081, in English) |
| Autumn 2007 | Information Society (IV064, in Czech) |
| Academic year 2006 - 2007 | |
|---|---|
| Faculty of Informatics | |
| Autumn 2006 | Information Society (IV064, in Czech) |
| Academic year 2005 - 2006 | |
|---|---|
| Faculty of Informatics | |
| Spring 2006 | Types and Proofs (IA038, in Czech) |
| Autumn 2005 | Information Society (IV064, in Czech) |
| Academic year 2004 - 2005 | |
|---|---|
| Faculty of Informatics | |
| Spring 2005 | Lambda calculus (IA081, in English) |
| Autumn 2004 | Seminar on Information Society (IV057, in Czech) |
| Academic year 2003 - 2004 | |
|---|---|
| Faculty of Informatics | |
| Spring 2004 | Lambda calculus (IA081, in Czech) |
| Academic year 2002 - 2003 | |
|---|---|
| Faculty of Informatics | |
| Spring 2003 | Types and Proofs (IA038, in Czech) |
| Autumn 2002 | Induction and Recursion (IB000, in Czech) |
| Academic year 2001 - 2002 | |
|---|---|
| Faculty of Arts | |
| Autumn 2001 | Information Society (VIK013, in Czech) |
| Information Society - Seminar (VIK014, in Czech) | |
| Faculty of Informatics | |
| Spring 2002 | Information Society (I064, in Czech) |
| Autumn 2001 | Induction and Recursion (I000, in Czech) |
| Academic year 2000 - 2001 | |
|---|---|
| Faculty of Informatics | |
| Spring 2001 | Lambda calculus (I081, in Czech) |
| Seminar on Information Society (I057, in Czech) | |
| Autumn 2000 | Induction and Recursion (I000, in Czech) |
| Academic year 1999 - 2000 | |
|---|---|
| Faculty of Informatics | |
| Spring 2000 | Computational Logic (I008, in Czech) |
| Information Society (I064, in Czech) | |
| Seminar on Information Society (I057, in Czech) | |
| Autumn 1999 | Induction and Recursion (I000, in Czech) |
| Academic year 1998 - 1999 | |
|---|---|
| Faculty of Informatics | |
| Spring 1999 | Computational Logic (I008, in Czech) |
| Information Society (I064, in Czech) | |
| Seminar on Information Society (I057, in Czech) | |
| Autumn 1998 | Induction and Recursion (I000, in Czech) |
| Academic year 1997 - 1998 | |
|---|---|
| Faculty of Informatics | |
| Spring 1998 | Computational Logic (I008, in Czech) |
| Information Society (I064, in Czech) | |
| Autumn 1997 | Induction and Recursion (I000, in Czech) |
| Programming Language Semantics (I011, in Czech) | |
| Seminar on Information Society (I057, in Czech) | |
| Types and Proofs (I038, in Czech) | |
| Academic year 1996 - 1997 | |
|---|---|
| Faculty of Informatics | |
| Spring 1997 | Computational Logic (I008, in Czech) |
| Laboratory of Man-Machine Interaction (I055, in Czech) | |
| Lambda-kalkul II (I021, in Czech) | |
| Seminar on Information Society (I057, in Czech) | |
| Autumn 1996 | Induction and Recursion (I000, in Czech) |
| Lambda-kalkul I (I020, in Czech) | |
| Programming Language Semantics (I011, in Czech) | |
| Academic year 1995 - 1996 | |
|---|---|
| Faculty of Informatics | |
| Autumn 1995 | Computational Logic (I008, in Czech) |
| Induction and Recursion (I000, in Czech) | |
| Programming Language Semantics (I011, in Czech) | |
