Apklausa
Kokią specialybę rengiatės studijuoti?
Referatai, kursiniai, diplominiai
![Atsisiusti](/pimg/Site/parsisiusti.gif)
arba
gauk darbą nemokamai
gauk darbą nemokamai
Žinių ir samprotavimų objektinis atvaizdavimas
Darbo tipas: |
|
Darbo dalykas |
|
Dalyko potemė |
Trumpas aprašymas
Kaip žinome unarinius ir m-mačius predikatus galima atvaizduoti binariniais predikatais. Pavyzdžiui, frazę “Sokratas yra žmogus” atitinka unarinis predikatas (predicat unaire) Žmogus(Sokratas). Šio predikato formatas yra toks: Predikatinis_vardas(argumento_reikšmė). Argumento reikšmė yra predikatinio vardo arba kintamojo konkretizacija. Mūsų atveju “Sokratas” yra aibės “žmogus” konkretizacija. Įvedame binarinį predikatą (predicat binaire) Konkr(reikšmė_1, reikšmė_2), kur pirmo argumento reikšmė yra individo vardas arba apibrėžto tipo elemento vardas, o...
Pagrindiniai rašto darbo duomenys
Įkėlimo data |
2010-01-19 |
Failo tipas |
![]() |
Failo dydis |
251,11 kB |
Parsisiuntimų skaičius |
0 |
Kalba |
Lietuvių |
Komentarai
Komentuoti gali tik registruoti Studijos.lt vartotojai
Aš jau esu ePasas.lt vartotojas Tapti ePasas.lt vartotoju