Titulinis
Rodyklė

Stephen Cole Kleene

Kleene Stephen Cole (Stivenas Kolis Klnas) 1909 01 05Hartford 1994 01 25Madison, Jungtinių Amerikos Valstijų matematikas ir logikas. Dr. (1934).

1930 baigė Amhersto koledžą (Masačusetso valstija). Dėstė Princetono, Viskonsino universitete; profesorius (1948).

Mokslinių tyrimų svarbiausios sritys – algoritmų teorija ir periodinės funkcijos. Sukūrė pasikartojamumo teoriją (su kitais), kuri padėjo pagrindus teoriniam kompiuterių mokslui.

Veikalai: Metamatematikos įvadas (Introduction to Metamathematics 1952) ir Matematinė logika (Mathematical Logic 1967).

Į 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ę

Papildoma informacija

Turinys

Bendra informacija

Straipsnio informacija

Autorius (-iai)
Redaktorius (-iai)
Publikuota
Redaguota

Siūlykite savo nuotrauką

Prisegti failą

Sutinku su pateikimo sąlygomis

Siųsti nuotrauką

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