..:: Martin Kot ::..

Personal

About me Portrait

Master study

General Papers Projects Diploma thesis

PhD. study

General Various texts Publications

Courses

Discrete mathematics

2003/2004 2004/2005

Introduction to theoretical CS

2003/2004 2005/2006 2006/2007 2007/2008 2008/2009 2009/2010 2010/2011 2011/2012 2012/2013 2013/2014 2014/2015

Theoretical Computer Science

2006/2007 2007/2008 2008/2009 2009/2010 2010/2011 2011/2012 2012/2013 2013/2014 2014/2015 2015/2016

Introduction to programming Modelling and Verification

2011/2012 2014/2015 2022/2023

Constraint processing

2012/2013 2013/2014 2015/2016

Modelling and verification

English version of this subpage is under construction

Up-to-date informations