Assoc. Prof. RNDr. Petr Hliněný, Ph.D.

Personal photo

 

Academic year 2012 - 2013
Faculty of Arts
Spring 2013link to a new windowA Thesis Seminar (PLIN002, in Czech)
Faculty of Informatics
Spring 2013link to a new windowAdvanced Graph Theory: Structural (MA052, in English)
link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowSeminar on Discrete Mathematical Methods (IV119, in English)
Autumn 2012link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowGraph Theory (MA010, in English)
link to a new windowMathematical Foundations of Computer Science (IB000, in Czech)
Academic year 2011 - 2012
Faculty of Arts
Spring 2012link to a new windowA Thesis Seminar (PLIN002, in Czech)
Faculty of Informatics
Spring 2012link to a new windowAdvanced Graph Theory: Topological (MA051, in English)
link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowSeminar on Discrete Mathematical Methods (IV119, in English)
Autumn 2011link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowGraph Theory (MA010, in English)
link to a new windowInduction and Recursion (IB000, in Czech)
Academic year 2010 - 2011
Faculty of Informatics
Spring 2011link to a new windowAdvanced Graph Theory II (MA052, in English)
link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowLinear and Integer Optimization Tasks and their Solutions (IA102, in English)
Autumn 2010link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowGraph Theory (MA010, in English)
link to a new windowInduction and Recursion (IB000, in Czech)
Academic year 2009 - 2010
Faculty of Informatics
Spring 2010link to a new windowAdvanced Graph Theory I (MA051, in English)
link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
Autumn 2009link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowGraph Theory (MA010, in English)
link to a new windowInduction and Recursion (IB000, in Czech)
Academic year 2008 - 2009
Faculty of Informatics
Spring 2009link to a new windowAdvanced Graph Theory II (MA052, in English)
link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowLinear and Integer Optimization Tasks and their Solutions (IA102, in English)
Autumn 2008link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowGraph Theory (MA010, in Czech)
link to a new windowInduction and Recursion (IB000, in Czech)
Academic year 2007 - 2008
Faculty of Informatics
Spring 2008link to a new windowAdvanced Graph Theory I (MA051, in English)
link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowInduction and Recursion (IB000, in Czech)
link to a new windowMatroid theory and combinatorial optimization (MA053, in English)
link to a new windowState Exam (Bc degree in Informatics) (SZBIN, in Czech)
Autumn 2007link to a new windowFormal Methods in Theory and Practice (DFOME, in Czech)
link to a new windowGraph Theory (MA010, in Czech)
link to a new windowInduction and Recursion (IB000, in Czech)
Academic year 2006 - 2007
Faculty of Informatics
Spring 2007link to a new windowAdvanced Graph Theory II (MA052, in English)
link to a new windowLinear and Integer Optimization Tasks and their Solutions (IA102, in English)
Autumn 2006link to a new windowGraph Theory (MA010, in Czech)
link to a new windowInduction and Recursion (IB000, in Czech)
link to a new windowMathematical Logic (MA007, in Czech)
link to a new windowState Exam (Bc degree in Informatics) (SZBAP, in Czech)
link to a new windowState Exam (Bc degree in Informatics) (SZBIN, in Czech)
link to a new windowState Exam (Bc degree in Informatics) (SZBIO, in Czech)
Academic year 2005 - 2006
Faculty of Informatics
Spring 2006link to a new windowAdvanced topics in Graph Theory: Graphs on surfaces (MA051, in English)
link to a new windowInduction and Recursion (IB000, in Czech)
Autumn 2005link to a new windowInduction and Recursion (IB000, in Czech)
link to a new windowLinear and Integer Optimization Tasks and their Solutions (IA102, in English)