Nopeamman yhteyden kuin selaimen!
34 suhteet: Binäärijärjestelmä, Boolen algebra, C (ohjelmointikieli), De Morganin lait, Eksistenssikvanttori, Eksklusiivinen disjunktio, Ekvivalenssi, Elektroniikka, Idempotenssi, Implikaatio, Ja/tai, JavaScript, Joukko-oppi, Kokonaisluku, Konjunktio (logiikka), Latina, Liitännäisyys, Looginen portti, Matemaattinen logiikka, Monotoninen funktio, Ohjelmointikieli, OR-portti, Osittelulaki, Predikaattilogiikka, Propositiologiikka, Puolan kieli, Python (ohjelmointikieli), Reaaliluku, Sierpińskin kolmio, Tai, Totuustaulu, Unioni, Vahva ja heikko tyypitys, Vaihdannaisuus.
Binäärijärjestelmä
Binäärijärjestelmä, binaarijärjestelmä eli 2-järjestelmä on kantalukujärjestelmä, jonka kantaluku on kaksi.
Uusi!!: Disjunktio ja Binäärijärjestelmä · Katso lisää »
Boolen algebra
Boolen algebra on George Boolen mukaan nimensä saanut algebrallinen struktuuri, joka toimii loogisen lausekalkyylin ja joukko-opin mallina.
Uusi!!: Disjunktio ja Boolen algebra · Katso lisää »
C (ohjelmointikieli)
C on yleiskäyttöinen, imperatiivinen ja rakenteinen käännettävä tietokoneiden ohjelmointikieli, joka on levinnyt laajalle 1970-luvulta lähtien, jolloin Dennis Ritchie kehitti sen UNIX-käyttöjärjestelmää varten.
Uusi!!: Disjunktio ja C (ohjelmointikieli) · Katso lisää »
De Morganin lait
De Morganin lait ovat logiikan päättelysääntöjä.
Uusi!!: Disjunktio ja De Morganin lait · Katso lisää »
Eksistenssikvanttori
Eksistenssikvanttori eli olemassaolokvanttori (\exists) on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta ainakin yhdelle joukon alkiolle, eli jonkin ominaisuuden toteuttava alkio on olemassa.
Uusi!!: Disjunktio ja Eksistenssikvanttori · Katso lisää »
Eksklusiivinen disjunktio
Eksklusiivinen disjunktio eli eksklusiivinen tai on looginen konnektiivi, jolla muodostettu yhdistetty lause on tosi, jos ja vain jos yhdistettävillä lauseilla on eri totuusarvot (toinen on tosi ja toinen epätosi).
Uusi!!: Disjunktio ja Eksklusiivinen disjunktio · Katso lisää »
Ekvivalenssi
Ekvivalenssi voi tarkoittaa seuraavia.
Uusi!!: Disjunktio ja Ekvivalenssi · Katso lisää »
Elektroniikka
Elektroniikka on sähkötekniikan osa, joka perustuu elektronien liikkeen ohjaamiseen.
Uusi!!: Disjunktio ja Elektroniikka · Katso lisää »
Idempotenssi
Matematiikassa funktion sanotaan olevan idempotentti, jos sillä suoritettava operaatio tuottaa saman tuloksen riippumatta siitä, suoritetaanko se vain yhden vai useamman kerran.
Uusi!!: Disjunktio ja Idempotenssi · Katso lisää »
Implikaatio
Implikaatio on kaksipaikkainen looginen konnektiivi, joka voidaan lukea ”jos…niin”.
Uusi!!: Disjunktio ja Implikaatio · Katso lisää »
Ja/tai
Ja/tai (ei-poissulkeva tai, ehdollinen tai) on suomen kielessä käytettävä sanayhdistelmä, joka koostuu rinnastuskonjunktioista ja sekä tai.
Uusi!!: Disjunktio ja Ja/tai · Katso lisää »
JavaScript
JavaScript on alun perin Netscapen kehittämä, pääasiassa verkkoympäristössä käytettävä ohjelmointikieli.
Uusi!!: Disjunktio ja JavaScript · Katso lisää »
Joukko-oppi
Eulerin diagrammeilla. leikkausta esittävä Venn-diagrammi. Joukko-oppi on joukkojen ominaisuuksiin perehtynyt matematiikan osa-alue.
Uusi!!: Disjunktio ja Joukko-oppi · Katso lisää »
Kokonaisluku
Kokonaisluvut ovat arkipäiväiset luvut, joilla yleensä ilmoitetaan kohteiden lukumäärää.
Uusi!!: Disjunktio ja Kokonaisluku · Katso lisää »
Konjunktio (logiikka)
Lausetta \scriptstyle A \land B vastaava Venn-diagrammi Lausetta \scriptstyle A \land B \land C vastaava Venn-diagrammi Konjunktio on propositiologiikassa kaksipaikkainen looginen konnektiivi, joka vastaa yleiskielen sanaa ja.
Uusi!!: Disjunktio ja Konjunktio (logiikka) · Katso lisää »
Latina
Latina (lat. lingua latina, sermo latinus) on indoeurooppalainen kieli, jota puhuttiin alun perin vain Roomassa ja sitä ympäröivällä Latiumin alueella Italiassa.
Uusi!!: Disjunktio ja Latina · Katso lisää »
Liitännäisyys
Liitännäisyys eli assosiatiivisuus tarkoittaa laskutoimituksen riippumattomuutta sitomisjärjestyksestä.
Uusi!!: Disjunktio ja Liitännäisyys · Katso lisää »
Looginen portti
Looginen portti muodostuu kytkimistä, joiden avulla voidaan tehdä laskutoimituksia tai loogisia konnektiiveja Boolen algebran avulla digitaalisissa piireissä.
Uusi!!: Disjunktio ja Looginen portti · Katso lisää »
Matemaattinen logiikka
Matemaattinen logiikka viittaa kahteen erilliseen tutkimusalueeseen: toisaalta formaalisen logiikan menetelmien soveltamiseen matematiikkaan ja matemaattiseen päättelyyn, ja toisaalta matemaattisten menetelmien soveltamiseen formaalisen logiikan esittämisessä ja analysoinnissa.
Uusi!!: Disjunktio ja Matemaattinen logiikka · Katso lisää »
Monotoninen funktio
Monotoninen funktio on matematiikassa funktio, jonka arvot pelkästään kasvavat tai vähenevät määrittelyjoukossaan.
Uusi!!: Disjunktio ja Monotoninen funktio · Katso lisää »
Ohjelmointikieli
Ohjelmointikielet ovat formaaleja kieliä, joita ohjelmoijat käyttävät tietokoneen ohjelmointiin algoritmin toteuttamiseksi.
Uusi!!: Disjunktio ja Ohjelmointikieli · Katso lisää »
OR-portti
OR-portti. OR-portti (josta käytetään suomalaista nimitystä tai) on looginen portti, joka vastaa loogista disjunktiota ja siten sanaa ”tai”.
Uusi!!: Disjunktio ja OR-portti · Katso lisää »
Osittelulaki
Osittelulaki on myös distributiivisuutena tunnettu algebrallinen ominaisuus laskuoperaatiolle.
Uusi!!: Disjunktio ja Osittelulaki · Katso lisää »
Predikaattilogiikka
Predikaattilogiikka on symbolisen logiikan osa-alue, jolla tutkitaan tietynlaisia formaalikieliä.
Uusi!!: Disjunktio ja Predikaattilogiikka · Katso lisää »
Propositiologiikka
Propositiologiikka eli lauselogiikka on symbolisen logiikan alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien formaalikielen lauseiden ominaisuuksia.
Uusi!!: Disjunktio ja Propositiologiikka · Katso lisää »
Puolan kieli
Puolan kieli (język polski) on slaavilaisiin kieliin kuuluva Puolan virallinen kieli.
Uusi!!: Disjunktio ja Puolan kieli · Katso lisää »
Python (ohjelmointikieli)
Python on ohjelmointikieli, jolle on tunnusomaista hyvä luettavuus, korkea abstraktiotaso ja kehittyneet kirjastot monilla eri sovellusalueilla.
Uusi!!: Disjunktio ja Python (ohjelmointikieli) · Katso lisää »
Reaaliluku
Lukusuora, johon on merkitty joitakin erityisiä reaalilukuja Reaaliluvut voidaan kuvailla havainnollisesti eri tavoin: yksi tapa on sanoa, että niihin luetaan sekä rationaaliluvut (kuten 2 tai 2/3) että irrationaaliluvut (kuten \pi tai neliöjuuri 2).
Uusi!!: Disjunktio ja Reaaliluku · Katso lisää »
Sierpińskin kolmio
Sierpińskin kolmio Sierpińskin kolmio on fraktaali, joka on nimetty puolalaisen matemaatikon Wacław Sierpińskin mukaan, joka konstruoi sen vuonna 1915.
Uusi!!: Disjunktio ja Sierpińskin kolmio · Katso lisää »
Tai
Tai voi tarkoittaa seuraavia.
Uusi!!: Disjunktio ja Tai · Katso lisää »
Totuustaulu
Totuustaulu on propositiologiikassa käytettävä taulukko, jossa on lueteltu tutkittava lause ja sen alikaavat.
Uusi!!: Disjunktio ja Totuustaulu · Katso lisää »
Unioni
Unioni (liitto) tarkoittaa esimerkiksi.
Uusi!!: Disjunktio ja Unioni · Katso lisää »
Vahva ja heikko tyypitys
Vahva ja heikko tyypitys on ohjelmointikielien tyyppijärjestelmän ominaisuus, joka määrittelee miten erityyppisten muuttujien väliset muunnokset käsitellään keskenään.
Uusi!!: Disjunktio ja Vahva ja heikko tyypitys · Katso lisää »
Vaihdannaisuus
Kommutatiivisuus eli vaihdannaisuus on algebrallinen käsite.
Uusi!!: Disjunktio ja Vaihdannaisuus · Katso lisää »
