Thesis (Selection of subject)Thesis (Selection of subject)(version: 368)
List of theses
   Login via CAS
Change order to code - title
 
               
results per page
sort in descending ordersort in ascending orderThesis title sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Thesis type Thesis discipline sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail Boolean algebras and first order theories. 2005/2006 2005/2006 Bachelor's thesis MOM doc. RNDr. Josef Mlček, CSc. hidden 06.10.2005 10.11.2005 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail "Nestandartní struktury a zobrazení" KMLaFM, ved.: Doc. RNDr. Josef Mlček,CSc. 1998/1999 diploma thesis MAT doc. RNDr. Josef Mlček, CSc. hidden 12.10.1998 09.12.1998 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Differential Calculus of Functions of Several Variables 2011/2012 2015/2016 diploma thesis MSTR doc. RNDr. Josef Mlček, CSc. hidden 01.11.2011 01.11.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Boolean algebras and first order theories. 2005/2006 Bachelor's thesis IOI doc. RNDr. Josef Mlček, CSc. hidden 06.10.2005 10.11.2005 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail "Endomorfismy v nestandardním universu" KMLFM, ved.: Doc. RNDr. Josef Mlček, CSc. 1997/1998 diploma thesis MAT doc. RNDr. Josef Mlček, CSc. hidden 02.03.1998 02.03.1998 () MFF
detail Modelové struktury v rozšířeném univerzu množin 2001/2002 2002/2003 diploma thesis MAT doc. RNDr. Josef Mlček, CSc. hidden 01.10.2001 01.10.2001 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Nestandardní deskripce matematických struktur 2000/2001 diploma thesis MAT doc. RNDr. Josef Mlček, CSc. hidden 16.10.2000 13.11.2000 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Theories and algebras of formulas 2010/2011 2010/2011 diploma thesis MSTR doc. RNDr. Josef Mlček, CSc. hidden 21.02.2011 21.02.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Limit ultrapower and non-regular universe 2006/2007 2006/2007 diploma thesis MSTR doc. RNDr. Josef Mlček, CSc. hidden 18.10.2006 18.12.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis 2009/2010 2012/2013 dissertation 4M1 doc. RNDr. Josef Mlček, CSc. hidden 24.09.2009 29.09.2009 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Structure of Submodels.Diagonal Indiscernibility in Models of Arithmetics. 2001/2002 2006/2007 dissertation M1 doc. RNDr. Josef Mlček, CSc. hidden 01.10.2001 01.10.2001 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Models of arithmetic and rich theories 2007/2008 2008/2009 diploma thesis MSTR doc. RNDr. Josef Mlček, CSc. hidden 15.11.2007 22.11.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Reflexe v neregulárních univerzech. 1999/2000 diploma thesis MAT doc. RNDr. Josef Mlček, CSc. hidden 10.05.2000 05.06.2000 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Weak arithmetic theories and their models. 2006/2007 2006/2007 Bachelor's thesis MOM doc. RNDr. Josef Mlček, CSc. hidden 18.10.2006 23.11.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Expansions of models and related descriptive problems. 2012/2013 dissertation 4M1 doc. RNDr. Josef Mlček, CSc. hidden 23.04.2013 27.09.2013 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Reprezentace valuačního typu 2000/2001 2001/2002 diploma thesis I doc. RNDr. Josef Mlček, CSc. hidden 16.10.2000 13.11.2000 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
Results 1-16 of 16 1
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html