RNDr. Vojtěch Forejt, Ph.D.
| Academic year 2010 - 2011 | |
|---|---|
| Faculty of Informatics | |
| Autumn 2010 | Mathematical Logic (MA007, in Czech) |
| Academic year 2009 - 2010 | |
|---|---|
| Faculty of Informatics | |
| Spring 2010 | Probability in Computer Science (IV111, in Czech) |
| Autumn 2009 | Mathematical Logic (MA007, in Czech) |
| Academic year 2008 - 2009 | |
|---|---|
| Faculty of Informatics | |
| Spring 2009 | Probability in Computer Science (IV111, in Czech) |
Programming for .NET Framework (PV178, in English) | |
| Autumn 2008 | Mathematical Logic (MA007, in Czech) |
| Academic year 2007 - 2008 | |
|---|---|
| Faculty of Informatics | |
| Spring 2008 | Probability in Computer Science (IV111, in Czech) |
| Autumn 2007 | Automata and Grammars (IB102, in Czech) |
Mathematical Logic (MA007, in Czech) | |
| Academic year 2006 - 2007 | |
|---|---|
| Faculty of Informatics | |
| Spring 2007 | State Exam (Bc degree in Informatics) (SZBIN, in Czech) |
| Autumn 2006 | Automata and Grammars (IB102, in Czech) |
Introduction to Functional Programming (IB015, in Czech) | |
| Academic year 2005 - 2006 | |
|---|---|
| Faculty of Informatics | |
| Spring 2006 | Induction and Recursion (IB000, in Czech) |
| Autumn 2005 | Induction and Recursion (IB000, in Czech) |
Introduction to Functional Programming (IB015, in Czech) | |
| Academic year 2004 - 2005 | |
|---|---|
| Faculty of Informatics | |
| Autumn 2004 | Introduction to Functional Programming (IB015, in Czech) |












Mathematical Logic