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 (Olandija). Sudaryta iš teiginių ir predikatų skaičiavimo. Daugiau