sissejuhatus, predikaatarvutust, petatakse, tartu, likooli, informaatika, ppekava, tudengitele, ainetes, graafid, ja, matemaatiline, loogika, matemaatilisse, loogikasse, aines, raames, toimuvates, praktikumides, lahendavad, tudengid, predikaatloogika, lesandeid, mis, seisnevad, etteantud, videte, vljendamises, predikaatarvutuse, valemitega, tudengite, kirjalikult, esitatud, lahendusi, kontrollivad, praktikumijuhendajad, ksitsi, lesannete, lahenduste, kontrollimisel, mitmeid, puudusi, selline, tkorraldus, aeganudev, veaohtlik, antav, tagasiside, hilineb, ning, palju, juhendajate, ressurssi, kulub, mitte, niivrd, sisuliste, kuivrd, sntaktilist, liiki, vigade, parandamisele, viimased, hlmavad, vigu, nagu, valemis, esinevad, leliigsed, vi, puuduvad, sulud, signatuuri, mittekuuluvate, smbolite, kasutamine, mille, kontrollimist, vimalik, automatiseerida, praktikumijuhendajate, kogemus, nitab, et, vljendamine, valmistab, paljudele, raskusi, teemast, paremini, aru, saamiseks, oleks, tudengitel, vaja, harjutada, rohkem, kui, kontrollida, juavad, seetttu, seatakse, kesoleva, bakalaureuset, eesmrgiks, luua, programm, vimaldab, automaatselt, oma, kahe, tudengi, sisestatud, ige, samavrsuse, kontroll, algoritmiliselt, mittelahenduv, probleem, mistttu, saab, selle, lahendamiseks, kasutatud, meetoditest, oodata, ainult, osalisi, tulemusi, loodav, vastab, ksimusele, kas, kaks, valemit, samavrsed, hel, jrgnevatest, viisidest, jah, ei, tea, seega, asenda, inimkontrollijat, kuid, annab, vimaluse, rohkemate, lesannetega, pakub, vrtuslikku, tagasisidet, esolev, kirjalik, tiendab, programmi, jaoks, loodud, koodibaasi, andes, teoreetilise, levaate, olulisematest, mistetest, sisendi, oodatavast, kujust, ttlemise, etappidest, alustades, sntaktilise, kontrolliga, viimisega, sisuliseks, kontrollimiseks, vajalikule, kujule, lpetades, hindamiseks, rakendatavate, meetoditega, tutvustatakse, kasutatava, meetodi, valiku, phimtet, implementatsiooni, eraldi, peatkk, phendatud, mlema, testimisele, testandmetega, kodutde, lahendustega, eesmrk, predikaatloogikat, kus, tuleb, muuhulgas, vljendada, viteid, kasutades, sntaksit, idete, lesanne, kogemuse, phjal, lahendamisel, teevad, teisalt, toob, paratamatult, kaasa, andmine, selleks, osaliselt, thustada, implementeerida, teek, verifitseerib, jrgnevat, valem, korrektsel, kujul, kasutatakse, kuuluvaid, smboleid, avavate, sulgevate, sulgude, arv, tasakaalus, predikaat, nii, mitme, kohaline, lesande, pstitus, ette, neb, kuna, kehtib, valemid, parajasti, siis, samaselt, tene, nidata, ekvivalents, valemite, kaht, meetodit, tesuspuu, vrtuste, vljaarvutamise, mida, jrgnevates, peatkkides, lisaks, teoreetilisele, levaatele, valmib, antud, java, programmeerimiskeeles, implementeeritud, integreerida, ldisesse, erinevaid, kasutajarolle, toetavasse, arvutilesannete, lahendamise, keskkonda, veebikeskkond, kasutab, arendatud, teeki, kuvab, lubab, kasutajal, sisestada, valemeid, kontrolli, tulemusena, selgub, kolmest, variandist, ole, vivad, olla, ntaktiliselt, mittekorrektse, korral, osutatakse, esimesele, mittesobivale, smbolile, mittesamavrse, esitatakse, kontramudel, vabade, muutujate, vrtustus, mil, vr, lahendatavad, vljendamislesanded, aktsepteerib, vljendatud, aritmeetika, alemi, tevrtust, uuritakse, interpretatsioonil, kiki, interpreteeritakse, standardselt, smboliga, defineerida, abipredikaate, neid, lausearvutuse, tehetega, lppvastusesse, kombineerida, abipredikaadi, tpse, lubatud, kuju, vib, leida, lpus, grammatika, failist, veebilehel, lisada, vastusesse, kommentaare, eemaldab, vahele, jva, teksti, enne, vastuse, edasiandmist, teegi, meetoditele, iteks, vite, arvu, suurim, algtegur, vljendamisel, jrgnevaid, viimasel, kujutatud, lppvastust, xay, xmn, algarv, xyk, misted, esolevas, peatkis, antakse, levaade, signatuur, kolmik, konstantsmbolite, funktsionaalsmbolite, predikaatsmbolite, hulk, millesse, elemente, kasutada, sisaldada, konstantsmboleid, funktsionaalsmboleid, predikaatsmbolit, term, avaldis, vrtuseks, indiviidide, piirkonna, element, termid, defineeritakse, induktsiooniga, reeglite, abil, ga, indiviidmuutuja, iga, konstantsmbol, funktsionaalsmbol, olgu, meil, kuhu, kuuluvad, hekohaline, kahekohaline, niteks, predikaatsmbol, xf, elementaarvalem, ehk, atomaarne, koostatud, definitsiooni, punkt, jrgi, ik, lejnud, koosnevad, elementaarvalemitest, seotud, muutuja, asub, olemasolu, ldisuskvantori, mjupiirkonnas, xa, moodustavas, vaba, asu, hegi, le, rakendatud, olemasoluvi, ya, esineb, seotuna, vabana, interpretatsioon, interpreteerida, erinevatel, viisidel, millega, mratakse, muutumispiirkond, smbolitele, thendus, matemaatiliselt, paar, mittethi, nimetatakse, phihulgaks, interpreteeriv, kujutus, teisendab, konstantsmboli, hulga, mingiks, elemendiks, kohalise, funktsionaalsmboli, kikjal, mratud, kohaliseks, funktsiooniks, hulgal, predikaatsmboli, predikaadiks, ta, interpretatsioonis, kikidel, vrtustel, samavrsus, nende, tevrtused, vrdsed, mittelahenduvus, thendab, leidu, algoritmi, puhul, tagastab, kindla, jreldub, peatumise, probleemi, mittelahenduvusest, una, vited, turingi, masinate, kohta, vljendatavad, ttlemine, sisend, sntaktiliselt, edasiseks, analsimiseks, vajalik, andmestruktuur, nimega, triist, loob, faili, parseri, sntaksianalsaatori, tegeleb, keele, analsimisega, kogum, reegleid, vljendavad, struktuuri, koosneb, kahest, etapist, leksikalisest, analsist, parsimisest, leksikalise, analsi, kigus, antlri, lekser, parserile, grammatikasse, salvestatud, lekserireeglite, alusel, ttleb, sisendiks, saadud, viib, mrkide, ing, token, jtab, vlja, mittevajalikud, smbolid, thikud, reavahetused, parsimise, etapi, kontrollib, parser, sobitub, reeglitega, moodustab, mrkidest, kujutava, andmestruktuuri, parsepuu, sntaksipuu, hte, grammatikafaili, koondada, lekseri, eristatakse, kirjapildiga, reeglid, kirjutatakse, algava, lbiva, suurthega, aga, vikethtedega, kirjeldavad, kontrollitakse, sisendlause, kuulub, grammatikaga, keelde, teisisnu, korrektne, kirjeldatud, rgnevalt, vljavte, loodava, tarbeks, defineeritud, grammatikast, ieliku, lisast, grammar, pred, koguvalem, abidef, predvalem, predtahis, predsymbol, defargumendid, alustab, sobitamist, algreeglist, nha, koolonist, paremale, reegli, definitsioon, koosneda, omakorda, teistest, reeglitest, sneliteraalidest, koguvalemi, reegel, defineerib, nullist, kuni, mitmest, abidefinitsioonist, abipredikaadist, predikaatvalemist, tpsustab, abidefinitsioon, peab, olema, mrgist, vasakule, jb, predikaatvalemi, predikaatvalem, luuakse, struktuur, vljendab, vahel, loogiliste, tehete, prioriteeti, viies, tugevamini, siduvad, tehted, puus, alla, poole, jrgnevalt, ahelas, ekvvalem, implvalem, disjvalem, konjvalem, eks, korgvalem, joonisel, graafiliselt, parsepuud, aktsepteeritava, nidisvalemi, gvh, nimedele, vastavatest, tippudest, nitavad, kuidas, sisendit, parsiti, tipus, kige, ldisem, millest, alustati, lehtedeks, reeglitele, vastavad, context, tpi, objektidest, antlrisse, sisseehitatud, klassi, parsetree, alamklassid, mahukas, sisaldab, infot, ttlemiseks, mugaval, teisendatakse, minimalistlikumale, abstraktse, vrtustamiseks, koostamiseks, olulist, meetodeid, getchildcount, getchild, int, childindex, uurides, instanceof, tippude, klasse, lbime, koostame, vigadest, teavitamine, vastustes, vead, jagada, kahte, sisulised, sntaktilised, mittekorrektsete, kasutamist, sidumist, kvantoriga, vastupidi, peaksid, asuma, mingi, kvantori, esitamist, vabadena, levinumad, laadi, jrgnevad, kuulu, tihti, jetaks, thele, panemata, signatuuriga, lubatavad, konstant, funktsionaal, predikaatsmbolid, kujutatakse, numbreid, vrratusi, jms, testandmete, kogutud, valemitest, jagub, xmy, ide, zxy, sageli, keelevliseid, xy, muid, ebastandardseid, viise, jrjekorra, esitamiseks, yc, yd, ab, jrgnevas, yz, eriti, mitmerealistes, ilma, abipredikaatideta, leliigsete, tuvastamine, tmahukas, kontrollijate, anda, tudengile, teada, esinevatest, sntaktilistest, otstarbeks, laiendatakse, parserisse, sisse, ehitatud, automaatset, sntaksivigadest, teavitamise, ssteemi, vljastades, snumi, ebasobiva, smboli, asukoha, sisu, mistetakse, alates, loendatavat, positsiooni, numbrit, sisendtekstis, eeltoodud, niteid, vljastab, alljrgnevad, veasnumid, lpetab, erindiga, positsioonil, lubamatu, smbol, smbo, leliigne, puudub, rakendab, vtteid, taastumiseks, vimaldavad, parseril, prast, sntaksivea, leidmist, td, jtkata, kuigi, tnu, sellele, omadusele, vljastada, veateateid, korraga, valitud, pedagoogilistel, eesmrkidel, teistsugune, lhenemine, veakohtadele, kshaaval, tekiks, sarnaste, osas, teatav, ettengelikkus, thelepanelikkus, kuvatakse, nites, esiteks, ainsana, veapositsiooni, vimalus, iseseisvalt, mrgata, parandada, teist, samalaadi, viga, sntaktilistele, eksimustele, levinud, indiviid, midagi, videtakse, seotakse, ldisuskvantoriga, allolevast, valemist, kontrollides, andmebaasi, thiseid, ebakla, veateate, oodatavate, vabalt, esinevate, ite, varal, veateade, jrgnev, esitasid, predikaadi, ootasin, kohalist, predikaati, aidata, mista, thendust, tehakse, defineerimisele, jrgmised, kitsendused, kik, vabad, muutujad, peavad, kirjas, thises, nimetatud, esinema, esitades, abipredikaati, sisaldava, veateatega, kohaselt, puudu, veateadet, htlasi, kasutatav, abipredikaat, argumentide, arvuga, eelnevalt, vastasel, vastavasisulise, sisestades, teate, predikaatsmboliga, kasutatavad, meetodid, implementeeritakse, meetod, lemat, ksikasjalikult, vastavates, meetodite, phimttest, rakendamise, vimalikest, tulemustest, kindlaks, teha, samavrsust, kll, paljudel, juhtudel, kontrollimine, alati, tiendavad, teineteist, kindlalt, vljaarvutamine, mittesamavrsust, esimese, vttena, rakendatakse, ekvivalentsile, meetodiga, ritatakse, vrtustust, tehtud, eeldus, moodustunud, harus, vastuoluni, oleme, testanud, leidub, vastuolu, saa, jreldust, ega, mittesamavrsuse, puudumine, phjustatud, sellest, muidu, samavrset, erinevad, termide, poolest, erinev, osade, jrjekord, loogilisele, osale, uurimata, tpsemalt, aritmeetikatermide, seda, kommutatiivse, tehte, argumendid, vahetatud, tuvasta, erinevate, termidega, samuti, juhtuda, konstrueerimine, lppe, lpliku, aja, jooksul, vtab, eksponentsiaalse, plahvatuse, tttu, automaatse, kontrollimise, seisukohast, lemra, kaua, aega, mittevastuolulisi, harusid, lpeta, vetakse, kasutusele, teine, langevad, kokku, suurel, lplikul, moodustatud, kandjal, nidanud, ekvivalentsivalem, naturaalarvude, vrtustatuna, lplikku, alljrgnev, tabel, esitab, vimalikke, skemaatiliselt, tingimus, esuspuu, rtuste, vastuoluline, avatud, valmis, ajaga, viis, moodustada, rgnevates, alapeatkkides, teoreetiline, meetodist, kirjeldatakse, piiranguid, kirjeldus, refereeritud, pikust, lk, skeem, loogilist, vrtustused, analsitav, koos, tevrtusega, soovitakse, olevat, hakatakse, jagama, viksemateks, osadeks, lhtudes, elementaarsammudest, elementaarsamm, tleb, millised, komponentide, valemil, tevrtus, igal, tehtel, algab, elementaarsammud, alajaotuses, elementaarsammude, komponendid, jreldunud, vajavad, edasist, analsimist, sellist, tkeldamise, protsessi, korratakse, jutakse, vikseimate, osadeni, lausemuutujateni, ned, jagavad, kaheks, haruks, hargnemine, thistab, olukorda, alamosadel, mitu, sobivat, vimalust, hargneb, sealkohal, edasine, anals, kandub, mlemasse, harusse, seni, analsimata, jagatakse, tkkideks, tulemus, lisatakse, lpetatud, jagatud, atomaarseteks, valemiteks, ib, olukorrani, tesena, vrana, vastuoluliseks, algavate, eitus, konjunktsioon, disjunktsioon, implikatsioon, kvantoreid, sisaldavate, analsimisel, arvestada, teatud, lisareeglitega, ltuvalt, tingimusest, seisneb, analsisamm, vaadeldavas, juba, olemasolevat, termi, tuuakse, uus, esinemata, tesuspuusse, esineva, sealhulgas, tekivad, hiljem, vide, arvatud, tekkiva, tingimuse, tuua, elemendi, sellisel, juhul, vtta, alus, vita, esinenud, elementidest, anna, meile, alust, eeldada, mni, varasemalt, phihulk, puusse, olukorras, analsida, tingimusi, esine, htegi, olukord, ilmneb, tesuspuust, vaadeldav, sisalda, asutakse, mainitud, lahti, kirjutama, selgitamiseks, vaatleme, sisaldavat, xb, meie, uuritav, vra, eeldame, juurtipus, asuva, peatehe, implikatsiooni, elementaarsammu, vasak, pool, parem, lisame, tippu, edasi, elementaarvalemid, toodud, millele, rakendada, vttes, arvesse, analsimise, muuda, lpptulemust, asume, analsima, analoogselt, oleva, valemiga, siinkohal, lisanduvad, puuse, tipud, nuab, kummagi, lisandunud, lahtikirjutus, uue, toomist, sellega, vikseimateks, elementaarvalemiteks, peatehteks, kirjutamine, tingimust, kirjutame, rakendame, tese, implikatsioonivalemi, paneme, vasakus, olev, lal, vastuolulises, rgmiseks, vidame, lppenud, vastuolulist, mrgitud, ristiga, leht, liigume, lehest, suunas, kogume, elementaarvalemite, sissetoodud, elementidel, interpretatsiooniks, tipp, eelmises, kirjeldati, moodustub, jrkjrgulisel, jagamisel, alamvalemiteks, klassiga, esuspuutipp, klass, vajaliku, info, hoidmiseks, boolean, lemklass, privad, loogilised, ldisuskvantor, loogilisel, disjunktsioonil, konjunktsioonil, ekvivalentsil, implikatsioonil, parema, kujutamiseks, alluvat, eitusel, kvantoritel, alluv, esuspuutipu, isend, optional, mne, vanemaga, vastuolulised, samad, samasuse, equals, komponentidele, rekursiivselt, moodustavate, termideni, liikumiseks, hoitakse, isendis, maksimaalselt, sama, ht, vanemat, moodustamine, moodustatakse, isenditest, tuletame, meelde, mrata, ebaige, vrtustusel, tippe, elementaarsammudega, eelistusjrjekorras, priorityqueue, rjekord, jrjestust, seab, ettepoole, tekita, hargnemist, sellised, eemaldatakse, jrjekorrast, varem, olevale, valemile, listi, tutvustatud, tesuspuutippe, tuvastatud, tesuspuutipud, ootavate, jrjekorda, leitakse, analsitava, lehed, millel, alamtippe, mittevastuolulise, lehe, alluva, te, leitud, tingimused, vidavad, vastavalt, kehtivust, mittekehtivust, kord, sel, otstarbel, liides, termikuulaja, tingimuste, registreerimisega, korda, getkuulaja, tingimustel, thja, vrtuse, ldisus, olemasolukvantori, anonmse, implementeerib, liidest, oodatud, asendatud, tpsustatud, konstantsmboliga, rjekorrast, vetud, vaadatakse, lbi, levalpool, asuvate, tipuga, toodi, olemasolevate, ttlemist, vajavate, sammu, eristamine, uute, vltida, kikide, kordamist, hoida, tesuspuud, viksemana, lpetamine, kasvatamine, katkestatakse, algoritm, suutnud, tuvastada, erineva, kontrollitav, edasise, katkestada, liikudes, lesse, esialgse, valemini, kogutakse, predikaatide, smbolitel, arendamine, lppeb, harud, eeldasime, alguses, judsime, jrelikult, vraks, muutvat, analsitud, ekvivalentsivalemit, moodustavad, alamvalemid, piirangud, suvalise, rgnevad, alapeatkid, tutvustavad, teoreetilisi, testimisel, ilmnenud, puudujke, pmatult, kasvav, lpmatusse, tsklisse, yp, kehtestav, esimene, kirjutamist, puuharus, mingit, elementi, lahtikirjutuse, rgmisena, analsime, teadmisega, lisandub, olemasolukvantorit, sisalduv, jllegi, eeldab, tutvustamist, jtkub, lpmatult, kunagi, jreldusi, eeldatava, tevrtuse, allolev, ekraanipilt, kulgeva, vljund, kasvab, vga, suureks, isegi, kesta, lpmatu, kujuga, sisendite, otstarbeka, sisaldavad, hargnemisi, phjustavaid, kirjutades, ekvivalentsi, muutujat, olemasolukvantoreid, esinevat, kirjutamisel, tekitavat, kikidesse, allpool, asuvatesse, harudesse, ekvivalentsivalemi, kulgeb, analoogiliselt, alustatakse, uusi, muutujaid, vrust, kusjuures, hargnemisel, igasse, alumisse, deldavate, eksponentsiaalselt, mahuni, vimalda, mistliku, lpetada, esimesel, tdeldavate, konstantselt, teisel, pikka, potentsiaalselt, lpmata, taega, meetodile, ajaline, piir, sekundit, mdumisel, piirdub, loogilise, struktuuriga, asuvat, teineteisega, asuvad, alamosad, sh, taoline, sntaktiline, vrdlus, samavrseid, kommutatiivseid, muude, binaarsete, omadustega, tehteid, kitsenduse, nitena, kolmega, ey, samasust, lekirjutatud, kutsutakse, alamosade, peal, atomaarsed, oleksid, vasakud, paremad, binaarne, tehe, vasakul, paremal, poolel, kuvatmmisel, uuritava, lemas, markeeritud, omavahel, vasakpoolset, atomaarse, false, atomaarsete, pooled, erinevatest, lemises, korrutistermi, vasakuks, alluvaks, liitterm, alumises, indiviidterm, ksitleb, erinevana, samal, phjusel, leita, thistatud, kokkuvte, ilmnes, tesuspuuga, puudujki, tuvastamisel, kontrollimisega, pruugi, varieeruva, nib, plahvatuslikult, kasvavat, tuvastata, esuspuud, tiendamiseks, eelpool, arvutamiseks, igest, seejrel, arvutatakse, kandja, suurus, sltub, lppvalemis, ldisuskvantorite, maksimaalsest, sgavusest, xp, tskkel, kigi, elementide, elemendil, vljutakse, tsklist, tagastatakse, rast, sellise, hendatud, alamvalemist, nt, vrtusel, tulemustele, tehet, videt, rtustatav, x[, vlimine, jookseb, vahemikus, leidmiseks, mlemad, konjunktsioonid, tevrtuste, paremalluvate, konjunktsiooni, kigepealt, tema, udes, vrtused, vlimiste, tsklitega, selgeks, vrtustama, paremat, seatud, sltuvusse, kvantorist, koosnevate, seesmiste, tsklite, vrdne, kvantorite, taeg, vrtustamise, pseudokood, neks, tegemist, olemasolukvantoriga, kogu, ulatuses, seesmine, muutujaga, juab, maksimaalse, vrtuseni, suurendatakse, seesmise, tskli, vrtustamine, hakkab, algusest, peale, kujuneb, vljakutsete, arvuks, tagada, mistlik, maksimaalsele, sgavusele, kontranide, arvutatuna, eespool, mx, nx, vlimise, iteratsioonisammul, kahel, kontranite, sinu, vastus, peaks, evrtuse, tagastusvrtusega, vrtusta, argumendiks, indiviidmuutujaid, vrtusi, sisaldav, snastik, map, esmalt, disjunktsiooni, axq, exq, kontrollitavate, iteratsiooni, sammul, vrtustatakse, konkreetse, vrtusega, snastikku, sellel, ldisuskvantorit, mingil, vljudes, double, edastatud, korrutamist, liitmist, avaldise, tagastatud, vrtustele, vastavat, binaarset, testandmed, testimise, tulemused, testimiseks, kasutati, vastuseid, nad, kodut, valemina, hinde, teeninud, suvaliselt, lpetava, erindi, nimi, tuvastas, lpetas, judnud, teise, rakendamiseni, tasub, mrkimist, videtega, praktikumis, harjutatust, keerulisemad, mahukamad, pakutavad, lahendused, kujult, keerukamad, toovad, phjustab, mitmed, testjuhtumid, annavad, samavrsete, vastuseks, lihtsamate, termidel, kujusid, sagedamini, tulemuse, nidisvalem, samavrne, predmoodul, erindid, erinevindiviididearv, ljastatakse, xzy, syntaksiviga, st, suurema, korrutis, xqp, testtimedoutexception, test, timed, milliseconds, suurem, ymx, xab, vaarvabademuutujateesinemine, yna, ynb, jrgnevast, jagu, viksema, algarvuga, xyz, xwz, xrz, arvude, tpselt, ba, algarvud, kirjutatud, kttesaadav, aadressilt, https, github, com, predicate, calculus, program, projekti, haldamiseks, ehitamiseks, maveni, nimelist, triista, integreerimiseks, pom, xml, dependencies, jrgmine, lik, groupid, siiri, saar, artifactid, logic, lib, version, argumentidena, konstruktorile, string, objekti, parameeter, kasutaja, pakutud, vastust, iget, loomisel, kivitatakse, korrektsust, viivad, sisendid, sisendist, meetodil, rida, nide, initsialiseerimisest, pakkuminekommentaarideta, oigevastus, vrtus, ligi, pseda, getkontrollitulemus, ttes, pstitust, isarvuline, hendus, kontramudeli, character, integer, tagastakontramudel, stringkontranaidestringina, vljaarvutamisega, selgunud, vrtustamisel, vimalikud, tagastused, visata, erindeid, erind, abivalemeioledefineeritud, ppvastuses, ioexception, sisendsne, sobitu, visatavad, idisveebirakendus, vljendamislesannete, vimaldada, katsetada, praegune, korraldus, integreeritud, lihtsa, kasutajaliidesega, veebirakendusse, rakendus, ajutiselt, valjendamisylesanded, herokuapp, rakenduse, esilehel, nimekirja, veebirakenduse, esileht, klpsates, lesandel, avaneb, vaade, tudengil, tekstialasse, lehel, tulemust, veebiprogrammidest, hlmab, toetavate, veebitriistadega, tutvumist, selgitada, lahendamiskeskkonna, kujundamisel, sarnastelt, programmidelt, eeskuju, lhilevaade, vaid, mningatest, veebis, leiduvatest, triistadest, calculator, veebirakendus, vrtustamisele, operatsioone, kujutada, aluseks, puud, kirjeldada, tevrtustabelit, kehtestava, vrtustub, valeks, navigeerida, proof, generator, veebilehele, kujutab, paistab, silma, phjaliku, dokumentatsiooni, mitmete, puudutavate, vimalustega, kirjutada, poolt, eiratavaid, predikaatidele, muutujatele, thenduslikke, nimesid, asendades, vljendava, mrgi, snaga, avaldist, mitmele, reale, vljendavaid, eeldefineeritud, lhismboleid, sip, seost, omadus, knealune, arendatava, kasulikke, funktsioone, heks, puuduseks, tsiasi, toeta, enam, hekohalisi, predikaate, avaldisi, vabu, leiab, autor, veebirakenduses, thistatakse, rakendumise, piire, piisavalt, intuitiivne, predikaatarvutusega, algust, tegev, tudeng, saaks, keskenduda, sisulisele, poolele, taotleb, arendatav, vhem, tmahukat, htselt, tlgendatavat, sulukasutust, veebiprogramm, koostab, interpretatsioonist, olemuselt, lihtne, funktsionaalsust, kattub, lahenduskeskkonna, eesmrgiga, kujutamine, mitmekohaliste, toetamine, eeliseks, paindlikku, kasutajaliidest, eelistusele, klikkides, kujutavatele, graafilistele, nuppudele, trkkides, tekstimrgendeid, \neg, \forall, kirjapilt, jooksvalt, nhtav, linear, prover, tuletusreegleid, konstrueeritud, tuletuspuu, testamine, ebannestus, verifitseerida, hekohalise, tesust, paku, kasutusmugavuse, oodatavat, otsida, dokumentatsioonist, teade, vhe, informatiivne, vajadus, taolise, jrele, esile, kerkinud, matemaatilise, kursustel, harjutatakse, vljendamislesandeid, veebiprogrammi, kursuste, praegust, tkorraldust, sitsi, tielikult, hoolimata, automatiseerimine, teemat, osutada, mittejrgimine, phjustel, ebamrane, tingitud, asjaoludest, tuvastanud, uuri, moodustamisel, toimus, tingituna, eksponentsiaalne, kasv, vastuseni, veti, leidnud, vrtust, lahtiseks, edasiarendamise, vimalused, implementeerimisel, kitsendusi, arendada, tiendada, signatuurides, hulgateooria, arvestataks, uurida, vrdsust, korrutades, jrjestades, thestikuliselt, aitaks, phjusi, miks, sisenditega, iendada, vimalikult, vike, sisenditest, annaks, lisad, fail, identifikaator, atomaarnevalem, termargumendid, pmterm, kjterm, [a, za, \t\r\n]