nyuuzyou/wikis huggingface dataset:
Miranda

Miranda tarkoittaa ainakin seuraavia asioita:
;paikkoja:
*Miranda, Venezuelan osavaltio
*Miranda de Ebro, kaupunki Burgosin maakunnassa Espanjassa
*Miranda do Douro, kaupunki Portugalissa
*Miranda, Uranuksen kuu
;henkilöitä:
*Miranda, naisen etunimi
*João Miranda de Souza Filho, pelaajanimeltään Miranda, brasilialainen jalkapalloilija
*Miranda, seuraavien henkilöiden sukunimi:
**Alípio de Miranda Ribeiro (1874–1939), brasilialainen eläintieteilijä
**Antônio Afonso de Miranda (1920–2021), brasilialainen roomalaiskatolinen piispa
**Carmen Miranda (1909–1955), portugalilais-brasilialainen sambalaulaja ja elokuvanäyttelijä
**Cyril Miranda (s. 1985), ranskalainen maastohiihtäjä
**Danny Miranda (s. 1964), brittiläinen basisti
**Diamantino Miranda (s. 1959), portugalilainen jalkapalloilija
**Edison Miranda (s. 1981), kolumbialainen nyrkkeilijä
**Francisco de Miranda (1750–1816), venezuelalainen vallankumouksellinen
**Francisco de Sá de Miranda (1481–1558), portugalilainen runoilija
**Hugo Miranda (s. 1980), paraguaylainen jalkapalloilija
**Isa Miranda, oik. Ines Isabella Sampietro (1905–1978), italialainen näyttelijä
**Jesús Miranda (s. 1946), puertoricolainen uskonnollinen johtaja, Creciendo en Gracia -lahkon perustaja
**João Miranda Teixeira (s. 1935), portugalilainen roomalaiskatolinen piispa
**José Ely de Miranda, Zito (1932–2015), brasilialainen jalkapalloilija
**Juan Carreño de Miranda (1614–1685), espanjalainen taidemaalari
**Leonardo de Miranda Pereira (s. 1936), brasilialainen roomalaiskatolinen piispa
**Lin-Manuel Miranda (s. 1980), yhdysvaltalainen näyttelijä, säveltäjä ja näytelmäkirjailija
**Maximino Martínez Miranda (s. 1951), meksikolainen roomalaiskatolinen piispa
**Miguel Angel Aguilar Miranda (s. 1939), ecuadorilainen roomalaiskatolinen piispa
**Perseo Miranda (s. 1965), italialainen heavy metal -laulaja
**Roberto Lopes Miranda, Roberto (s. 1944), brasilialainen jalkapalloilija
**Teodoro Enrique Pino Miranda (1946–2020), meksikolainen roomalaiskatolinen piispa
*Miranda, kuvitteellisia henkilöitä:
**Miranda, henkilö Shakespearen näytelmässä Myrsky
**Esteban Miranda, espanjalainen seikkailija ja gigolo Tarzan-kirjoissa
;muita merkityksiä:
*Miranda, brittiläinen komediasarja
*Miranda transalpina, ampiaishämähäkki
*Miranda IM, pikaviestinohjelma
*M/S Miranda, ahvenanmaalaisen Godby Shipping Ab:n omistuksessa oleva rahtilaiva
*"Miranda", Leevi and the Leavingsin kappale vuodelta 1991
*Miranda vastaan Arizona, Yhdysvaltain korkeimman oikeuden ennakkopäätös
** Edellisestä johdetut Miranda-oikeudet Yhdysvalloissa
Miranda (nimi)

Miranda on naisen etunimi. Nimi on peräisin William Shakespearen vuonna 1611 kirjoittamasta näytelmästä Myrsky. Latinassa ja italiassa mirandus, feminiinimuodossa miranda, merkitsee ihailtavaa, ihmettelemisen arvoista. Nimi tuli Englannissa käyttöön jo 1600-luvulla, myöhemmin siirtolaisuuden myötä myös Amerikassa, mutta on yleistynyt vasta 1900-luvulla.
Suomessa nimi Miranda on Väestö­rekisteri­keskuksen tietojen mukaan annettu vuoden 2015 maaliskuun alkuun mennessä 1301 naispuoliselle henkilölle. Nimi on Suomessa suosittu varsinkin romanien keskuudessa. Vuodesta 2015 lähtien Mirandan nimipäivä on suomen­ruotsalaisen kalenterin mukaan 5. toukokuuta.
== Tunnettuja Mirandoja ==
* Miranda Cosgrove (s. 1993), yhdysvaltalainen näyttelijä, laulaja ja lauluntekijä
* Miranda Hart (s. 1972), englantilainen näyttelijä, käsikirjoittaja ja stand up -koomikko 
* Miranda July, oik. Miranda Jennifer Grossinger (s. 1974), yhdysvaltalainen ohjaaja 
* Miranda Kerr (s. 1983), australialainen malli 
* Miranda Leek (s. 1993), yhdysvaltalainen jousiampuja
* Miranda Nild (s. 1997), thaimaalainen jalkapalloilija
* Miranda Otto (s. 1967), australialainen näyttelijä
* Miranda Richardson (s. 1958), brittiläinen näyttelijä 
* Miranda Saarentaus (s. 1957), suomalainen budo-opettaja 
* João Miranda de Souza Filho, Miranda (s. 1984), brasilialainen jalkapalloilija
* Miranda Vuolasranta, suomalainen poliittinen vaikuttaja (SDP)
Tunnettuja henkilöitä, joilla Miranda on sukunimenä, on lueteltu sivulla Miranda.
== Kuvitteellisia Mirandoja ==
* Miranda, Milanon herttua Prosperon tytär William Shakespearen näytelmässä Myrsky
* Miranda, samannimisen televisiosarjan päähenkilö
* Miranda Bailey, lääkäri tv-sarjassa Greyn anatomia
* Miranda Hobbes, asianajaja tv-sarjassa Sinkkuelämää
==Antsadata-kohde==
== Lähteet ==
Luokka:Etunimet
Mirja Huuhka

Mirja Elli Huuhka (o.s. Narinen;Kuka kukin on 1978, s. 256 Runeberg.org. 13. marraskuuta 1916 Kymi – 8. marraskuuta 2005 Helsinki)Raili Malmberg: Erikoistoimittaja ahkeroi järjestötyössä – Yhteiskuntatieteiden kandidaatti Mirja Huuhka (maksullinen artikkeli) Helsingin Sanomat 28.11.2005. Viitattu 18.7.2018. oli suomalainen toimittaja, joka teki pitkän uran Kotilieden toimittajana ja toimitussihteerinä."Mirja Huuhka" teoksessa Eija Jämbäck: Naiset valistuksen virittäjinä. Konkordia-liitto viitattu 7.1.2017 s. 114–117 Hän kirjoitti lehteen vuosina 1942–1980, erikoisaloinaan puutarhanhoito, kodin rakennustyöt ja raha-asiat.
Huuhka kirjoitti ylioppilaaksi Kotkan lyseosta vuonna 1935 ja valmistui yhteiskuntatieteiden kandidaatiksi Yhteiskunnallisesta korkeakoulusta vuonna 1939. Hän työskenteli toimittajana useissa itäsuomalaisissa maakuntalehdissä ennen siirtymistään Kotilieteen.
Huuhka oli Suomalaisen Konkordia-liiton toimikunnan jäsen 39 vuotta, vuoteen 1988, ja kirjoitti liiton kolme ensimmäistä historiikkia. Hän oli liiton kunniajäsen. Lisäksi hän harrasti partiotoimintaa, kirjoitti partio-oppaita ja toimitti partiolehtiä.
Mirja Huuhkan puoliso oli professori Kosti Huuhka.
==Teokset==
* Partiotyttömme = Flickscouting i Finland = Our girl guides. toim. Mirja Huuhka Suomen partiotyttöjärjestön julkaisujaoston avustamana. Otava, 1952.
* Suomen partioliike 1910-1960. historiaosan kirj. Osmo Vesikansa; toimituskunta: Mirja Huuhka ja muita. Porvoo: WSOY, 1960.
* Konkordia-liitto naisten opiskelun toiminnan tukena vv. 1885–1960. toim. Mirja Huuhka. Helsinki: Konkordia-liitto, 1960.
* Rakennettiin toivekoti. Porvoo; WS, 1968
* Suomalainen Konkordia-liitto naisten opiskelun tukena. Hki: (Konkordia-liitto), 1970.
* Asmo Alho, Mika Waltari: Kieku ja Kaiku: Kotilieden sarjakuvakirja.; sarjojen valinta ja alkuteksti: Mirja Huuhka. Porvoo; WSOY, 1979 ISBN 951-0-09412-9.
* Suomalainen konkordia-liitto naisten opiskelun tukena 1970–1979. Hki: Suomalainen konkordia-liitto, 1980
* 100 vuotta naisten opiskelun tukena: Konkordia-liitto 1885–1985. Hki: Suomalainen konkordia-liitto, 1985 ISBN 951-99618-8-7.
* Työpaikkaruokailun uranuurtaja Työmaahuolto oy 1944–1978. historiikin kirj. Mirja Huuhka. Hki: Suomen naisten huoltosäätiö, 1987
* Mussalo: saaren elämää menneisyydestä nykypäivään. toim. Mirja Huuhka; julk.: Mussalon kotiseutuyhdistys. Kotka: Mussalon historiatoimikunta, 1988 ISBN 951-99929-9-5.
* Kunto ja terveys ry: 1958-1988. Hki: Kunto ja terveys, 1988
* Kaarela: neliapila. kirjoittaja: Mirja Huuhka; toimituskunta: Rauni Aaltonen ja muita; julkaisijat: Kannelmäki-seura r.y., Helsingin kaupunginosayhdistysten liitto, Helsingin kaupunki. Helsinki: Helsingin kaupunki, 1990 – (Helsingin kaupunginosat.). – (Kannelmäki-seuran julkaisuja.). ISBN 951-772-086-6.
*Viisi vuosikymmentä ja prologi: puutarhurin tyttären ja talonpojan pojan tarina. kertojina Mirja ja Kosti Huuhka. Helsinki: M. Huuhka: 1994
== Lähteet ==
Luokka:Suomalaiset toimittajat
Luokka:Vuonna 1916 syntyneet
Luokka:Vuonna 2005 kuolleet
Mirjami Laitinen

Mirjami Laitinen (s. 1948 Kangasniemi) on suomalainen virkamies, joka toimi Verohallinnon (ent. Verohallitus) pääjohtajana vuosina 2007–2012.
 
Laitinen kirjoitti ylioppilaaksi Kangasniemen lukiosta vuonna 1967 ja valmistui hallintotieteiden kandidaatiksi Tampereen yliopistosta 1972. Hän aloitti uransa Verohallinnossa verotarkastajana Uudenmaan Lääninverotoimistossa vuonna 1972. Ylitarkastaja hänestä tuli 1980, apulaisjohtaja 1990 ja Verotuskeskuksen ylijohtaja sekä pääjohtajan ensimmäinen sijainen 1997.
Laitinen jäi eläkkeelle Verohallinnosta 1. tammikuuta 2013 ja siirtyi Sitraan vanhemmaksi neuvonantajaksi. Laitisen seuraajaksi Verohallinnon pääjohtajaksi valittiin Pekka Ruuhonen.
==Lähteet==
*
===Viitteet===
Luokka:Valtionlaitosten johtajat
Luokka:Vuonna 1948 syntyneet
Luokka:Elävät henkilöt
Mirjami Lähteenkorva

Kirsti Mirjami Lähteenkorva (16. huhtikuuta 1904 Heinola – 4. tammikuuta 1968 Heinola) oli suomalainen opettaja ja runoilija.
Lähteenkorva pääsi ylioppilaaksi Käkisalmen yhteiskoulusta ja valmistui kansakoulunopettajaksi Helsingin ylioppilasseminaarista. Hän toimi kansakoulunopettajana Käkisalmella vuoteen 1939 saakka ja sen jälkeen hän oli Vaasassa 1940–1967 kansakoulunopettajana ja Vaasan käytännöllisen naisopiston tuntiopettajana. 
== Teoksia ==
* Hiljainen rukous : uskonnollisia runoja. Gummerus 1945
* Raamatun maa : uskonnollisia runoja. Gummerus 1946
* Kimalteleva tomu : valikoima suomalaista uskonnollista runoutta, koonnut Mirjami Lähteenkorva. Gummerus 1947, 4. painos 1962
* Savisydän : runoja. Gummerus 1952
* Lasinen kirkko : runoja. Gummerus 1958
* Kuin kukat ja linnut : valikoima runoja, toimittanut Kastehelmi Karjalainen. Gummerus 1968, 2. painos 1969
* Pilvi täynnä pisaroita : valitut runot, toimittanut Anna-Maija Raittila. Gummerus 1979, 2. korj. painos 1988
== Lähteet ==
* 
* Kirjastot.fi : kysy kirjastonhoitajalta : Perustiedot Mirjami Lähteenkorvasta ja hänen tuotannostaan
Luokka:Suomalaiset runoilijat
Luokka:Vuonna 1904 syntyneet
Luokka:Vuonna 1968 kuolleet
Missense-mutaatio

Missense-mutaatio on pistemutaatio, jossa yhden nukleotidin vaihtuminen toiseen aiheuttaa sen, että kodoni koodaa eri aminohappoa kuin ennen mutaatiota. Tämä johtaa siihen, että geeni koodaa proteiinia, mutta proteiinin toiminta saattaa olla heikentynyt tai täysin olematonta. Jos uusi aminohappo on kemiallisilta ominaisuuksiltaan aikaisemman kaltainen, ei mutaatio aiheuta välttämättä mitään muutosta proteiinin toimintaan. Tällöin on kyse neutraalista mutaatiosta.
==Katso myös==
*Hiljainen mutaatio
*Nonsense-mutaatio
Luokka:Mutaatiot
Mitali

__NOTOC__
Mitali on esimerkiksi muistoksi tai palkinnoksi tehty kolikkoa muistuttava metallilaatta. Mitali voidaan antaa kunnianosoituksena urheilukilpailuista ja myös muista siviiliansioista tai sotilasansioista tai henkilön tai tapahtuman muistoksi. Jotkin mitalikunniamerkit ovat osoitus kunniamerkkiin liittyvän ritarikunnan jäsenyydestä. Mitali on usein pyöreä, mutta muitakin muotoja esiintyy. Nelikulmaista mitalia kutsutaan monesti plaketiksi.
Urheilukilpailuissa jaetaan palkinnoiksi kulta-, hopea- tai pronssimitaleja. Näiden ei tarvitse olla tästä metallista tehtyjä, vaan mitalien aidonkaltainen väri on voitu saada aikaan pintakäsittelyllä. Ainakin talviolympialaisissa on jaettu kristallisia mitaleja. Joskus jaetaan myös platinamitaleita, jotka voidaan saada vain tiettyjä tehtäviä suorittamalla.
Mitalitaide on oma taiteenalansa. Monet kuvanveistäjät tekevät mitaleita, jotka voivat olla luonteeltaan puhtaasti taide-esineitä.
Mitaleita, kunniamerkkejä ja rahoja tutkii numismatiikka eli rahatiede. Mitalit ovat myös numismaattisen keräilyn kohteita.
== Katso myös ==
* Kunniamerkki
* Pokaali
== Lähteet ==
== Aiheesta muualla ==
* Suomen Mitalitaiteen Kilta
* Mitä on numismatiikka?
== Kirjallisuutta ==
* 
Luokka:Palkinnot
Luokka:Kuvanveistotaide
Luokka:Seulonnan keskeiset artikkelit
Mitta-asteikko

Tilastotieteessä mitta-asteikolla tarkoitetaan sitä, millaisia vertailuja ja laskutoimituksia tilastoaineistolle voidaan tehdä. Havaintojen mitta-asteikko määrää ne tilastolliset välineet, joita analyysissä voidaan käyttää.
Yleensä käytetään neljää mitta-asteikkoa:
* Luokitteluasteikko (nominaaliasteikko)
:Tällä asteikolla voidaan tilastoida havaintoja, jotka voidaan luokitella johonkin ryhmään (esimerkiksi nainen/mies tai moottoripyörä/polkupyörä/henkilöauto).
* Järjestysasteikko (ordinaaliasteikko)
:Tämän asteikon ryhmät voidaan järjestää jonkin kriteerin avulla (esimerkiksi mineraalien kovuutta mittaava Mohsin asteikko, korkeakoulututkinnot: kandidaatti/maisteri/tohtori tai sotilasarvot: luutnantti/yliluutnantti/kapteeni jne).
* Välimatka-asteikko (intervalliasteikko)
:Tällä asteikolla voidaan havainnosta laskea erotus (esimerkiksi Fahrenheit-asteikko ja Celsius-asteikko tai jostakin määrätystä ajankohdasta alkava ajanlasku).
* Suhdeasteikko (relatiiviasteikko/absoluuttinen asteikko)
:Tämän asteikon muuttujilla on yksikäsitteinen nollapiste, joten muuttujien välillä voidaan laskea osamääriä (esimerkiksi lämpötila kelvineinä, kappaleen tilavuus tai massa tai henkilön vuosittaiset tulot).
Keskilukuja laskettaessa ei toisinaan kiinnitetä riittävästi huomiota mitta-asteikkoon. Esimerkiksi aineiston käsittelyn yhteydessä kyselyn vastaukset ”täysin eri mieltä”, ..., ”täysin samaa mieltä” koodataan usein numeroarvoilla. Tämän jälkeen havainnoista voidaan laskea virheellisesti keskiarvo, vaikka se ei ole tässä tapauksessa mielekäs keskiluku.
Luokka:Tilastotiede
Luokka:Asteikot
Mittabosoni

Mittabosonit ovat hiukkasia, jotka välittävät perusvuorovaikutusta, joka liittyy johonkin jatkuvaan sisäiseen symmetriaan. Gravitaatiota lukuun ottamatta kaikki perusvuorovaikutukset osataan nykyään johtaa tällaisista symmetrioista. Hiukkasfysiikan standardimallin mittabosoneihin kuuluvat sähkömagneettista vuorovaikutusta välittävä fotoni, heikkoa vuorovaikutusta välittävät W- ja Z-bosonit sekä vahvaa vuorovaikutusta välittävä gluoni.
Standardimallin mittabosonit	Standardimallin mittabosonit
Hiukkanen 	Vuorovaikutus
fotoni 	sähkömagneettinen vuorovaikutus
W- ja Z-bosonit 	heikko vuorovaikutus
gluoni 	vahva vuorovaikutus
Jos vuorovaikutuksen taustalla oleva symmetria on tarkka, on vastaava mittabosoni massaton. Mikäli symmetria on rikkoutunut, voivat mittabosonit saada massan (ns. Higgsin mekanismi). Fotoni ja gluonit ovat massattomia, kun taas W- ja Z-bosonit ovat massallisia.
Mittabosonien spin on aina kokonaisluku, kuten muillakin bosoneilla. Kaikkien edellä mainittujen bosonien spin on 1. Usein oletetaan, että myös gravitaatiota välittäisi mittabosoni, gravitoni, jonka spin olisi 2. Gravitonit käsittävää kvanttigravitaation teoriaa ei toistaiseksi ole onnistuttu muotoilemaan matemaattisesti mielekkäällä tavalla.
==Lähteet==
==Aiheesta muualla==
* Particle Data Group – Gauge and Higgs Bosons
*
Mittanormaali

Mittanormaali on referenssi, johon vertaamalla voidaan tarkastaa ja kalibroida mittalaitteita. Mittanormaali voi olla mitattavasta suureesta riippuen kiintomitta (esimerkiksi punnus), mittauslaite (esimerkiksi laser), vertailuaine tai mittausjärjestelmä.Metrologian sanasto Kansalliset mittanormaalit verrataan kansainvälisen mittanormaalijärjestelmän referensseihin, ja kussakin maassa on sitten virallisia mittanormalilaboratorioita, joissa voidaan suorittaa vertailumittauksia.Lakiesitys 42/2006
== Lähteet ==
Luokka:Mittaaminen
Ml

Ml tarkoittaa seuraavia:
* 
* 
* 
* 
* 
* moottorilaiva, ml., polttomoottorin avulla kulkeva laiva
* miinalaiva, ml, sota-alus
* ML, ohjelmointikieli
* maahanlasku, ml, sotilasjoukkojen lasku ilma-aluksesta maahan
* maalaisliittolainen, ml, Maalaisliiton jäsen
* Mikkelin lääni, Ml., entinen lääni Suomessa
* merilaki, ML, laki
* Mainostajien Liitto, ML, mainostavien yritysten järjestö
* Master of Laws, M.L., anglosaksinen akateeminen arvo oikeustieteen alalta
* .
* mukaan luettu(i)na, ml.
== Lähteet ==
Mobira

Mobira Oy (myöhemmin Nokia-Mobira) oli suomalainen matkapuhelinten valmistaja. Nimi Mobira tuli sanoista mobile ja radiotelephone.
Nokian ja Saloran yhteisyritys Mobira Oy perustettiin vuonna 1979. Sen pääkonttori ja puhelintehdas oli Salossa. Oulun konttori valmisti tukiasemia ja verkkolaitteita. Ensimmäinen toimitusjohtaja oli Jorma U. Nieminen. Yksi Mobiran syntyyn vaikuttanut keskeinen tekijä oli, että NMT-matkapuhelintekniikka oli tulossa eikä kenelläkään kotimaisella valmistajalla ollut kunnollisia resursseja siihen.
Mobira julkaisi Senator-matkapuhelimensa vuonna 1982. Puhelin toimi NMT-verkossa. Se painoi 10 kg ja maksoi 20 000 markkaa. Senatorin ansiosta Mobirasta tuli Pohjoismaiden markkinajohtaja vuonna 1983.
Nokia osti Saloran 1984. Vuonna 1986 Mobiran nimi muutettiin Nokia-Mobiraksi osoittamaan Nokian yksinomistusta. Vuonna 1989 Nokia-Mobiran nimeksi muutettiin Nokia Mobile Phones.
Nokia-Mobira rekisteröi nimen Kännykkä omaksi tuotemerkikseen vuonna 1987. Nimeä Kännykkä® käytettiin joissain Cityman-mainoksissa, mutta siitä tuli pian matkapuhelimen yleisnimi, vaikka yhtiö yrittikin sitä estää.
== Puhelinmalleja ==
* Mobira Cityman 450
* Mobira Cityman 900
* Mobira MD25
* Mobira Senator
* Mobira Talkman
== Kuvia ==
Mobira Cityman 450.JPG
Nokia Talkman_(front).jpg
== Lähteet ==
== Aiheesta muualla ==
* Mobiran 40-vuotisjuhlaseminaarin (22.2.2019) videotallenne Youtubessa (4,5 tuntia) 
Luokka:Matkapuhelinvalmistajat
Luokka:Entiset suomalaiset yritykset
Mobira Cityman 900

Mobira Cityman 900 oli Nokia-Mobiran valmistama vuonna 1987 julkaistu NMT 900 verkossa toiminut matkapuhelin.
Puhelin tuli kansainvälisesti tunnetuksi kun Neuvostoliiton presidentti Mihail Gorbatšov käytti sitä soittaessaan Moskovaan lokakuussa 1989 Suomen vierailunsa aikana pidetyn lehdistötilaisuuden yhteydessä. Puhelinmalli sai tästä lempinimen Gorba.
Puhelinmallin suunnittelivat Matti Makkonen ja Jorma Pitkonen.
== Ominaisuudet ==
* Paino 760 grammaa
* Ulkomitat 183 x 43 x 79 mm
* 8-numeroinen nestekidenäyttö ja 20 valaistua näppäintä
* 99 + 2 puhelinnumeron muisti, puhelinnumeron pikavalinta
* Lähetinteho 1 W
* Nikkeli-kadmium -akku UL61, 9.6 V, 1000 mAh, varausaika 4 tuntia
* Käyttöaika 14 tuntia, puheaika 50 minuuttia yhdellä latauksella
* Autoasennussarja lisävarusteena
* Handsfree-toiminto autokäytössä
* Värivaihtoehdot musta, harmaa, koboltinsininen
* Hinta 24 000 markkaa (vuoden 2018 rahassa rahanarvokertoimella korjattuna yli 7 400 euroa)
== Lähteet ==
* Nokia Museum : Mobira Cityman 900
*ELIAS verkkonäyttely : Elektroniikkaa Salosta, Mobira Cityman 900
Luokka:Nokian matkapuhelimet
Luokka:Vuoden 1987 matkapuhelimet
Luokka:Mobiran matkapuhelimet
Modaalilogiikka

Modaalilogiikka (aleettinen modaalilogiikka) on logiikan alue, jolla tutkitaan aleettisten modaliteettien eli välttämättömyyden ja mahdollisuuden loogisia piirteitä. Usein termi "modaalilogiikka" ymmärretään kokonaisnimityksenä kaikkien modaliteettien logiikoille. Muita modaliteetteja ovat muun muassa episteeminen, temporaalinen ja deonttinen.
Alla esitellään esimerkinomainen aleettinen modaalilogiikka.
== Modaalilauselogiikka ==
=== Modaalilauselogiikan syntaksi ===
Modaalipropositiologiikka sisältää normaalien propositiologiikan
symbolien lisäksi merkinnät välttämättömyydelle (on välttämätöntä, että
p) ja mahdollisuudelle (on mahdollista, että p).
Seuraavassa rekursiivisessa määritelmässä määritellään kaikki
modaalipropositiologiikan lauseet.
Määritelmä 1
# Propositiosymbolit ovat modaalilogiikan lauseita.
# Jos A\,\! on modaalilogiikan lause, niin \neg{}A\,\! on modaalilogiikan lause.
# Jos A\,\! ja B\,\! ovat modaalilogiikan lauseita, niin (A\wedge{}B)\,\! on modaalilogiikan lause.
# Jos A\,\! ja B\,\! ovat modaalilogiikan lauseita, niin (A\vee{}B)\,\! on modaalilogiikan lause.
# Jos A\,\! ja B\,\! ovat modaalilogiikan lauseita, niin (A\to{}B)\,\! on modaalilogiikan lause.
# Jos A\,\! ja B\,\! ovat modaalilogiikan lauseita, niin (A\leftrightarrow{}B)\,\! on modaalilogiikan lause.
# Jos A\,\! on modaalilogiikan lause, niin LA\,\! on modaalilogiikan lause.
# Jos A\,\! on modaalilogiikan lause, niin MA\,\! on modaalilogiikan lause.
=== Modaalilauselogiikan semantiikka ===
== Kvantifiointi modaalilogiikassa ==
== Muita modaalilogiikoita ==
Muita modaalilogiikoita ovat muun muassa episteeminen logiikka,
temporaalinen logiikka, deonttinen logiikka ja doksastinen logiikka .
== Kirjallisuutta ==
* Allwood, Jens, Lars-Gunnar Andersson & Östen Dahl (1988): Logiikka ja kieli. 2. painos. Suomentanut Paavo Siro. Helsinki: Yliopistopaino. (1. painos 1980 Gaudeamuksen kustantamana. Alkuteos: Logik för lingvister, 1972. Suomennettu englanninkielisestä laitoksesta Logic in Linguistics, 1979.) ISBN 951-570-020-5
* Rantala, Veikko & Virtanen, Ari (2004): Johdatus modaalilogiikkaan. Helsinki: Gaudeamus. ISBN 951-662-907-5
== Aiheesta muualla ==
* 
* 
*
Modultek

Modultek Oy on nyt osa Roima Intelligence -yritystä. Kesäkuussa 2016 tapahtuneessa yrityskaupassa Modultekin tuotteet ja henkilöstö siirtyivät Roimaan. Samalla Roiman tuotevalikoima (ERP, MES/MOM, WMS, Konenäköratkaisut, esiselvitykset) laajeni kattamaan myös tuotteen elinkaaren hallinnan (PLM). Roimalla on nyt Suomessa laajin tarjooma ratkaisuja valmistavan yrityksen toimitusketjun optimointiin. 
Modultek oli suomalainen, vuonna 1989 perustettu yritys, joka myi ja kehitti ohjelmistoja ja palveluita tuotetiedon hallintaan ja informaation laadun hallintaan. Koska nimike on tuotetietojen ydin, Modultekin painopiste ja erityisosaamista on nimikkeiden hallinta yrityksen eri prosesseissa. Modultekin tunnetuimmat ohjelmistoratkaisut ovat Aton ja SolidPDM, jotka ovat CAD/CAM-yhdistyksen vuosittain teettämien kyselyiden mukaan (viimeisin kysely 2013) Suomen suosituin PDM-järjestelmäValokynä 2/2013, sekä CodeMaster. 
Modultekin päätoimipiste sijaitsi Porissa ja tytäryhtiö Modultek B.V. Hollannin Eindhovenissa. 
==Lähteet==
*Modultek Oy:n kotisivut
==Aiheesta muualla==
* Tuotteen elinkaaren hallinta
* Roiman kotisivut
Luokka:Suomalaiset ohjelmistoyritykset
Moduuli

Moduuli on itsenäinen osa, jollaisista voidaan koota erilaisia kokonaisuuksia. Moduuleista koostuva kokonaisuus on modulaarinen.
Moduuli tarkoittaa seuraavia asioita:
* moduuli, avaruusaluksen itsenäiseksi yksiköksi irroitettava osa
* moduuli, teollisen tuotantoprosessin osa
* moduuli, psykologian käsite, mentaalisen prosessin osa
* moduuli, roolipelin skenaario 
* CA-moduuli, television lisälaite salauksenpurkuun
* moduulirekka, puoliperävaunullisen kuorma-auton ja perävaunun yhdistelmä.
Matematiikassa moduli tarkoittaa seuraavia asioita:
* moduli, abstraktin algebran käsite
* yksinkertainen moduli, lineaarialgebran käsite
* puoliyksinkertainen moduli, lineaarialgebran käsite
* moduli, funktioteorian käsite
* moduli, ryhmien esitysteorian käsite
* modulimuoto, funktioteorian käsite.
Rakennustekniikassa moduuli tarkoittaa seuraavia asioita:
* kimmomoduuli, elastisuusmoduuli tai Youngin moduuli, rakenteiden lujuusopin termi
* moduulimitta, rakennusosien mitoituksen perusyksikkö
* moduuli tai kaanon, ihmisruumiin mittasuhteisiin perustuva mittayksikkö: ks. Vitruviuksen mies, Modulor, Canon 60
Tietotekniikassa moduuli tarkoittaa seuraavia asioita:
* Pelimoduuli (ROM-moduuli), tallennusväline, jossa muovikuoren sisällä on ROM-muistia
* moduuli, tietokoneohjelman toiminnallinen osio
* moduulitiedosto, tietokoneen tiedostomuoto (.mod).
Konetekniikassa moduuli tarkoittaa seuraavia asioita:
* Moduuli, hammasrattaan metristä mittaa, joka kertoo hammasrattaan jaosta ja koosta.
Moduuli (ohjelmointi)

Moduuli tarkoittaa tietokoneohjelman itsenäistä osaa, jolla on syöttötiedot, tulostiedot ja oma toiminnallinen tehtävä (funktio). Ohjelma voidaan koota moduuleista, jolloin puhutaan modulaarisesta ohjelmasta ja modulaarisesta ohjelmoinnista. Ohjelman testauksessa puhutaan moduulitestauksesta.
Modulaarisessa ohjelmoinnissa ohjelmamoduulin sidokset (muuttujat ja vakiot) muuhun ohjelmaan tulisi välittyä parametrien kautta. Tällöin ohjelmamoduuli on helppo siirtää tai kopioida ohjelmakoodin toiseen paikkaan eikä tule vaikeasti etsittäviä ohjelmointivirheitä kun uudessa ympäristössä samankaltaisia sidoksia ei ole. Tämä lisää ohjelmien luotettavuutta ja siirrettävyyttä, mutta saattaa laskea nopeutta.
== Katso myös ==
* Hajautetut järjestelmät
Luokka:Ohjelmointi
Moi

Moi voi tarkoittaa seuraavia asioita:
* Daniel arap Moi, Kenian presidentti vuodesta 1978 vuoteen 2002
* Toril Moi, norjalainen kirjallisuustieteen professori ja feministi
* Master of Illusion, vuonna 2007 julkaistu Nintendo DS -peli
* Moi, taajama Lundin kunnassa Norjassa
* Moision seisakkeen lyhennys Moi
* moi, suomalainen tervehdyssana
* Moi Mobiili, suomalainen mobiilioperaattori
Luokka:Seulonnan keskeiset artikkelit