15 suhted: Arvutiprogramm, BSD-litsents, Funktsionaalne programmeerimine, Informaatika, Loogiline programmeerimine, Matemaatiline loogika, Neljavärviprobleem, Predikaatloogika, Ring, Scala (programmeerimiskeel), Tõestus, Teek, Tehisintellekt, Teoreem, Vabavara.
Arvutiprogramm
Arvutiprogramm (tavaliselt lihtsalt "programm" või "tarkvararakendus") on arvutile arusaadavate käskude kogum.
Uus!!: Tõestusassistent ja Arvutiprogramm · Näe rohkem »
BSD-litsents
BSD-litsents on tarkvaralitsents, mida algselt kasutati operatsioonisüsteemi BSD kaitsmiseks.
Uus!!: Tõestusassistent ja BSD-litsents · Näe rohkem »
Funktsionaalne programmeerimine
Funktsionaalne programmeerimine on programmeerimise paradigma, mis rõhutab funktsioonide rakendamist väärtustele vastandina imperatiivsele programmeerimisele, mis käsitleb väärtuste muutmist.
Uus!!: Tõestusassistent ja Funktsionaalne programmeerimine · Näe rohkem »
Informaatika
Informaatika ehk arvutiteadus (ka arvutiasjandus; inglise computer science, saksa Informatik, prantsuse informatique) on info struktuuri, hankimist, töötlemist ja esitamist käsitlev teaduse ning tehnika haru.
Uus!!: Tõestusassistent ja Informaatika · Näe rohkem »
Loogiline programmeerimine
Loogiline programmeerimine on laiemas mõistes matemaatilise loogika kasutamine programmeerimiseks.
Uus!!: Tõestusassistent ja Loogiline programmeerimine · Näe rohkem »
Matemaatiline loogika
Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.
Uus!!: Tõestusassistent ja Matemaatiline loogika · Näe rohkem »
Neljavärviprobleem
Nelja värviga nõuetekohaselt värvitud kaardi näide. Vajadusel saaks Kanada ja Mehhiko värvida kollasega ning ookeanid lillaga. Neljavärviprobleem on probleem matemaatikas, mis küsib, kas neljast värvist piisab mistahes tasapinnalise kaardi värvimiseks nii, et iga kaardiosa (edaspidi riigi) külg puutuks kokku vaid temast erinevat värvi naabriga.
Uus!!: Tõestusassistent ja Neljavärviprobleem · Näe rohkem »
Predikaatloogika
Predikaatloogika ehk predikaatarvutus on lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel vähemalt predikaadisümbolid, indiviidikonstandid, muutujad (indiviidimuutujad) ja kvantorid.
Uus!!: Tõestusassistent ja Predikaatloogika · Näe rohkem »
Ring
Ring Kontsentrilised ringid Ring ehk kinnine ring on ringjoone poolt piiratud tasandi osa.
Uus!!: Tõestusassistent ja Ring · Näe rohkem »
Scala (programmeerimiskeel)
Scala on üldotstarbeline platvormist sõltumatu objektorienteeritud programmeerimiskeel, mis toetab funktsionaalprogrammeerimist ja tugevat staatilist tüübisüsteemi.
Uus!!: Tõestusassistent ja Scala (programmeerimiskeel) · Näe rohkem »
Tõestus
Tõestuse all mõeldakse matemaatikas, loogikas ja filosoofias kehtivat arutlust, mille eelduste tõesus on teada või kokku lepitud.
Uus!!: Tõestusassistent ja Tõestus · Näe rohkem »
Teek
Teek (ingl. library) on funktsioonide, makrode, klasside, moodulite vms komponentide kogu, mida saab programmis vajadust mööda kasutada.
Uus!!: Tõestusassistent ja Teek · Näe rohkem »
Tehisintellekt
Tehisintellekt ehk tehisaru ehk kunstlik intellekt on masina intellekt.
Uus!!: Tõestusassistent ja Tehisintellekt · Näe rohkem »
Teoreem
publisher.
Uus!!: Tõestusassistent ja Teoreem · Näe rohkem »
Vabavara
Vabavara ehk vaba tarkvara või vabatarkvara on Free Software Foundationi (Vaba Tarkvara Sihtasutus, FSF) määratluse kohaselt tarkvara, mida saab ilma piiranguteta kasutada, kopeerida, uurida, muuta ja levitada.
Uus!!: Tõestusassistent ja Vabavara · Näe rohkem »