Rezoliucijų metodas hibridinėms logikoms
Straipsniai
Stanislovas Norgėla
Vilniaus universitetas
Publikuota 2011-12-15
https://doi.org/10.15388/LMR.2011.ml06
PDF

Reikšminiai žodžiai

hibridinė logika
rezoliucijų metodas
disjunktas

Kaip cituoti

Norgėla S. (2011) „Rezoliucijų metodas hibridinėms logikoms“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 253–256. doi: 10.15388/LMR.2011.ml06.

Santrauka

Aprašytas grynųjų hibridinių logikų formulių transformavimo į disjunktų aibę algoritmas bei rezoliucijų metodas, kuris taikomas disjunktų aibėms.

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.