Sekvencinis skaičiavimas koreliatyvių žinių logikai
Straipsniai
Haroldas Giedra
Vilniaus universitetas
Jūratė Sakalauskaitė
Vilniaus universitetas
Publikuota 2011-12-15
https://doi.org/10.15388/LMR.2011.ml04
PDF

Reikšminiai žodžiai

bendroji žinių logika
koreliatyvių žinių logika
sekvencinis skaičiavimas

Kaip cituoti

Giedra H. ir Sakalauskaitė J. (2011) „Sekvencinis skaičiavimas koreliatyvių žinių logikai“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 243–248. doi: 10.15388/LMR.2011.ml04.

Santrauka

Darbe pristatomi pagrįsti ir pilni sekvenciniai skaičiavimai bendrąjai žinių logikai ir koreliatyvių žinių logikai.

PDF
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.