Logo
Unionpedia
Viestintä
Get it on Google Play
Uusi! Lataa Unionpedia Android™-laitteella!
Vapaa
Nopeamman yhteyden kuin selaimen!
 

Metakieli

Indeksi Metakieli

Metakieli on logiikassa ja kielitieteessä kieli, jota käytetään silloin, kun kieli itsessään on tutkimuskohteena.

12 suhteet: Backus–Naur-muoto, Kieli, Kielitiede, Logiikka, Luonnollinen kieli, Objektikieli, Ohjelmointikieli, Päättely, Propositiologiikka, Suomen kieli, Täsmäkieli, Tietokoneohjelma.

Backus–Naur-muoto

Backus–Naur-muoto (BNF, Backus–Naur form) on metakieli, jota käytetään ilmaisemaan kontekstiriippumattomia kielioppeja.

Uusi!!: Metakieli ja Backus–Naur-muoto · Katso lisää »

Kieli

Kieli on ihmisten sopimuksenvarainen äännesymbolien järjestelmä.

Uusi!!: Metakieli ja Kieli · Katso lisää »

Kielitiede

Kielitiede eli lingvistiikka on kieltä tutkiva tiede.

Uusi!!: Metakieli ja Kielitiede · Katso lisää »

Logiikka

Logiikka (kreikan sanasta λογική, johdettu sanasta λόγος, ”sana”, ”järjestys”, ”järki”) on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä.

Uusi!!: Metakieli ja Logiikka · Katso lisää »

Luonnollinen kieli

Luonnollinen kieli on kieli, jolla ihmiset yleisesti kommunikoivat keskenään ja joka on kehittynyt ja siirtynyt sukupolvelta toiselle osana normaalia sosiaalista kanssakäymistä.

Uusi!!: Metakieli ja Luonnollinen kieli · Katso lisää »

Objektikieli

Objektikieli on kieli, joka on tutkimuksen kohteena jollakin alalla, kuten logiikassa, kielitieteessä, matematiikassa tai tietojenkäsittelyteoriassa.

Uusi!!: Metakieli ja Objektikieli · Katso lisää »

Ohjelmointikieli

Ohjelmointikielet ovat formaaleja kieliä, joita ohjelmoijat käyttävät tietokoneen ohjelmointiin algoritmin toteuttamiseksi.

Uusi!!: Metakieli ja Ohjelmointikieli · Katso lisää »

Päättely

Ajattelija'' (1880-82), Ny Carlsberg Glyptotek, Kööpenhamina. Päättely on ajattelua, joka tavallisesti etenee oletuksista johtopäätökseen.

Uusi!!: Metakieli ja Päättely · Katso lisää »

Propositiologiikka

Propositiologiikka eli lauselogiikka on symbolisen logiikan alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien formaalikielen lauseiden ominaisuuksia.

Uusi!!: Metakieli ja Propositiologiikka · Katso lisää »

Suomen kieli

Suomen kieli eli suomi on uralilaisten kielten itämerensuomalaiseen ryhmään kuuluva kieli, jota puhuvat pääosin suomalaiset.

Uusi!!: Metakieli ja Suomen kieli · Katso lisää »

Täsmäkieli

Täsmäkieli on tietylle sovellusalueelle erikoistunut ohjelmointikieli.

Uusi!!: Metakieli ja Täsmäkieli · Katso lisää »

Tietokoneohjelma

Tietokoneohjelma (usein lyhyesti vain ohjelma) on joukko ennalta laadittuja käskyjä, suunnitelma tai proseduuri, jota seuraten tietokone suorittaa sille valmistellun ongelmanratkaisutehtävän: ohjelmia yleisesti kutsutaan ohjelmistoksi vastakohtana laitteistolle.

Uusi!!: Metakieli ja Tietokoneohjelma · Katso lisää »

LähteväSaapuvat
Hei! Olemme Facebookissa nyt! »