Autorius (-ė) Romanas Plečkaitis

formalioji
sistema neinterpretuotas skaičiavimas. Daugiau

formalizacija
pažinimo turinio tikslinimas pažinimo objektą aprašant dirbtinės kalbos priemonėmis, kurių tyrimas padeda gauti tikslesnių žinių apie objektą. Daugiau

formalizuotoji
kalba interpretuotas skaičiavimas, arba formalioji sistema drauge su jos interpretacija. Daugiau

hipotezė
nevisiškai pagrįsti teiginiai, aiškinantys reiškinius, jų priežastis ir ryšius. Daugiau

humanizmas
antropocentrinė žmogaus vertę ir orumą bei juos atitinkančius visuomeninius santykius teigianti pasaulėžiūra; siauresne prasme – kultūrinis 14–16 a. Renesanso sąjūdis. Daugiau

implikacija
loginis veiksmas, sujungiantis du teiginius jungtimi jei…, tai. Skiriama kauzalinė, griežtoji, formalioji, materialioji implikacija. Daugiau

indukcija
loginis samprotavimas, kai ištyrus atskirus klasės objektus ir nustačius, kad jie turi tam tikrą savybę, daroma išvada, jog tą savybę turi visi tos klasės objektai. Daugiau

indukcinė
logika logikos sritis, tirianti samprotavimo procesus, kuriuose nuo atskirų žinių pereinama prie bendrų. Daugiau

interpretacija
reikšmių (prasmių) visuma, vienaip ar kitaip suteikiama kurios nors formalizuotosios sistemos elementams. Daugiau

intuicionistinė
logika neklasikinės logikos sistema, sudaryta aksiomiškai ir pagrįsta matematinio intuicionizmo principais. 1930 sukūrė A. Heytingas (Nyderlandai). Sudaryta iš teiginių ir predikatų skaičiavimo. Daugiau

	Funkciniai slapukai (būtini) Šie slapukai yra būtini, kad veiktų svetainė, ir negali būti išjungti. Šie slapukai nesaugo jokių duomenų, pagal kuriuos būtų galima jus asmeniškai atpažinti, ir yra ištrinami išėjus iš svetainės.
	Našumo slapukai Šie slapukai leidžia apskaičiuoti, kaip dažnai lankomasi svetainėje, ir nustatyti duomenų srauto šaltinius – tik turėdami tokią informaciją galėsime patobulinti svetainės veikimą. Jie padeda mums atskirti, kurie puslapiai yra populiariausi, ir matyti, kaip vartotojai naudojasi svetaine. Tam mes naudojamės „Google Analytics“ statistikos sistema. Surinktos informacijos neplatiname. Surinkta informacija yra visiškai anonimiška ir tiesiogiai jūsų neidentifikuoja.
	Reklaminiai slapukai Šie slapukai yra naudojami trečiųjų šalių, kad būtų galima pateikti reklamą, atitinkančią jūsų poreikius. Mes naudojame slapukus, kurie padeda rinkti informaciją apie jūsų veiksmus internete ir leidžia sužinoti, kuo jūs domitės, taigi galime pateikti tik Jus dominančią reklamą. Jeigu nesutinkate, kad jums rodytume reklamą, palikite šį langelį nepažymėtą.