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

Kaip cituoti

Alonderis, R. (2017) “Brodskio kodavimo metodas teiginių logikai”, Lietuvos matematikos rinkinys, 58(A), pp. 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 (Anglų)

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

1 2 > >>