Hlavní stránka > Výsledky hledání: keywords:"finite structures"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Pseudofinite structures
 Smolík, Martin ; Krajíček, Jan (vedoucí práce) ; Šaroch, Jan (oponent)
Táto práca je určená pre študentov logiky ktorí sa zaujímajú o teóriu konečných modelov. Práca pojednáva o konštrukcii štruktúr ktoré sú limitami tried konečne generovaných štruktúr- takzvaných pseudokonečných štruktúr. Budeme pojednávať konkrétne o Fraïssého amalgamačnej metóde. Táto metóda je používaná v kombinatorike a teórii konečných modelov a jej zovšeobecnené, Hrushovského metóda bola použitá v geometrickej teórii modelov. Prvá časť práce je teoretická. Nájdeme tam kľúčové pojmy a definície spolu s formuláciami a dôkazmi viet ktoré popisujú Fraïssého metódu a odvodzujú z nej dôsledky. Druhá časť ukazuje niekoľko príkladov použitia tejto metódy. Powered by TCPDF (www.tcpdf.org)
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English