  Thesis title |
Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
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 | |
|
"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 | |
|
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 |
|
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 | |
|
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 |
|
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 |
|
"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 | |
|
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 |
|
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 | |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
Results 1-16 of 16 1