Kordamisküsimused.

Allikas: Lambda
Redaktsioon seisuga 16. aprill 2010, kell 15:47 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. Resolutsioonistrateegiad.
  7. Temporaalloogika modaalne lähenemine.
  8. Temporaalloogika predikaatarvutuslik lähenemine.
  9. Kirjeldusloogikad.
Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Kordamisküsimused.&oldid=8021"