14 suhted: Aarsus, Alamhulk, Allkiri, Element (matemaatika), Funktsioon (matemaatika), Hulk, Järjend, Konjunktsioon, Matemaatiline loogika, Mudel (loogika), Muutuja, Naturaalarv, Seos (matemaatika), Tehiskeel.
Aarsus
Aarsus (inglise keeles arity) on matemaatikas tehte operandide arv, funktsiooni või operaatori argumentide arv.
Uus!!: Keel (loogika) ja Aarsus · Näe rohkem »
Alamhulk
Venni diagramm: ''A'' on ''B'' alamhulk ehk ''B'' on ''A'' ülemhulk Matemaatikas nimetatakse hulka A hulga B alamhulgaks ehk osahulgaks ehk alamsüsteemiks, kui kõik hulga A elemendid on ühtlasi hulga B elemendid.
Uus!!: Keel (loogika) ja Alamhulk · Näe rohkem »
Allkiri
Allkiri on omakäeline nimekirjutus dokumendil, mis väljendab allakirjutanu nõusolekut dokumendi sisuga või selle teatavaksvõtmist.
Uus!!: Keel (loogika) ja Allkiri · Näe rohkem »
Element (matemaatika)
Elemendiks nimetatakse matemaatikas üksteisest erinevaid objekte, mis moodustavad hulga.
Uus!!: Keel (loogika) ja Element (matemaatika) · Näe rohkem »
Funktsioon (matemaatika)
Funktsioon ehk kujutus on matemaatikas binaarne seos, mis seob ühe hulga iga elemendi üheselt määratud elemendiga teisest hulgast (need kaks hulka võivad ka kokku langeda).
Uus!!: Keel (loogika) ja Funktsioon (matemaatika) · Näe rohkem »
Hulk
Hulga mõiste on üks nüüdisaegse matemaatika põhimõisteid.
Uus!!: Keel (loogika) ja Hulk · Näe rohkem »
Järjend
Järjend ehk korteež ehk lõplik jada on kujutus (funktsioon) lõplikust hulgast hulka A. See kujutus seab igale täisarvule 1-st kuni n-ni (n on jada pikkus) üheselt vastavusse hulga A mingi elemendi: arvule 1 seatakse vastavusse element a1, arvule 2 element a2, … ja arvule n element an.
Uus!!: Keel (loogika) ja Järjend · Näe rohkem »
Konjunktsioon
Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe lauseloogikat sisaldavates sümbolloogika süsteemides.
Uus!!: Keel (loogika) ja Konjunktsioon · Näe rohkem »
Matemaatiline loogika
Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.
Uus!!: Keel (loogika) ja Matemaatiline loogika · Näe rohkem »
Mudel (loogika)
Mudel on esimest järku predikaatloogikas struktuur, mis rahuldab antud hulga kõiki lauseid.
Uus!!: Keel (loogika) ja Mudel (loogika) · Näe rohkem »
Muutuja
Muutuja on suurus, mis võib olla teatava fikseeritud hulga, nn muutumispiirkonna mistahes element.
Uus!!: Keel (loogika) ja Muutuja · Näe rohkem »
Naturaalarv
Naturaalarv on sõltuvalt kontekstist kas üks arvudest 1, 2, 3,...
Uus!!: Keel (loogika) ja Naturaalarv · Näe rohkem »
Seos (matemaatika)
Seos ehk relatsioon ehk suhe on matemaatikas binaarse seose üldistus.
Uus!!: Keel (loogika) ja Seos (matemaatika) · Näe rohkem »
Tehiskeel
Tehiskeel ehk formaalne keel ehk formaalkeel on inimese kujundatud kunstkeel.
Uus!!: Keel (loogika) ja Tehiskeel · Näe rohkem »