Titulinis
Autoriai

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

Į elektroninę erdvę buvo perkelta dauguma VLE spausdintų tekstų ir iliustracijų, straipsniai naujinami, enciklopedija nuolat pildoma naujais straipsniais.

Nuorodos

Susisiekite

Kontaktai
Arba palikite mums žinutę:

rašyti žinutę

Mūsų svetainė naudoja slapukus (angl. cookies). Šie slapukai naudojami statistikos ir rinkodaros tikslais.

Jei Jūs sutinkate, kad šiems tikslams būtų naudojami slapukai, spauskite „Sutinku“ ir toliau naudokitės svetaine.

Kad veiktų užklausos forma, naudojame sistemą „Google ReCaptcha“, kuri padeda atskirti jus nuo interneto robotų, kurie siunčia brukalus (angl. spam) ir panašaus tipo informaciją.

Taigi, kad šios užklausos forma užtikrintai veiktų, jūs turite pažymėti „Sutinku su našumo slapukais“.

Slapukų naudojimo parinktys

Jūs galite pasirinkti, kuriuos slapukus leidžiate naudoti.
Plačiau apie slapukų ir privatumo politiką.

	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ą.