Kurs

Publicerad

(Uppdaterad )

Helsingfors universitet

Beräkningsmodeller

5 sp

På plats
Ämnesstudier
  • 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

Innehåller

Kontrollera de prestationer som krävs av dig på läroanstaltens webbplats.

Inga aktiva studiemomenter just nu.

Tilläggsuppgifter och anmälan

Pris och anmälningstid

Kontrollera informationen på högskolans webbsida

Gå till högskolans webbplats(Öppnas i en ny flik)

Detaljerad information:

Utbildningsområden

Databehandling och kommunikation

Omfattning

5 sp

Kod

TKT20005

Arrangör

Helsingfors universitet

Helsingfors universitet

Tilläggsuppgifter

uni-help@helsinki.fi

Ingår i temana:

Förändringshantering och analys