31 suhted: Aksioom, Algprintsiip, Aritmeetika, Arvuteooria, Üldkeel, Enesestmõistetavus, Epistemoloogia, Filosoofia, Francis Bacon, Hüpotees, Konnektor (keeleteadus), Konstant, Kurt Gödel, Lemma, Loodusseadus, Loogika, Matemaatika, Matemaatiline loogika, Modus ponens, Naturaalarv, Propositsioon, Tautoloogia, Täisarv, Tõde, Teadmine, Teadus, Teooria, Teoreem, Unaarne tehe, Vana-Kreeka, Väide.
Aksioom
Aksioom ehk postulaat on matemaatikas väide, mis võetakse tõestuseta aluseks deduktiivse teooria ülejäänud väidete tuletamiseks.
Uus!!: Aksioom ja Aksioom · Näe rohkem »
Algprintsiip
Algprintsiip on Aristotelese õpetuse järgi enesestmõistetav väide, mis võetakse (koos teiste algprintsiipidega) tõestamisel eelduseks.
Uus!!: Aksioom ja Algprintsiip · Näe rohkem »
Aritmeetika
Aritmeetika (kreeka keelest ἀριθμός, arithmos - arv, number) on matemaatika haru, mis uurib täis- ja ratsionaalarvude ja nendega sooritatavate operatsioonide omadusi.
Uus!!: Aksioom ja Aritmeetika · Näe rohkem »
Arvuteooria
Arvuteooria on matemaatika haru, mis uurib (peamiselt) täisarvude omadusi.
Uus!!: Aksioom ja Arvuteooria · Näe rohkem »
Üldkeel
Üldkeel on mingi kirjakeele see osa, mille valdamiseks ei ole tarvis eriharidust ega ametialast ettevalmistust.
Uus!!: Aksioom ja Üldkeel · Näe rohkem »
Enesestmõistetavus
Enesestmõistetavus ehk iseenesestmõistetavus ehk iseenesest teada olek (ladina keeles esse per se notum, inglise keeles self-evidence) on filosoofias propositsiooni (mõtte, väite) omadus, mis seisneb selles, et sellest pole võimalik aru saada ilma teadmiseta, et see on tõene.
Uus!!: Aksioom ja Enesestmõistetavus · Näe rohkem »
Epistemoloogia
Epistemoloogia ehk teadmisteooria (ka tunnetusteooria, gnoseoloogia) on filosoofia valdkond, mis tegeleb teadmise saamise ja õigustuse probleemidega.
Uus!!: Aksioom ja Epistemoloogia · Näe rohkem »
Filosoofia
Filosoofia (vanakreeka keeles φιλοσοφία, philosophia, 'tarkuse armastus') on tegelemine filosoofiliste küsimustega.
Uus!!: Aksioom ja Filosoofia · Näe rohkem »
Francis Bacon
Francis Bacon, esimene St Albansi vikont, Verulami parun (22. või 21. jaanuar 1561 – 9. aprill 1626) oli Inglise filosoof, riigimees, esseist ja polühistor.
Uus!!: Aksioom ja Francis Bacon · Näe rohkem »
Hüpotees
Hüpotees on oletus.
Uus!!: Aksioom ja Hüpotees · Näe rohkem »
Konnektor (keeleteadus)
Konnektoriks ehk konnektiiviks nimetatakse formaalse keele või loomuliku keele loogilisi konstante, mille abil lausetest moodustatakse liitlauseid.
Uus!!: Aksioom ja Konnektor (keeleteadus) · Näe rohkem »
Konstant
Konstant ehk jääv suurus ehk muutumatu suurus on matemaatikas fikseeritud, kuigi mitte tingimata määratletud väärtus.
Uus!!: Aksioom ja Konstant · Näe rohkem »
Kurt Gödel
Kurt Gödel Kurt Friedrich Gödel (28. aprill 1906 Brno – 14. jaanuar 1978 Princeton) oli Austria-Ameerika loogik, matemaatik ja filosoof.
Uus!!: Aksioom ja Kurt Gödel · Näe rohkem »
Lemma
Lemma ehk abiteoreem on teoreem, millel pole küll iseseisvat tähtsust, kuid mis osutub vajalikuks vaadeldava matemaatilise teooria mõne teise teoreemi sõnastamisel.
Uus!!: Aksioom ja Lemma · Näe rohkem »
Loodusseadus
Loodusseadus on üldkehtiv loodusenähtusi kirjeldav seaduspärasus, mille aluseks on tehtud vaatlused või katsed, mida on edasi arendatud matemaatiliselt ja mida seletab lõpuks teooria.
Uus!!: Aksioom ja Loodusseadus · Näe rohkem »
Loogika
Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest.
Uus!!: Aksioom ja Loogika · Näe rohkem »
Matemaatika
Matemaatika (sõna algallikas on vanakreeka väljend μαθηματική τέχνη (mathēmatikē téchnē; ligikaudne tähendus 'õppimise kunst')) on teadusharu, mis on välja kujunenud geomeetriliste kujundite uurimisest ja arvudega arvutamisel.
Uus!!: Aksioom ja Matemaatika · Näe rohkem »
Matemaatiline loogika
Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.
Uus!!: Aksioom ja Matemaatiline loogika · Näe rohkem »
Modus ponens
Modus ponens (lühend MP; lad modus ponendo ponens) on tingimusloogikas kasutatav keeleline järeldusreegel, mis põhineb jaatusel.
Uus!!: Aksioom ja Modus ponens · Näe rohkem »
Naturaalarv
Naturaalarv on sõltuvalt kontekstist kas üks arvudest 1, 2, 3,...
Uus!!: Aksioom ja Naturaalarv · Näe rohkem »
Propositsioon
Propositsioon on lausesisu ehk lause tähendus, see mida uskumuse puhul usutakse, soovi puhul soovitakse, teadmise puhul teatakse jne, ehk teisisõnu propositsioonilise hoiaku sisu.
Uus!!: Aksioom ja Propositsioon · Näe rohkem »
Tautoloogia
Tautoloogia on väide loogikas, mis on paratamatult tõene.
Uus!!: Aksioom ja Tautoloogia · Näe rohkem »
Täisarv
Täisarv on arv, mis on esitatav naturaalarvude vahena.
Uus!!: Aksioom ja Täisarv · Näe rohkem »
Tõde
Tõe all mõeldakse tavaliselt tegelikku asjade seisu ja tegelikke asjaolusid või siis tõeste propositsioonide, väidete ja muude tõekandjate sisu.
Uus!!: Aksioom ja Tõde · Näe rohkem »
Teadmine
Teadmine (ing: knowledge) on tähenduslikult korrastatud andmed, teave, mis on viljakas, produktiivses kasutuses, sisaldab nii sisu kui selle loomise protsessi.
Uus!!: Aksioom ja Teadmine · Näe rohkem »
Teadus
Teadus (inglise research, science) on süstemaatiline inimtegevus, mis on suunatud püsiväärtusega teadmiste saamisele, süstematiseerimisele ja rakendamisele, kasutades teaduslikku meetodit – reeglite süsteemi, mis tagab saadavate teadmiste võimalikult suure objektiivsuse ja kontrollitavuse.
Uus!!: Aksioom ja Teadus · Näe rohkem »
Teooria
Teooriaks ehk teaduslikuks teooriaks nimetatakse empiirilistes teadustes seletus- ja ennustusjõuga väidete ja argumentide üldistatud süsteemi, mis hõlmab väiteid vaadeldavate objektide kohta ja mida saab katsega kinnitada või ümber lükata.
Uus!!: Aksioom ja Teooria · Näe rohkem »
Teoreem
publisher.
Uus!!: Aksioom ja Teoreem · Näe rohkem »
Unaarne tehe
Unaarne tehe ehk unaarne operatsioon on matemaatikas ainult ühe operandiga algebraline tehe.
Uus!!: Aksioom ja Unaarne tehe · Näe rohkem »
Vana-Kreeka
Hellas ehk Vana-Kreeka ehk Antiik-Kreeka oli vanaaja maa, mida asustasid muinaskreeklased ehk hellenid.
Uus!!: Aksioom ja Vana-Kreeka · Näe rohkem »
Väide
Väide on propositsioon, mida väidetakse.
Uus!!: Aksioom ja Väide · Näe rohkem »