Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Installi
Kiiremini kui brauser!
 

Aksioom

Index Aksioom

Aksioom ehk postulaat on matemaatikas väide, mis võetakse tõestuseta aluseks deduktiivse teooria ülejäänud väidete tuletamiseks.

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 »

Ümbersuunamised siin:

Postulaat.

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »