sissejuhatus, aastal, programmeeris, vahur, vaiksaar, oma, bakalaureusetna, lausearvutuse, ja, predikaatarvutuse, valemite, teisendamise, keskkonna, seda, programmi, kasutati, tartu, likooli, ainetes, matemaatilisse, loogikasse, diskreetse, matemaatika, elemendid, edaspidi, kasutatakse, ka, aines, matemaatiline, maailmapilt, tiendas, sander, stroom, vaiksaare, lisades, sellele, automaatlahendaja, tiendades, teisenduse, logi, kasutuskeele, muutmise, vimaluse, ning, parandades, mningaid, vigu, niteks, eemaldades, leliigseid, teisendusreegleid, aasta, versiooni, saab, tiendada, sinna, teisendada, hulgateoreetilisi, avaldisi, nende, teisendamine, sarnane, teisendamisega, mida, programm, juba, vimaldab, teist, millega, saaks, likoolil, hetkel, mistttu, hulgateooria, teisendamist, seni, tehtud, kirjalikult, paberil, vi, erinevate, tekstiredaktoritega, nt, microsoft, esolev, bakalaureuset, rakendusliku, lesande, lahendus, eesmrgina, lisas, autor, lause, keskkonnale, valemeid, nu, vimalik, kasutada, kus, tegeletakse, hulgateoreetiliste, nii, sisestus, kui, reegliphiselt, jaoks, lisati, vastavad, lesandetbid, reeglite, komplekt, olemasoleva, baasil, programmeeriti, mis, annab, lahendajale, juhiseid, lesannete, lahendamiseks, esimene, peatkk, kirjeldab, tiendatava, programmiga, sarnast, setsails, testada, vrduseid, teises, peatkis, kirjeldatud, millistes, matemaatilise, loogika, avaldiste, loetletud, tbid, selle, koostada, lahendada, kolmandas, kirjeldatakse, valminud, eraldi, alapeatkkides, ppeju, tudengi, kirjeldus, neljandas, tuuakse, vlja, kesoleva, muudatused, tiendused, rgib, poolt, rahastatud, hisprojekti, raames, loodud, programmist, projektis, osalesid, mitmed, likoolid, aacheni, likool, ludwigsburgi, vrdusi, kuni, neli, muutujat, hulgateoorias, sisestada, hendi, hisosa, vahe, tiendi, mrke, samuti, sulge, thja, hulga, universaalhulga, smboleid, koostamisel, mrata, reeglid, lahendaja, joonis, koostamise, aken, antud, jrgmised, neelamisseadused, thihulga, universaalhulgaga, assotsiatiivsuse, seadused, kommutatiivsuse, vastastikused, tiendid, de, morgani, distributiivsuse, topelttiendi, eemaldamine, idempotentsus, neutraalne, element, universaal, hulk, lahendamise, joonisel, lahendajal, vrduse, vasakut, paremat, teisendamiseks, peab, valima, reegli, rakendada, enda, sisestatud, reeglit, kuid, hoiatab, sel, puhul, kasutajat, et, ei, saa, kontrollida, igsust, seejrel, tuleb, ette, valikust, valida, tulemus, ise, valem, valinud, sammu, tegemiseks, seaduse, nd, avatud, valemi, viimase, valiku, custom, term, valimisel, sisestama, ajal, vaadata, raamatut, toodud, nendele, venni, diagrammid, vt, raamat, aknas, nitab, lahendusakna, vasakul, pool, diagrammi, vastab, valemitele, kasutaja, vajutades, teisenduses, saadud, taga, olevale, ikoonile, teisendamisel, valemile, diagrammide, asemel, tevrtustabelid, juhul, pooled, teisendatud, samale, kujule, igas, teisendussammus, alg, lppvalem, samavrsed, lubab, teisendussammude, jada, hendada, testus, lpule, viidud, sobi, kasutamiseks, paljude, lahendatakse, mitmel, phjusel, esiteks, ole, lesandeid, viia, normaalkujule, avaldada, kindlate, tehete, kaudu, ilma, oleks, lppvastus, seab, piirangu, muutujate, arvule, alati, vimalus, raamatust, reegleid, tunneb, mitte, teab, eriti, suur, hsti, praktiliseks, kuna, vajab, vga, palju, samme, vikese, komplektiga, teisendades, loodi, alapeatkk, sisalda, kll, thihulgaga, eemaldada, hisosadest, liikmeid, henditest, sisaldab, rohkem, kiirendab, teisendusprotsessi, komplektis, sisaldavad, smmeetrilist, vahet, vabalt, lisada, riku, jrjekorda, rakendamine, erineb, veel, poolest, vali, osavalemit, millele, lppvalemitest, soovitud, osavalemi, teisendust, seejuures, korrektselt, teeb, seetttu, vib, pikemate, peal, keerukamate, olla, sna, raske, vead, vivad, jda, mrkamata, teisendussamme, abil, kontrollita, isegi, teisendussamm, vigane, kasutatud, reegliks, mratakse, vale, reegel, sellise, vea, avastamiseks, testust, nupuga, check, proof, korral, koheselt, tagasisidet, luba, teha, vigaseid, teisendusi, ksida, soovitusi, jrgmiseks, teisendussammuks, nuppu, avaneb, lahenduse, kontrolli, vigaste, tleb, sammudes, viga, hint, tegemine, vimatu, soovitab, parandada, valemit, viimastest, teisendustest, valemisse, jnud, topelttiend, kontroll, eemaldamise, teisendussammud, korrektsed, siis, enamasti, anna, lesanded, kursustes, varem, harjutasid, tudengid, viidi, lbi, kontrolltid, teisendati, lisaks, pidi, teisendama, abiga, selleks, vajalikku, polnud, ppeaastast, eelnimetatud, aineid, enam, ppekavades, ained, graafid, alapeatkis, defineeritud, hulgateoreetilised, tehted, niteid, kuidas, neid, lesandetpe, valemid, tulemusena, koosnevad, jrgmistest, tehetest, tiend, hend, smmeetriline, rgnevalt, ra, definitsioonid, def, tiendiks, nimetatakse, hulka, mille, moodustavad, kik, kuulu, hulkade, hisosaks, kuuluvad, hendiks, vaheks, aga, smmeetriliseks, eelmises, kmme, lesandetpi, kaheksa, lisatud, viis, avaldamine, konjunktsiooni, eituse, disjunktsiooni, implikatsiooni, viimine, disjunktiivsele, konjunktiivsele, tielikule, eitusega, prefikskujule, eituste, vahetult, lausemuutujate, vaba, teisendus, ldisuse, kvantori, olemasolu, predikaatloogika, ik, meldud, kindlat, tpi, maailmapildi, praktikumilesannete, kogus, mitmeid, sest, leidub, sama, lesandetp, iteks, lesanne, teisendage, nad, sisaldaksid, ainult, eitust, lesandetbile, kasutades, teisi, tpset, vaja, lihtsustada, kontrollib, teisendused, ehk, igal, teisendussammul, algvalem, piisavalt, lihtsustas, tegema, ppejud, lihtsustamiseks, miste, lihtsustamine, heselt, mistetav, seega, kriteeriumite, seadmine, keeruline, lesandetbina, teiseks, nutavale, lesannet, tekstis, tuleks, elda, avaldama, nutud, jllegi, algse, valemiga, samavrne, eelmine, versioon, esimese, tiendati, ldine, tehteid, milleks, eitus, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents, phinevad, lausearvutusel, predikaate, kvantoreid, sisestusphisel, vahetul, pilasel, osavalem, sisestuskasti, kirjutada, osa, valitud, asendatakse, teisendusviisi, pilasele, kuva, asendus, osaga, asenduse, tegemisel, jrjekord, muutuks, reegliphisel, osavalemile, vajaliku, rakendamiseks, vajalikul, kujul, mlemal, viisil, vaid, samavrsust, jaguneb, kaheks, osaks, programmiks, lesandekogusid, sisaldada, erinevaid, luua, lahendusfaili, lesandekogu, lahendused, salvestatakse, samasse, salvestatud, tulemusi, statistikat, lahenduskike, lahenduskorra, juhiste, ksimisi, lemas, vahetada, keelt, olemas, keelefailid, lugeda, kasutusjuhendit, koos, eesti, ingliskeelne, keelefail, kasutujuhend, levaate, sellest, erinevad, nupud, teevad, klahvidega, tehtemrke, avades, luuakse, automaatselt, uus, kasutajal, avada, olemasolev, fail, uude, lesandekogusse, rast, lisamist, kustutada, muuta, salvestada, uue, lesandekoguga, kuhu, kaks, teine, liigutada, lespoole, lesandekogud, ylk, failina, stestada, seaded, lemises, tp, predikaatlesannete, hulgast, kirjelduse, soovi, lesandetbil, vaikimisi, tekst, sisestatakse, koostaja, genereerib, valitakse, vahetu, reegliphine, lahenduste, pakkumise, lahendamisel, maksimaalset, lubatud, vigade, arvu, veatbi, kohta, tudeng, mingit, lahendatuks, loe, loomise, dialoog, sisestamise, lisatav, sisestatava, ilmub, nupule, ok, ekvivalentsi, suurthelisi, muutujaid, st, ni, marsulge, sisestamisel, lausearvutuses, smbolitele, kantsulge, komasid, vike, suurthti, vahemikus, sntaktiliselt, korrektne, vastasel, veateate, laseb, koostajal, pilasfaili, loomisel, pilase, ees, perekonnanimi, rhm, pilasfail, laiendiga, std, phiaken, koosneb, kahest, phiaknast, tudengiprogrammis, phiaknas, nha, nimekirja, juures, lahendatud, mrgib, linnuke, teisendussammuga, valemist, osavalemid, nidatud, sinisega, teisendusel, sisestuse, vli, sisestuseks, vajalikud, sltuvad, normaalkujudele, tehetega, vljendamise, ksimiseks, vajutada, esitada, tulemuste, tabel, andmed, lahenduskatsete, sealhulgas, edukate, katsete, arv, topeltklps, hel, avab, igat, lahenduskiku, lahenduskikudega, teave, milliseid, osavalemeid, valiti, ksiti, tehti, teisendusprogrammis, salvestamisnuppu, uuendatakse, jooksvalt, kasutamise, htsaima, tiendusena, tehtemrkideks, lisamiseks, osi, generaator, parser, tiendama, vikseid, parandusi, otseselt, seotud, lisamisega, ned, puudutavad, enamus, kivad, kivaid, muudatusi, vhe, abstraktne, esitus, esimesena, tuli, abstraktsed, klassid, hulgateoreetilise, tehte, kasutab, nendeks, prioriteeti, tevrtust, esitust, sne, kuigi, hulgateoreetilisel, tehtel, nuab, klass, tevrtus, realiseeritud, eeskujul, thendab, kigile, thistele, anda, vrtustus, tene, vr, sltub, thiste, vrtustustest, parajasti, vasaku, argumendi, parema, klassi, lisama, mrkide, juurde, mrgid, smmeetrilise, mrkidena, unicode, vastavalt, mrgina, langkriipsu, lakoma, valemitega, ttamiseks, oli, olemasolevat, parserit, ttles, otsides, kigepealt, madalaima, prioriteediga, jrjest, krgema, parserisse, vimalikult, analoogiliselt, tielikult, prioriteedid, erinevalt, mrgist, mrk, alamvalemi, parseri, lihtsaks, sammul, kontrollitakse, hte, tehet, jrgib, prioriteedijrjekorda, jrgi, krgeima, tehe, jrgmine, viimased, kolm, vrdse, mitut, erinevat, tehakse, otsitakse, iendit, otsida, asub, muutujast, alamvalemist, paremal, viimastel, sammudel, leitud, sulgudes, olevast, vetakse, tekstifilter, vljadesse, tekstifiltrit, smbolid, oleksid, lausearvutusele, predikaatarvutusele, iki, genereerimiseks, generaatoriga, analoogiline, valides, genereerimise, tehtemrgi, esinemiste, mitu, esineb, sisestamine, tohi, sisestamiseks, uued, kujutatud, reegliphise, samavrsusi, veti, aluseks, timmu, ndali, bakalaureusetd, teisendusreeglitele, olev, nagu, edasi, esimesed, kuus, jtud, samaks, teised, analoogilised, konjunktsioonide, disjunktsioonide, hisosad, hendid, prototbilt, vetud, tulba, kolmas, teisendab, vahede, kahe, reegliga, viimane, prototbist, samad, kolme, thistab, hendit, kahesuunaliseks, nendest, ksib, millist, tehtemrki, soovitakse, rakendatakse, paremalt, vasakule, rakendamisel, tegelikult, thtis, vasakult, vastav, mlemat, osaavaldis, keerulisem, mberpaigutamise, viise, sellisel, soovib, panna, lemat, rakendamise, nupp, hakkaks, enne, kasutamist, asjatult, kasutama, viies, selline, olukord, tekib, ksimine, lisamise, akende, erinevus, seisneb, vahetuse, tehtemrgid, suurthed, vikethed, kvantorid, nurksulud, komad, tehtemrkide, nuppudega, mrki, klaviatuurilt, vastavate, sisestusviis, stroomi, oskas, viima, tieliku, disjunktiivse, normaalkuju, lejnud, lesandetpide, lubada, andmine, kigus, ksimisel, teate, juhist, teadet, andnud, esoleva, jooksul, automaatlahendajat, suudaks, tiendiga, oskab, tiendatud, lubati, soovitused, tlevad, millise, peaks, jrgmisena, lahendades, samm, mmeetriliste, eemaldataks, smmeetrilised, vahed, suureneda, suurendaks, vajalike, lahendussammude, kavalam, alles, mni, soovituse, asenda, hisosade, tienditega, sobivaid, soovitust, soovitus, igel, iksemad, vanas, muutujatena, phjust, miks, viks, predikaatide, thistuseks, eelmistes, mainitud, muutustele, olemasolevaid, uusi, klasse, leidmine, samasuse, ttaks, meetodis, mrati, indeksite, indeksid, mitmes, kohas, mramist, asendite, erinevuse, tttu, mber, mrgitud, klahvid, muud, vimalikud, kasutusjuhendisse, kirje, ksimise, faililaiend, kasutusel, openoffice, org, muudeti, faililaiendit, uueks, laiendiks, opif, tiitliribadele, failinimele, nimi, tiitliribal, faili, mari, maasikas, proov, tulemused, teisenduste, eduka, katse, lpus, heks, veatbiks, ebapedagoogiline, tpselt, asendati, tekstiga, jrjekorraviga, akent, krgemaks, sobivama, programmile, tiitelleht, sulgemiseks, alusta, tiitellehel, arvutiteaduse, instituudi, logo, loomisaasta, autorite, nimed, kokkuvte, piprogrammi, sissejuhatavates, kasutajale, lahendusfaile, lahenduskikude, salvestataks, tiendavat, informatsiooni, kasutajaliidest, teistesse, keeltesse, tlkida, versioonile, lahenda, teisendatakse, mne, tekstiredaktori, mugavam, puudus, eesmrgiks, sellega, petada, ppida, lihtsustades, kiirendades, ppimist, petamist, lesandetbi, summary, created, program, algebraic, manipulation, assistant, propositional, logic, predicate, calculus, used, university, teaching, mathematical, improved, bachelor, thesis, adding, automatic, task, solver, instructions, user, transformation, log, added, possibility, translate, interface, extends, version, opportunity, create, solve, set, theory, expression, conversion, exercises, algebra, due, lack, easier, various, text, editors, purpose, existing, learning, theoretical, faster, allows, addition, following, expressing, given, formula, intersection, complement, union, finding, disjunctive, normal, form, free, chapter, overview, similar, enables, proving, equations, boolean, describes, originally, possible, consists, detailed, descriptions, improvements, materjalid, piprogramm, tiendamine, semiautomatische, analyse, individueller, lernprozesse, der, mathematik, http, vaadatud, oja, sgissemester, kursus, carette, juuli, understanding, simplification, proceedings, international, symposium, symbolic, computation, lk, prank, konspekt, moodlei, ndal, veebikeskkonna, filext, online, resource, uniblue, com, file, extension, kokkupakitud, keelefailide, nitelesandekoguga, lihtlitsents, lput, reprodutseerimiseks, ldsusele, kttesaadavaks, mina, diana, algma, autori, annan, likoolile, tasuta, loa, lihtlitsentsi, teose, lisamine, pealkiri, juhendaja, rein, silitamise, tegemise, eesmrgil, digitaalarhiivi, dspace, autoriiguse, kehtivuse, thtaja, lppemiseni, dspacei, olen, teadlik, punktis, nimetatud, igused, jvad, autorile, kinnitan, andmisega, rikuta, teiste, isikute, intellektuaalomandi, ega, isikuandmete, kaitse, seadusest, tulenevaid, igusi