Kordamisküsimused.: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
Zingel (arutelu | kaastöö)
127 muudatust
Resümee puudub
 
Zingel (arutelu | kaastöö)
127 muudatust
Resümee puudub
 
4. rida: 4. rida:
# Resolutsioon predikaatarvutuses.
# Resolutsioon predikaatarvutuses.
# Võrdusega predikaatarvutus.
# Võrdusega predikaatarvutus.
# Kustutusstrateegiad.
# Resolutsioonistrateegiad.
# Ühikresolutsioon.
# Semantiline resolutsioon.
# Hüperresolutsioon.
# Tugihulga-resolutsioon.
# Lineaarresolutsioon.
# Järjestatud resolutsioon.
# Temporaalloogika modaalne lähenemine.
# Temporaalloogika modaalne lähenemine.
# Temporaalloogika predikaatarvutuslik lähenemine.
# Temporaalloogika predikaatarvutuslik lähenemine.
# Kirjeldusloogikad.
# Kirjeldusloogikad.

Viimane redaktsioon: 16. aprill 2010, kell 15:47

  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"