Laskettavuus ja todistaminen, 5 op

Tampereen yliopisto

Kuvaus
Suoritustavat

Opetusperiodit

Koodi

MATH.MA.775

Opetuskieli

englanti, suomi

Lukuvuodet

2024–2025, 2025–2026, 2026–2027

Opintojakson taso

Syventävät opinnot

Arviointiasteikko

Yleinen asteikko, 0-5

Vastuuhenkilö

Vastuuopettaja:

Kerkko Luosto

Vastuuopettaja:

Antti Kuusisto

Vastuuorganisaatio

Informaatioteknologian ja viestinnän tiedekunta 100 %

Järjestävä organisaatio

Tietotekniikan opetus 100 %

Laskettavuuden teorian alkeita:

Rekursiiviset funktiot (mukaan lukien minimalisaatio), Turingin kone ja näiden välinen yhteys. Muut laskennan mallit ja Churchin teesi. Ratkeavuus, laskettava lueteltavuus, täydellisyys edellisen suhteen, palautukset sekä esimerkkejä ratkeavuudesta ja palautuksista.

Todistaminen:

Muiden logiikoiden kuin predikaattilogiikan täydellisyydestä ja ratkeavuudesta.

Osaamistavoitteet

Esitietovaatimukset

Suositellut esitiedot

Lisätiedot

Studies that include this course

Suoritustapa 1

Opintojaksosta järjestetään toteutus lukuvuonna 2025-2026 3. periodissa.

Suoritustavan kaikki osat ovat pakollisia.

Osallistuminen opetukseen

Tietoja ei opetusohjelmassa

Tentti

Tietoja ei opetusohjelmassa

Suoritustapa 2

Tentti

Tietoja ei opetusohjelmassa