Ega pea pole prügikast! Tõsta enda õppeedukust ja õpi targalt. Telli VIP ja lae alla päris inimeste tehtu õppematerjaleLOE EDASI
0
Predikaatarvutuse keel on alati kõige praktilisem, selgem või mugavam meetod ükskõik mille rangeks kirjeldamiseks, vaid et teoreetiliselt on iga range kirjeldus predikaatarvutuse abil kirja pandav.
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.