Assoc. Prof. RNDr. Petr Hliněný, Ph.D.
| Academic year 2012 - 2013 | |
|---|---|
| Faculty of Arts | |
| Spring 2013 | A Thesis Seminar (PLIN002, in Czech) |
| Faculty of Informatics | |
| Spring 2013 | Advanced Graph Theory: Structural (MA052, in English) |
Formal Methods in Theory and Practice (DFOME, in Czech) | |
Seminar on Discrete Mathematical Methods (IV119, in English) | |
| Autumn 2012 | Formal Methods in Theory and Practice (DFOME, in Czech) |
Graph Theory (MA010, in English) | |
Mathematical Foundations of Computer Science (IB000, in Czech) | |
| Academic year 2011 - 2012 | |
|---|---|
| Faculty of Arts | |
| Spring 2012 | A Thesis Seminar (PLIN002, in Czech) |
| Faculty of Informatics | |
| Spring 2012 | Advanced Graph Theory: Topological (MA051, in English) |
Formal Methods in Theory and Practice (DFOME, in Czech) | |
Seminar on Discrete Mathematical Methods (IV119, in English) | |
| Autumn 2011 | Formal Methods in Theory and Practice (DFOME, in Czech) |
Graph Theory (MA010, in English) | |
Induction and Recursion (IB000, in Czech) | |
| Academic year 2010 - 2011 | |
|---|---|
| Faculty of Informatics | |
| Spring 2011 | Advanced Graph Theory II (MA052, in English) |
Formal Methods in Theory and Practice (DFOME, in Czech) | |
Linear and Integer Optimization Tasks and their Solutions (IA102, in English) | |
| Autumn 2010 | Formal Methods in Theory and Practice (DFOME, in Czech) |
Graph Theory (MA010, in English) | |
Induction and Recursion (IB000, in Czech) | |
| Academic year 2009 - 2010 | |
|---|---|
| Faculty of Informatics | |
| Spring 2010 | Advanced Graph Theory I (MA051, in English) |
Formal Methods in Theory and Practice (DFOME, in Czech) | |
| Autumn 2009 | Formal Methods in Theory and Practice (DFOME, in Czech) |
Graph Theory (MA010, in English) | |
Induction and Recursion (IB000, in Czech) | |
| Academic year 2008 - 2009 | |
|---|---|
| Faculty of Informatics | |
| Spring 2009 | Advanced Graph Theory II (MA052, in English) |
Formal Methods in Theory and Practice (DFOME, in Czech) | |
Linear and Integer Optimization Tasks and their Solutions (IA102, in English) | |
| Autumn 2008 | Formal Methods in Theory and Practice (DFOME, in Czech) |
Graph Theory (MA010, in Czech) | |
Induction and Recursion (IB000, in Czech) | |
| Academic year 2007 - 2008 | |
|---|---|
| Faculty of Informatics | |
| Spring 2008 | Advanced Graph Theory I (MA051, in English) |
Formal Methods in Theory and Practice (DFOME, in Czech) | |
Induction and Recursion (IB000, in Czech) | |
Matroid theory and combinatorial optimization (MA053, in English) | |
State Exam (Bc degree in Informatics) (SZBIN, in Czech) | |
| Autumn 2007 | Formal Methods in Theory and Practice (DFOME, in Czech) |
Graph Theory (MA010, in Czech) | |
Induction and Recursion (IB000, in Czech) | |
| Academic year 2006 - 2007 | |
|---|---|
| Faculty of Informatics | |
| Spring 2007 | Advanced Graph Theory II (MA052, in English) |
Linear and Integer Optimization Tasks and their Solutions (IA102, in English) | |
| Autumn 2006 | Graph Theory (MA010, in Czech) |
Induction and Recursion (IB000, in Czech) | |
Mathematical Logic (MA007, in Czech) | |
State Exam (Bc degree in Informatics) (SZBAP, in Czech) | |
State Exam (Bc degree in Informatics) (SZBIN, in Czech) | |
State Exam (Bc degree in Informatics) (SZBIO, in Czech) | |
| Academic year 2005 - 2006 | |
|---|---|
| Faculty of Informatics | |
| Spring 2006 | Advanced topics in Graph Theory: Graphs on surfaces (MA051, in English) |
Induction and Recursion (IB000, in Czech) | |
| Autumn 2005 | Induction and Recursion (IB000, in Czech) |
Linear and Integer Optimization Tasks and their Solutions (IA102, in English) | |











A Thesis Seminar