Ero sivun ”Matematiikan kurssit” versioiden välillä

Matematiikan kurssit (näytä wikiteksti)

Versio 28. elokuuta 2010 kello 15.53

1 386 merkkiä lisätty , 13 vuotta sitten

Lisätty VT

Tentd

40

muokkausta

@@ Rivi 358: / Rivi 358: @@
 todennäköisyyslaskentaa, kun taas tällä jatkokurssilla päästään käsiksi
 asian ytimeen ja opitaan ehkä ymmärtämäänkin sitä.
+== Vaativuusteoria ==
+(10 op, satunnaisesti)
+=== Esitietovaatimukset ===
+Kurssilla ei ole varsinaisia esitietovaatimuksia, mutta koska kyse on syventävästä matematiikan kurssista on suositeltava käydä tarpeeksi aineopintojen kursseja ennen. Erityisesti Logiikka I ja Algebra I ovat hyödyllisiä.
+=== Sisältö ===
+Kurssilla käsitellään nimensä mukaisesti vaativuusteoriaa, joka tutkii kuinka vaikeita erilaiset laskennalliset ongelmat ovat. Kurssilla käytetään mallina TKTL:n Laskennan mallit -kurssilta tuttua Turingin konetta sekä esitellään tunnetuimmat vaativuusluokat P, NP ja PSPACE. Lisäksi käsitellään NP-täydellisyyttä ja PSPACE-täydellisyyttä. Lopuksi tutustutaan säännöllisiin kieliin ja äärellisiin tilakoneisiin (tällä kurssilla erikoistapaus Turingin koneesta).
+Kurssilla saatetaan myös esitellä lyhyesti deskriptiivistä vaativuusteoriaa, jolloin (matemaattisen) logiikan kursseista on hyötyä.
+=== Soveltuvuus ===
+Kurssin aihepiiri kuuluu tietojenkäsittelytieteilijöiden yleissivistykseen. Kurssin lähestymistapa on kuitenkin hyvin matemaattinen (todistukset tehdään tarkasti ilman käsien heiluttelua), joka saattaa olla vierasta käpistelijöille. Lisäksi kurssin tekniikat ovat usein tästä syystä melko matalalla tasolla, joten varsinaista yleiskuvaa vaativuusteoriasta ei saa, mutta vahvat perustiedot kylläkin.
 == Verkkoteoria ==