Hledat
Zobrazují se záznamy 11-20 z 30
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 ...
Classes of modules arising in algebraic geometry
Třídy modulů motivované algebraickou geometrií
Dizertační práce (OBHÁJENO)
Vedoucí práce: Trlifaj, Jan
Datum publikování: 2020
Datum obhajoby: 20. 07. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis summarises the author's results in representation theory of rings and schemes, obtained with several collaborators. First, we show that for a quasicompact semiseparated scheme X, the derived category of very ...
Tato práce shrnuje autorovy výsledky v teorii reprezentací okruhů a schémat, získané s několika spolupracovníky. Nejprve pro kvazikompaktní semise- parované schéma X dokazujeme, že derivovaná kategorie velmi plochých ...
Tato práce shrnuje autorovy výsledky v teorii reprezentací okruhů a schémat, získané s několika spolupracovníky. Nejprve pro kvazikompaktní semise- parované schéma X dokazujeme, že derivovaná kategorie velmi plochých ...
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 ...
Generalized injectivity and approximation
Zobecněná injektivita a aproximace
Dizertační práce (OBHÁJENO)
Vedoucí práce: Trlifaj, Jan
Datum publikování: 2014
Datum obhajoby: 27. 06. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Generalized injectivity and approximations Author: Serap S¸ahinkaya Department:Algebra Faculty of Mathematics and Physics, Charles University Supervisor: Prof. RNDr. Jan Trlifaj, DSc, Faculty of Mathematics and ...
Název práce: Zobecněná injektivita a aproximace Autor: Serap S¸ahinkaya Katedra: Katedra algebry, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze. Vedoucí dizertační práce: Prof. RNDr. Jan Trlifaj, DSc, ...
Název práce: Zobecněná injektivita a aproximace Autor: Serap S¸ahinkaya Katedra: Katedra algebry, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze. Vedoucí dizertační práce: Prof. RNDr. Jan Trlifaj, DSc, ...
Constraint Satisfaction Problem and Universal Algebra
Problém splnitelnosti omezení a univerzální algebra
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barto, Libor
Datum publikování: 2013
Datum obhajoby: 20. 06. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The thesis consists of a collection of my contributions to universal algebra. Motivated by the Constraint Satisfaction Problem (CSP), we study the algebras of polymorphisms of relational structures. We begin by showing by ...
Práce sestává ze souboru mých příspěvků v oblasti univerzální algebry. Naší hlavní oblastí zájmu jsou algebry polymorfismů relačních struktur, motivací pak především složitost problému splnitelnosti omezení (CSP). Nejprve ...
Práce sestává ze souboru mých příspěvků v oblasti univerzální algebry. Naší hlavní oblastí zájmu jsou algebry polymorfismů relačních struktur, motivací pak především složitost problému splnitelnosti omezení (CSP). Nejprve ...
Tilting theory of commutative rings
Vychylující teorie komutativních okruhů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Trlifaj, Jan
Datum publikování: 2017
Datum obhajoby: 27. 07. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The thesis compiles my contributions to the tilting theory, mainly in the set- ting of a module category over a commutative ring. We give a classification of tilting classes over an arbitrary commutative ring in terms of ...
Práce shrnuje mé příspěvky k vychylující teorii, především pro kategorii modulů nad komutativním okruhem. V práci klasifikujeme vychylující třídy nad libo- volným komutativním okruhem pomocí údajů s geometrickou příchutí ...
Práce shrnuje mé příspěvky k vychylující teorii, především pro kategorii modulů nad komutativním okruhem. V práci klasifikujeme vychylující třídy nad libo- volným komutativním okruhem pomocí údajů s geometrickou příchutí ...
Constructions of Commutative Semirings and Radical Rings
Konstrukce komutativních polookruhů a radikálových okruhů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kepka, Tomáš
Datum publikování: 2009
Datum obhajoby: 18. 12. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this dissertation we deal with constructive methods applied to the commutative semirings and commutative radical rings. In Chapter 2 we study the class S of the commutative subdirectly irreducible radical rings. We ...
V této disertaci se budeme zabývat konstruktivními metodami aplikovanými na komutativní polookruhy a komutativní radikálové okruhy. V kapitole 2 budeme studovat třídu komutativních subdiretně ireducibilních radikálových ...
V této disertaci se budeme zabývat konstruktivními metodami aplikovanými na komutativní polookruhy a komutativní radikálové okruhy. V kapitole 2 budeme studovat třídu komutativních subdiretně ireducibilních radikálových ...