Hledat
Zobrazují se záznamy 1-4 z 4
Variety určené krátkými identitami
Varieties determined by short identities
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ježek, Jaroslav
Datum publikování: 2007
Datum obhajoby: 20. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá hledáním volných algeber nad spočetnou množinou proměnných ve varietách grupoidů určených identitou tvaru x = t, kde t je term délky 5. K tomuto účelu je použita metoda přepisujících systémů. Práce ...
This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and ...
This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and ...
Vychylující moduly nad Gorensteinovými okruhy
Vychylující moduly nad Gorensteinovými okruhy
Diplomová práce (OBHÁJENO)
Vedoucí práce: Trlifaj, Jan
Datum publikování: 2007
Datum obhajoby: 01. 06. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nechť je R komutativní 1-Gorensteinův okruh. Hlavním výsledkem této práce je charakterizace všech vychylujících a kovychylujících modulů nad R, až na ekvivalenci, jsou charakterizovány podmnožinami množiny všech prvoideálů ...
Let R be a commutative 1-Gorenstein ring. Our main result characterizes all tilting and cotilting R-modules: up to equivalence: they are parametrized by subsets of the set of all prime ideals of height one. More precisely, ...
Let R be a commutative 1-Gorenstein ring. Our main result characterizes all tilting and cotilting R-modules: up to equivalence: they are parametrized by subsets of the set of all prime ideals of height one. More precisely, ...
Binární ekvivalenční slova
Binary equality words
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holub, Štěpán
Datum publikování: 2007
Datum obhajoby: 08. 02. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Binary equality language is a set consisting of all solutions of equation g(w) = h(w), where g, h are arbitrary binary morphisms. Recently, it has been prooved that equality set for each pair of morphisms g, h is generated ...
Binární ekvivalenční jazyk pro homomorfismy g, h je množina všech řešení rovnice g (w) = h(w). Je dokázáno, že tato množina je generována maximálně dvěma slovy. Struktura binárního ekvivalečního jazyka je známa v případě, ...
Binární ekvivalenční jazyk pro homomorfismy g, h je množina všech řešení rovnice g (w) = h(w). Je dokázáno, že tato množina je generována maximálně dvěma slovy. Struktura binárního ekvivalečního jazyka je známa v případě, ...
Silné důkazové systémy
Silné důkazové systémy
Diplomová práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: R-OBDD je nový Cook-Reckhowův důkazový systém pro výrokovou logiku založen na kombinaci OBDD důkazového systému a rezolučního důkazového systému. R-OBDD má sílu OBDD důkazového systému - tautologie s exponenciálně velkými ...
R-OBDD is a new Cook-Reckhow propositional proof system based on combination of OBDD proof system and resolution proof system. R-OBDD has the strength of OBDD proof system - hard tautologies for resolution like PHPn or ...
R-OBDD is a new Cook-Reckhow propositional proof system based on combination of OBDD proof system and resolution proof system. R-OBDD has the strength of OBDD proof system - hard tautologies for resolution like PHPn or ...