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

Tietojenkäsittelyteoria

Indeksi Tietojenkäsittelyteoria

Tietokoneen perustoiminta perustuu Turingin koneeseen, jolle kaikki tietojenkäsittelytapahtumat lopulta alistetaan. Tietojenkäsittelyteoria kehittää ja soveltaa matemaattisia menetelmiä tietojenkäsittelytehtävien systemaattiseen mallintamiseen, analysointiin ja ratkaisuun.

13 suhteet: Automaattiteoria, Formaali kieli, Formaali kielioppi, Laskettavuus, Logiikka, Mikropiiri, Ohjelmointikielen kääntäjä, Ohjelmointikieli, Protokolla (tietoliikenne), Reititys, Rinnakkaisuus, Salaus, Sanojen kombinatoriikka.

Automaattiteoria

Automaattiteoria tarkastelee diskreetin signaalinkäsittelyn perusmalleja ja -menetelmiä.

Uusi!!: Tietojenkäsittelyteoria ja Automaattiteoria · Katso lisää »

Formaali kieli

Formaali kieli on tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta.

Uusi!!: Tietojenkäsittelyteoria ja Formaali kieli · Katso lisää »

Formaali kielioppi

Formaali kielioppi on rakenne, joka kuvaa tarkasti formaalin kielen.

Uusi!!: Tietojenkäsittelyteoria ja Formaali kielioppi · Katso lisää »

Laskettavuus

Laskettavuus on teoreettisen tietojenkäsittelytieteen laskettavuusteorian haara, joka tutkii ongelmien ratkeavuutta algoritmisesti.

Uusi!!: Tietojenkäsittelyteoria ja Laskettavuus · 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!!: Tietojenkäsittelyteoria ja Logiikka · Katso lisää »

Mikropiiri

Metallikoteloitu mikropiiri vuodelta 1984 (kotelo avattu) 250px Mikropiiri eli integroitu piiri (IC) on elektroniikan puolijohdekomponentti, johon on integroitu suuri määrä aktiivisia (transistorit, diodit) ja usein myös passiivisia (vastus, kondensaattori) elektronisia komponentteja.

Uusi!!: Tietojenkäsittelyteoria ja Mikropiiri · Katso lisää »

Ohjelmointikielen kääntäjä

Ohjelmointikielen kääntäjä on tietokoneohjelma, joka luo tietokoneohjelman ohjelmointikielisen lähdekoodin perusteella konekielisen ajettavan binääritiedoston (eli kääntää ohjelman).

Uusi!!: Tietojenkäsittelyteoria ja Ohjelmointikielen kääntäjä · Katso lisää »

Ohjelmointikieli

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

Uusi!!: Tietojenkäsittelyteoria ja Ohjelmointikieli · Katso lisää »

Protokolla (tietoliikenne)

Protokolla eli yhteyskäytäntö on käytäntö tai standardi, joka määrittelee tai mahdollistaa laitteiden tai ohjelmien väliset yhteydet ja tiedonsiirron.

Uusi!!: Tietojenkäsittelyteoria ja Protokolla (tietoliikenne) · Katso lisää »

Reititys

Reitityksellä tarkoitetaan algoritmista reitin valitsemista.

Uusi!!: Tietojenkäsittelyteoria ja Reititys · Katso lisää »

Rinnakkaisuus

Rinnakkaisuus tarkoittaa tietojenkäsittelytieteessä ongelman ratkaisemista siten, että sen osaongelmat ratkaistaan joko näennäisesti tai aidosti yhtä aikaa rinnakkaisissa laskennoissa.

Uusi!!: Tietojenkäsittelyteoria ja Rinnakkaisuus · Katso lisää »

Salaus

Enigma-salauslaite Salaus eli kryptaus viittaa kryptologiassa prosessiin, jolla koodataan viestejä tai tietoja niin, että vain valtuutetut osapuolet voivat lukea niitä.

Uusi!!: Tietojenkäsittelyteoria ja Salaus · Katso lisää »

Sanojen kombinatoriikka

Sanojen kombinatoriikka on 1900-luvun lopulla kehittynyt matematiikan ja teoreettisen tietojenkäsittelytieteen haara, jossa tutkitaan sanoja symbolijonoina ilman semanttista merkitystä.

Uusi!!: Tietojenkäsittelyteoria ja Sanojen kombinatoriikka · Katso lisää »

Uudelleenohjaukset tässä:

Teoreettinen tietojenkäsittelytiede.

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