Zpět na vyhledávání

Bc. Martin Urbánek

Bakalářská práce

Girardovy kvantály

Girard quantales
Anotace:
Práce se zabývá Girardovými kvantály, jejich vlastnostmi a jejich homomorfismy. Jejím přínosem je podrobné vyšetření dvou základních příkladů Girardových kvantálů a to svazů relací s operací skládání relací a svazu podprostorů prostoru matic nxn s operací násobení podprostorů.
Abstract:
This work deal with Girard quantales, their properties and their homomorphism. Benefit of this work is closely checkup two basic examples of Girard quantales, concretely lattice of relation with operation composition and lattice of subspace of space of matrixes nxn with operation multiplying of subspaces.
 

Klíčová slova

svaz úplný svaz kvantál Girardův kvantál homomorfismy kvantálů lineární negace par
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 16. 6. 2009
Identifikátor: https://is.muni.cz/th/u2f8h/

Obhajoba závěrečné práce

  • Obhajoba proběhla 3. 7. 2009
  • Vedoucí: Mgr. David Kruml, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Přírodovědecká fakulta
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Aplikovaná matematika / Matematika - ekonomie

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.