Lambda-operátor

Lambda-operátor alebo abstraktor alebo operátor abstrakcie tvorí z výrokovej funkcie (alebo z jej jazykovej formy) meno triedy.

3 vzťahy: Individuová premenná, Lambda, Výroková funkcia.

Individuová premenná

Individuová premenná je prvok jazyka predikátovej logiky označujúci v danom obore úvahy ďalej neanalyzovateľné objekty.

Nový!!: Lambda-operátor a Individuová premenná · Pozrieť viac »

Lambda

50px Lambda (veľké Λ, malé λ) je jedenáste písmeno gréckej abecedy.

Nový!!: Lambda-operátor a Lambda · Pozrieť viac »

Výroková funkcia alebo výrokový vzorec je výroková forma, vetná funkcia – logická forma, ktorá má jazykovo tvar oznamovacej vety, v ktorej je však obsiahnutá aspoň jedna voľná premenná, takže de facto nič nevypovedá.

Nový!!: Lambda-operátor a Výroková funkcia · Pozrieť viac »

Presmerovanie tu:

Abstraktor, Operátor abstrakcie.

Úniapédia je koncepčné mapy alebo sémantickej siete, organizované ako encyklopédia - Slovník. Dáva stručnú definíciu každého konceptu a jej vzťahov.

To je veľká internetová mentálna mapa, ktorá slúži ako základ pre koncepčných diagramov. Je to zadarmo na použitie a každý článok alebo dokument možno stiahnuť. Je to nástroj, zdroj alebo odkaz na štúdium, výskum, vzdelávanie, učenie alebo učenie, ktoré môžu byť použité podľa učiteľa, pedagógov, žiakov alebo študentov; pre akademický svet: pre školské, základným, stredným, vysoké školy, stredné, technický stupeň, vysoké školy, univerzity, vysokoškolák, magisterských a doktorandských titulov; for Papers, správy, projekty, nápady, dokumentácia, prieskumy, súhrny, alebo práce. Tu je definícia, vysvetlenie, popis, alebo význam každá významná, na ktorom by ste potrebovali nejakú informáciu, a zoznam ich pridružené pojmy ako slovníčku. K dispozícii v Slovenský, Angličtina, Španielsky, Portugalčina, Japonský, Čínsky, Francúzsky, Nemec, Talian, Polsky, Dutch, Rusky, Arabčina, Hindčina, Švédska, Ukrajinská, Maďarský, Katalánsky, Český, Hebrejčina, Dánsky, Fínsky, Indonézsky, Norwegian, Rumunský, Turkish, Vietnamci, Korean, Thai, Greek, Bulharská, Chorvátsky, Lithuanian, Filipínsky, Latvian, Estónsky a Slovinsky Ďalšie jazyky čoskoro.

Všetky informácie sa extrahuje z Wikipédia, a je k dispozícii pod licenciou Creative Commons Attribution/Share-Alike License 3.0 Unported.

Úniapédia nie je podporovaná ani pridružená k nadácii Wikimedia Foundation.

Google Play, Android a logo Google Play sú ochrannými známkami spoločnosti Google Inc.

Zásady ochrany osobných údajov