Top 10 similar words or synonyms for függvényjel

alaphalmazának    0.869934

grupoidokat    0.862715

névfunktor    0.861861

list_add    0.855281

komplementerű    0.854196

alapterm    0.851076

kvázicsoport    0.847843

antiszimmetria    0.846614

kvázitökéletes    0.846355

bireguláris    0.845030

Top 30 analogous words or synonyms for függvényjel

Article Example
Természetes számok A PA "alapfogalmai" a 0 konstansjel (individuumnév), melyet nullának nevezünk, a ' egyváltozós függvényjel (egybemenetű névfunktor), melyet rákövetkezés vagy szukszceszor operátornak mondunk (szemléletesen "n' " az "n" számot pontosan eggyel követő szám), a + kétváltozós függvényjel, azaz az összeadás és a formula_14 függvényjel, ami a szorzás.
Herbrand-univerzum Legyen L egy (esetleg skolemizált) elsőrendű nyelv, C a (nem-logikai) konstansjelek, F a függvényszimbólumainak, V = {x,y,z … } pedig a (logikai) változóinak halmaza! Emlékeztetünk arra, hogy az f(u,u,…,u) alakú kifejezéseket, ahol f∈F függvényjel, a nyelv feletti termeknek (függvénykifejezéseknek) nevezzük. Egy term egyszerű, ha argumentuma nem tartalmaz függvényszimbólumot; összetett ellenben; továbbá egy term zárt, ha nincs benne logikai változó.
Kategória (matematika) A nyelv további speciális szimbólima a Komp kétváltozós logikai függvényjel, melyet Komp(f,g) helyett inkább f o g alakban írunk és csak morfizmus szerepelhet az f és g változó helyén, továbbá maga f o g is morfizmus szortba tartozó kifejezés (term).