Nopeamman yhteyden kuin selaimen!
24 suhteet: Alan Turing, Algoritmi, Alonzo Church, Churchin–Turingin teesi, Colossus (tietokone), David Hilbert, Determinismi, Digitaalinen tietokone, Elektroniikka, Epätyhjyysongelma, Gödelin epätäydellisyyslause, Hilbertin ongelmat, Ihmisaivot, Kurt Gödel, Laskettavuus, Ohjelmointikieli, Osittaisfunktio, Pysähtymisongelma, Simulointi, Tekoäly, Tietojenkäsittelyteoria, Tietokone, Turing-vahva, Turingin testi.
Alan Turing
Alan Mathison Turing (23. kesäkuuta 1912 Lontoo – 7. kesäkuuta 1954 Wilmslow) oli brittiläinen matemaatikko ja logiikan tutkija, joka vuonna 1936 julkaisi formalisoimansa algoritmin ja tietojenkäsittelytieteessä käytetyn Turingin kone -käsitteen.
Uusi!!: Turingin kone ja Alan Turing · Katso lisää »
Algoritmi
Algoritmi on yksityiskohtainen kuvaus tai ohje siitä, miten tehtävä tai prosessi suoritetaan; jota seuraamalla voidaan ratkaista tietty ongelma.
Uusi!!: Turingin kone ja Algoritmi · Katso lisää »
Alonzo Church
Alonzo Church (14. kesäkuuta 1903 Washington – 11. elokuuta 1995 Hudson, Ohio) oli yhdysvaltalainen matemaatikko.
Uusi!!: Turingin kone ja Alonzo Church · Katso lisää »
Churchin–Turingin teesi
Church–Turingin konjektuuri (myös Church-Turingin teesi, Churchin väite ja Turingin väite) on yhdistetty hypoteesi niiden funktioiden luonteesta, joiden arvot ovat tehokkaasti laskettavissa.
Uusi!!: Turingin kone ja Churchin–Turingin teesi · Katso lisää »
Colossus (tietokone)
Colossus Mark II Colossus oli maailman ensimmäinen ohjelmoitava elektroninen tietokone.
Uusi!!: Turingin kone ja Colossus (tietokone) · Katso lisää »
David Hilbert
Valokuva vuodelta 1912 David Hilbert (23. tammikuuta 1862 Wehlau, lähellä Königsbergiä, Preussi (nykyinen Kaliningrad, Venäjä) – 14. helmikuuta 1943 Göttingen, Saksa) oli saksalainen matemaatikko.
Uusi!!: Turingin kone ja David Hilbert · Katso lisää »
Determinismi
Determinismi eli lainalaisuusoppi on filosofian näkökanta, jonka mukaan kaikilla asioilla on syynsä.
Uusi!!: Turingin kone ja Determinismi · Katso lisää »
Digitaalinen tietokone
Colossus Digitaalinen tietokone on laite, joka kykenee käsittelemään tietoa diskreetteinä arvoina.
Uusi!!: Turingin kone ja Digitaalinen tietokone · Katso lisää »
Elektroniikka
Elektroniikka on sähkötekniikan osa, joka perustuu elektronien liikkeen ohjaamiseen.
Uusi!!: Turingin kone ja Elektroniikka · Katso lisää »
Epätyhjyysongelma
Epätyhjyysongelmalla tarkoitetaan kysymystä siitä, hyväksyykö jokin mielivaltainen Turingin kone yhtään syötemerkkijonoa.
Uusi!!: Turingin kone ja Epätyhjyysongelma · Katso lisää »
Gödelin epätäydellisyyslause
Gödelin epätäydellisyyslauseet ovat Kurt Gödelin vuonna 1931 todistamat kaksi lausetta.
Uusi!!: Turingin kone ja Gödelin epätäydellisyyslause · Katso lisää »
Hilbertin ongelmat
Hilbertin ongelmat on 23 matemaattisen ongelman luettelo, jotka saksalainen matemaatikko David Hilbert esitteli Pariisin matemaatikkokonferenssissa vuonna 1900.
Uusi!!: Turingin kone ja Hilbertin ongelmat · Katso lisää »
Ihmisaivot
Ihmisen aivot Ihmisaivot eli ihmisen aivot ovat päässä kallon sisällä sijaitseva keskushermostoa hallitseva elin, jonka päätehtävä on käsitellä aistien välityksellä saatua informaatiota siten, että ihmisen toimintakyky ympäristössään säilyy.
Uusi!!: Turingin kone ja Ihmisaivot · Katso lisää »
Kurt Gödel
Kurt Friedrich Gödel (28. huhtikuuta 1906 Brünn – 14. tammikuuta 1978 Princeton) oli itävaltalais-yhdysvaltalainen matemaatikko ja filosofi, jota pidetään yhtenä kaikkien aikojen merkittävimmistä loogikoista.
Uusi!!: Turingin kone ja Kurt Gödel · Katso lisää »
Laskettavuus
Laskettavuus on teoreettisen tietojenkäsittelytieteen laskettavuusteorian haara, joka tutkii ongelmien ratkeavuutta algoritmisesti.
Uusi!!: Turingin kone ja Laskettavuus · Katso lisää »
Ohjelmointikieli
Ohjelmointikielet ovat formaaleja kieliä, joita ohjelmoijat käyttävät tietokoneen ohjelmointiin algoritmin toteuttamiseksi.
Uusi!!: Turingin kone ja Ohjelmointikieli · Katso lisää »
Osittaisfunktio
Osittaisfunktio on funktion \mathbff:A\to B yleistys, joka liittää jokaiseen lähtöjoukon \mathbfA alkioon \mathbfa enintään yhden maalijoukon \mathbfB alkion, jota merkitään \mathbff(a), jos tämä \mathbfa:n liitettävä alkio on olemassa.
Uusi!!: Turingin kone ja Osittaisfunktio · Katso lisää »
Pysähtymisongelma
Pysähtymisongelma koskee syötteenä annetun, mielivaltaisen ohjelman pysähtymistestausta.
Uusi!!: Turingin kone ja Pysähtymisongelma · Katso lisää »
Simulointi
Ensimmäisen maailmansodan aikainen hevossimulaattori. Simulointi tai simulaatio on todellisuuden jäljittelyä.
Uusi!!: Turingin kone ja Simulointi · Katso lisää »
Tekoäly
Tekoäly eli keinoäly tai AI (englannin sanoista artificial intelligence) on tietokone tai tietokoneohjelma, joka kykenee tekemään älykkäinä pidettäviä toimintoja.
Uusi!!: Turingin kone ja Tekoäly · Katso lisää »
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.
Uusi!!: Turingin kone ja Tietojenkäsittelyteoria · Katso lisää »
Tietokone
Columbia. Tietokone on laite, joka käsittelee numeeris-loogista tietoa ohjelmointinsa mukaisesti.
Uusi!!: Turingin kone ja Tietokone · Katso lisää »
Turing-vahva
Laskettavuuden teoriassa esitetään useita toisiaan lähellä olevia termejä, jotka kuvaavat minkä tahansa tietokonejärjestelmän eli laskennallisen järjestelmän suorittamisen rajoja ("computational power").
Uusi!!: Turingin kone ja Turing-vahva · Katso lisää »
Turingin testi
Turingin testi eli Turingin koe on Alan Turingin vuonna 1950 esittämä tapa kysymyksen "voivatko koneet ajatella?" ratkaisuun.
Uusi!!: Turingin kone ja Turingin testi · Katso lisää »
Uudelleenohjaukset tässä:
Turing-kone, Universaali Turingin kone, Universaali tietokone.
