Hledat
Zobrazují se záznamy 1-10 z 19
On the Power of Weak Extensions of V0
O síle slabých rozšíření teorie V0
Dizertační práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2013
Datum obhajoby: 05. 02. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: O síle slabých rozšírení teorie V0 Autor: Sebastian Müller Katedra: Katedra Algebry Vedoucí disertační práce: Prof. RNDr. Jan Krajíček, DrSc., Katedra Algebry. Abstrakt: V predložené disertacní práci zkoumáme ...
Název práce: O síle slabých rozšírení teorie V0 Autor: Sebastian Müller Katedra: Katedra Algebry Vedoucí disertační práce: Prof. RNDr. Jan Krajíček, DrSc., Katedra Algebry. Abstrakt: V predložené disertacní práci zkoumáme ...
Název práce: O síle slabých rozšírení teorie V0 Autor: Sebastian Müller Katedra: Katedra Algebry Vedoucí disertační práce: Prof. RNDr. Jan Krajíček, DrSc., Katedra Algebry. Abstrakt: V predložené disertacní práci zkoumáme ...
Set-theoretic Methods in the Theory of Modules
Množinově-teoretické metody v teorii modulů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Trlifaj, Jan
Datum publikování: 2010
Datum obhajoby: 23. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The thesis collects my actual contributions to the theory of cotorsion pairs, with closer attention paid to the application of set-theoretic methods in this area. It consists of an introduction and three papers with ...
Disertační práce shrnuje mé dosvadní příspěvky k teorii kotorzních párů modulů, s užším zaměřením na aplikaci množinově-teoretických metod v této oblasti. Sestává z úvodu a tří článků se spoluautory. První dva - již ...
Disertační práce shrnuje mé dosvadní příspěvky k teorii kotorzních párů modulů, s užším zaměřením na aplikaci množinově-teoretických metod v této oblasti. Sestává z úvodu a tří článků se spoluautory. První dva - již ...
Algebraic Substructures in Cm
Algebraické podstruktury v Cm
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kepka, Tomáš
Datum publikování: 2013
Datum obhajoby: 24. 06. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Algebraic Substructures in ℂ Author: Vítězslav Kala Department: Department of Algebra Supervisor: Prof. RNDr. Tomáš Kepka, DrSc., Department of Algebra Abstract: We study the structure of finitely generated semirings, ...
Název práce: Algebraické podstruktury v ℂ Autor: Vítězslav Kala Katedra: Katedra algebry Vedoucí disertační práce: Prof. RNDr. Tomáš Kepka, DrSc., Katedra algebry Abstrakt: Tato práce je zaměřena na studium struktury konečně ...
Název práce: Algebraické podstruktury v ℂ Autor: Vítězslav Kala Katedra: Katedra algebry Vedoucí disertační práce: Prof. RNDr. Tomáš Kepka, DrSc., Katedra algebry Abstrakt: Tato práce je zaměřena na studium struktury konečně ...
Binární znaménkové reprezentace celých čísel v kryptoanalýze hashovacích funkcí
Binární znaménkové reprezentace celých čísel v kryptoanalýze hashovacích funkcí
Dizertační práce (NEOBHÁJENO)
Vedoucí práce: Tůma, Jiří
Datum publikování: 2014
Datum obhajoby: 22. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Binary Signed Digit Representations of Integers in Cryptanalysis of Hash Functions Author: Jiří Vábek Department: Department of Algebra Supervisor: doc. RNDr. Jiří Tůma, DrSc., Department of Algebra Abstract: The ...
Název práce: Binární znaménkové reprezentace celých čísel v kryptoanalýze hashovacích funkcí Autor: Jiří Vábek Katedra: Katedra Algebry Vedoucí disertační práce: doc. RNDr. Jiří Tůma, DrSc., Katedra Algebry Abstrakt: Práce ...
Název práce: Binární znaménkové reprezentace celých čísel v kryptoanalýze hashovacích funkcí Autor: Jiří Vábek Katedra: Katedra Algebry Vedoucí disertační práce: doc. RNDr. Jiří Tůma, DrSc., Katedra Algebry Abstrakt: Práce ...
Structure of equality sets
Struktura ekvivalenčních množin
Dizertační práce (OBHÁJENO)
Vedoucí práce: Holub, Štěpán
Datum publikování: 2015
Datum obhajoby: 24. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Structure of equality sets Author: Jana Hadravová Department: Department of Algebra Supervisor: doc. Mgr. Štěpán Holub, Ph.D., Dept. of Algebra Abstract: Binary equality set of two morphisms g, h : ⌃⇤ ! A⇤ is a set ...
Název práce: Struktura ekvivalenčních množin Autor: Jana Hadravová Katedra: Katedra algebry Vedoucí disertační práce: doc. Mgr. Štěpán Holub, Ph.D., Katedra algebry Abstrakt: Binární ekvivaleční množina dvou homomorfismů ...
Název práce: Struktura ekvivalenčních množin Autor: Jana Hadravová Katedra: Katedra algebry Vedoucí disertační práce: doc. Mgr. Štěpán Holub, Ph.D., Katedra algebry Abstrakt: Binární ekvivaleční množina dvou homomorfismů ...
Model constructions for bounded arithmetic
Konstrukce modelů omezené aritmetiky
Dizertační práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2015
Datum obhajoby: 22. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Konstrukce modelů omezené aritmetiky Autor: Michal Garlík Abstrakt: Studujeme konstrukce modelů teorií omezené aritmetiky. Pomocí základních technik teorie modelů podáme nový důkaz Ajtaiovy věty o úplnosti pro ...
Title: Model constructions for bounded arithmetic Author: Michal Garlík Abstract: We study constructions of models of bounded arithmetic theories. Us- ing basic techniques of model theory we give a new proof of Ajtai's ...
Title: Model constructions for bounded arithmetic Author: Michal Garlík Abstract: We study constructions of models of bounded arithmetic theories. Us- ing basic techniques of model theory we give a new proof of Ajtai's ...
Complexity theory in Feasible Mathematics
Teória zložitosti v dosiahnuteľnej matematike
Dizertační práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2014
Datum obhajoby: 07. 11. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Complexity Theory in Feasible Mathematics Author: Ján Pich Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajíček, DrSc., MAE Abstract: We study the provability of statements and conjectures from ...
Skúmame dokázateľnosť tvrdení z teórie zložitosti v obmedzenej aritmetike. Za istých zložitostných predpokladov ukážeme, že teórie so slabšími dosvedčovacími vlastnosťami než $S^1_2$ nemôžu dokázať spodné odhady veľkosti ...
Skúmame dokázateľnosť tvrdení z teórie zložitosti v obmedzenej aritmetike. Za istých zložitostných predpokladov ukážeme, že teórie so slabšími dosvedčovacími vlastnosťami než $S^1_2$ nemôžu dokázať spodné odhady veľkosti ...
Using algebra in geometry
Využití algebry v geometrii
Dizertační práce (OBHÁJENO)
Vedoucí práce: Růžička, Pavel
Datum publikování: 2015
Datum obhajoby: 03. 11. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Using algebra in geometry Pavel Paták Department: Department of Algebra Supervisor: Mgr. Pavel Růžička, Ph.D., Department of Algebra 1 Abstract In this thesis, we develop a technique that combines algebra, algebraic topology ...
Využití algebry v geometrii Pavel Paták Katedra: Katedra algebry Vedoucí disertační práce: Mgr. Pavel Růžička,Ph.D., Katedra algebry 1 Abstrakt V této práci jsme vyvinuli metodu, která kombinuje algebru, algebraickou ...
Využití algebry v geometrii Pavel Paták Katedra: Katedra algebry Vedoucí disertační práce: Mgr. Pavel Růžička,Ph.D., Katedra algebry 1 Abstrakt V této práci jsme vyvinuli metodu, která kombinuje algebru, algebraickou ...
Relational Approach to Universal Algebra
Relační přístup k univerzální algebře
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barto, Libor
Datum publikování: 2016
Datum obhajoby: 29. 02. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Relational Approach to Universal Algebra Author: Jakub Opršal Department: Department of Algebra Supervisor: doc. Libor Barto, Ph.D., Department of Algebra Abstract: We give some descriptions of certain algebraic ...
Název práce: Relační přístup k universální algebře Autor: Jakub Opršal Katedra: Katedra algebry Vedoucí disertační práce: doc. Libor Barto, Ph.D., Katedra algebry Abstrakt: V této práci předkládáme popis některých algebraických ...
Název práce: Relační přístup k universální algebře Autor: Jakub Opršal Katedra: Katedra algebry Vedoucí disertační práce: doc. Libor Barto, Ph.D., Katedra algebry Abstrakt: V této práci předkládáme popis některých algebraických ...
Algebraic Metods in Multivalued Logics
Algebraické metody ve vícehodnotových logikách
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pták, Pavel
Datum publikování: 2010
Datum obhajoby: 23. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow orthocomplemented lattices with this operation and obtain a new class of algebras. We call these algebras orthocomplemented ...