Tiedot ja toiminnallisuudet
Kurssi
Julkaistu
(Päivitetty )
Helsingin yliopisto
Laskennan mallit
Opi, mitä tietokoneella voidaan ratkaista. Entä kuinka tehokkaasti se voidaan tehdä?
5 op
Paikan päällä
Aineopinnot
- logiikan, joukko-opin ja muiden tietojenkäsittelytieteessä keskeisten matematiikan osa-alueiden perusteiden ja todistustekniikoiden kertaus
- säännölliset kielet, deterministiset ja epädeterministiset äärelliset automaatit, säännölliset lausekkeet; niiden sovellukset ja rajoitukset
- yhteydettömät kielet ja kieliopit; niiden sovellukset ja rajoitukset
- Turingin kone ja muut yleiset laskennan mallit, universaali Turingin kone, Churchin-Turingin teesi
- laskennallisen ongelman ratkeavuuden käsite, keskeiset ratkeamattomuustulokset
- laskennallisen ongelman polynominen aikavaativuus; NP-täydellisyys
Sisältää
Tarkista sinulta vaadittavat suoritukset oppilaitoksen sivuilta.
Ei aktiivisia toteutuksia tällä hetkellä.
Lisätiedot ja ilmoittautuminen
- Hinta ja ilmoittautumisaika
Tarkista tieto korkeakoulun sivuilta
Tarkentavat tiedot:
Koulutusalat
Tietojenkäsittely ja tietoliikenne
Laajuus
5 op
Koodi
TKT20005
Järjestäjä
Helsingin yliopisto
Yhteystiedot
uni-help@helsinki.fi