Brodskio kodavimo metodas teiginių logikai
Straipsniai
Romas Alonderis
Vilnius University
Publikuota 2017-12-15
https://doi.org/10.15388/LMR.A.2017.01
PDF

Kaip cituoti

Alonderis R. (2017) „Brodskio kodavimo metodas teiginių logikai“, Lietuvos matematikos rinkinys, 58(A), p. 1–6. doi: 10.15388/LMR.A.2017.01.

Santrauka

 

Straipsnyje pateikiamas Brodskio kodavimo metodas teiginių logikai. Šis metodas pagrįstas kodavimo lentele, sudaryta sekvencinio skaičiavimo pagrindu. Remiantis šia lentele, generuojama nagrinėjamos sekvencijos kodų lentelė. Parodoma, kad bet kuri sekvencija yra įrodomą minėtame skaičiavime tada ir tik tada, jei jos kodų lentelė yra p-uždara.

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.