Autorius (-ė) Regimantas Pliuškevičius

laiko
logika neklasikinės logikos sritis, tirianti laiko raišką samprotavimuose. Atsirado antikoje kaip modalinės logikos šaka. Daugiau

sekvencinis
skaičiavimas vienas formaliosios sistemos, naudojamos aprašyti logiką, pateikimo būdų. Formaliosios sistemos skirtos formalizuoti ir tirti prasmingus įrodymus konkrečioje logikoje. Daugiau

skaičiavimas
logikoje – dedukcinė sistema, leidžianti sudaryti loginių objektų aibę naudojant pradinius elementus (aksiomas) ir išvedimo taisykles, kurios aprašo naujų elementų sudarymo būdą iš pradinių ir jau sudarytų. 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ą.