Kordamisküsimused.

Allikas: Lambda
Redaktsioon seisuga 16. mai 2007, kell 00:03 kasutajalt Zingel (arutelu | kaastöö)
(erin) ←Vanem redaktsioon | Viimane redaktsiooni (erin) | Uuem redaktsioon→ (erin)
Mine navigeerimisribale Mine otsikasti
  1. Resolutsioon lausearvutuses.
  2. Davis-Putnami algoritm.
  3. Unifitseerimine.
  4. Resolutsioon predikaatarvutuses.
  5. Võrdusega predikaatarvutus.
  6. Kustutusstrateegiad.
  7. Ühikresolutsioon.
  8. Semantiline resolutsioon.
  9. Hüperresolutsioon.
  10. Tugihulga-resolutsioon.
  11. Lineaarresolutsioon.
  12. Järjestatud resolutsioon.
  13. Temporaalloogika modaalne lähenemine.
  14. Temporaalloogika predikaatarvutuslik lähenemine.
  15. Kirjeldusloogikad.
Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Kordamisküsimused.&oldid=3894"