Įrodymų baigtinumas minimaliai laiko logikai
Straipsniai
Regimantas Pliuškevičius
Institute of Mathematics and Informatics
Publikuota 2009-12-20
https://doi.org/10.15388/LMR.2009.47
PDF

Reikšminiai žodžiai

laiko logika
sekvencinis skaičiavimas
indeksavimas
išvedimo baigtinumas
ciklų tikrinimas

Kaip cituoti

Pliuškevičius R. (2009) „Įrodymų baigtinumas minimaliai laiko logikai“, Lietuvos matematikos rinkinys, 50(proc. LMS), p. 264–268. doi: 10.15388/LMR.2009.47.

Santrauka

Straipsnyje pateiktas korektiškas ir pilnas beciklis sekvencinis skaičiavimas minimaliai laiko logikai. Įrodymų baigtinumo tikrinimui naudojami indeksai ir žymės.

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.