Hlavní stránka > Výsledky hledání: 999C1a:GA401/04/2073
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 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Syntetické pojmy a priori
 Duží, M. ; Materna, Pavel
Pojmy jsou explikovány jako objektivní procedury ('konstrukce' v transparentní intenzionální logice). Všechny matematické pojmy jsou a priori. Analytické matematické funkce jsou efektivní procedury, které vypočítávájí rekurzívní funkce. Syntetické matematické pojmy buď identifikují nerekurzivní funkci nebo identifikují rekurzívní funkci neefektivním způsobem. Syntetických pojmů a priori je více než analytických pojmů a priori.
Úplný záznam
Konceptuální modelování a ontologie z pohledu logiky
 Duží, M. ; Materna, Pavel
Jsou explikovány pojmy 'pojem, ontologie' z hlediska transparentní intenzionální logiky. Významy jsou chápány jako pojmy, tj. abstraktní procedury, a definovány jako uzavřené konstrukce. Z tohoto hlediska je naznačeno srovnání s existujícími nástroji reprezentace znalostí v sémantickém webu.
Ú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