OSAAMISTAVOITTEET
Kurssin jälkeen tunnet tärkeimmät matemaattiset laskennan mallit ja niiden ominaisuudet. Osaat mallintaa laskentaa äärellisillä automaateilla ja kuvata yksinkertaisia syntaktisia hahmoja säännöllisillä lausekkeilla ja yhteydettömillä kieliopeilla. Ymmärrät kurssin aikana opiskeltavien laskentamallien ja kuvausformalismien mahdollisuudet ja rajoitukset sekä tunnet niiden väliset suhteet. Ymmärrät kuinka Turingin kone -malli määrittää kaiken, mitä voidaan laskea tietokoneohjelmilla, ja että on täsmällisesti määriteltyjä ongelmia, joita ei voida ratkaista millään ohjelmalla.Laajuus: 5
Aikataulu: 07.01.2025 - 11.04.2025
Vastuuopettaja (voimassa koko opetussuunnitelmakauden):
Vastuuopettaja (koskee tätä kurssikertaa): Pekka Orponen
Kurssin yhteystiedot (koskee tätä kurssikertaa):
Kurssin CEFR-taso (voimassa koko opetussuunnitelmakauden):
Opetuskieli ja suorituskielet (koskee tätä kurssikertaa):
Teaching language: Finnish. Languages of study attainment: Finnish
SISÄLTÖ, ARVIOINTI JA KUORMITTAVUUS
Sisältö
voimassa koko opetussuunnitelmakauden:
Äärilliset automaatit ja säännölliset kielet. Yhteydettömät kieliopit ja pinoautomaatit. Turingin koneet ja laskettavuus.
PERUSTIETOJA
Korvaavuudet
voimassa koko opetussuunnitelmakauden:
Esitiedot
voimassa koko opetussuunnitelmakauden:
LISÄTIETOJA
Lisätietoja
voimassa koko opetussuunnitelmakauden:
Opetuskieli: suomi
Opetusperiodi: 2024-2025 Kevät III - IV
2025-2026 Kevät III - IV