Filters
Data integration in a multi-model environment
Electrical engineering, Electronic engineering, Information engineering
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Lambda-kalkul a jeho využití
Práce představuje základní rysy matematického aparátu lambda-kalkul v souvislosti s jeho využitím v informatice. Lambda-kalkul je aparátem pro popis informací skládajících se nejen z prostých dat, ale i znalostí. P...
JC - Počítačový hardware a software
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Pojmové systémy
Pojmy pojmu a pojmového systému jsou explikovány z hlediska transparentní intenzionální logiky. Toto hledisko je realistické, v opozici vůči antirealistickým a relativistickým tendencím v některých dílech postanalytické filozofie. Logická analýza je ...
AA - Filosofie a náboženství
- 2004 •
- B
Rok uplatnění
B - Odborná kniha
Vyhodnocení fragmentů XPath pomocí XML-Lambda kalkulu
Vyhodnocení fragmentů XPath pomocí XML-Lambda kalkulu, [http://ics.upjs.sk/itat/]...
JC - Počítačový hardware a software
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Využití lambda-kalkulu v metodě BORM
Tento příspěvek rozebírá metodu BORM pro datové modelování a použití lambda-kalkulu v programovacím jazyce C.C, který slouží k popisu modelů a k manipulaci s nimi....
IN - Informatika
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Datové modelování
datové modelování, objektový přístup, lambda-kalkul, UML...
JC - Počítačový hardware a software
- 2006 •
- B
Rok uplatnění
B - Odborná kniha
Formal syntax for OOP
Článek předkládá návrh jednoduchého formálního aparátu pro OOP, který je rozšířením netypovaného lambda-kalkulu.
JC - Počítačový hardware a software
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Konceptuální systémy
typovaným lambda kalkulem.
IN - Informatika
- 2004 •
- B
Rok uplatnění
B - Odborná kniha
LambdaTalk
Cílem této práce je představit možnosti nástroje LambdaTalk pro výuku objektově orientovaného programování. Konkrétně se budeme zabývat Lambda kalkulem. Jde o formální matematicko-logický aparát pro vytváření a vyšetřování funkcí. D...
JC - Počítačový hardware a software
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Generalizace a typování v datovém modelování
Cílem článku je upozornit na možnosti typování s ohledem na jeho použití v datovém modelování. Typování se dá velmi výhodně použít při meta modelování. Dále článek uvádí použití vzoru responsibility jak v hierarchické struktuře, tak...
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 631