Hledat
Zobrazují se záznamy 1-10 z 18
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ě ...
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 ...
Generalizing CSP-related results to infinite algebras
Zobecňování výsledků týkajících se problému splnitelnosti podmínek na nekonečné algebry
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barto, Libor
Datum publikování: 2019
Datum obhajoby: 05. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nedávný výzkum v oblasti problému splnitelnosti podmínek vedl k užitečným nástrojům v uni- verzální algebře a pro studium výpočetní složitosti. Tento výzkum byl zaměřen zejména na konečné re- lační struktury a tím pádem ...
The recent research on constraint satisfaction problems (CSPs) on fixed finite templates provided useful tools for computational complexity and universal algebra. However, the research mainly focused on finite relational ...
The recent research on constraint satisfaction problems (CSPs) on fixed finite templates provided useful tools for computational complexity and universal algebra. However, the research mainly focused on finite relational ...