Ega pea pole prügikast! Tõsta enda õppeedukust ja õpi targalt. Telli VIP ja lae alla päris inimeste tehtu õppematerjaleLOE EDASI
0
Lahenduvuse takistuseks on väited, mis pole tuletatavad: ei saa olla olemas algoritmi, mis suudaks mittetuletatava predikaatarvutuse väite puhul alati õigesti otsustada, et seda väidet tuletada ei saa ja otsingu võib katki jätta.
Tulemused kuvatakse siia. Otsimiseks kirjuta üles lahtrisse(vähemalt 3 tähte pikk). Leksikon põhineb AnnaAbi õppematerjalidel(Beta).
Andmebaas (kokku 683 873 mõistet) põhineb annaabi õppematerjalidel, seetõttu võib esineda vigu! Aita AnnaAbit ja teata vigastest terminitest - iga kord võid teenida kuni 10 punkti.