Aihe-ehdotuksia
- matemaattinen logiikka 11
- Hoaren logiikka 2
- Mathematical Information Technology 2
- Tietotekniikka 2
- Turing 2
- WP-laskenta 2
- aksiomaattinen semantiikka 2
- epätäydellisyys 2
- heikoimman esiehdon semantiikka 2
- lukuteoria 2
- matemaattinen tilastotiede 2
- ohjausjärjestelmät 2
- ohjelmointi 2
- predikaattilogiikka 2
- rekursiivisuus 2
- systeemiteoria 2
- tietojärjestelmät 2
- 201 1
- 4041 1
- 4043 1
- 602 1
- Filosofia 1
- Gödel, Kurt 1
- Hilbert, David 1
- Matematiikka 1
- Mathematics 1
- Philosophy 1
- Sarkovskiin lause 1
- Skolemin funktio 1
- Skolemin normaalimuoto 1
-
1
Matemaattisen logiikan historia - logiikan kielien täydellisyys
Julkaistu 2010Aiheet: “…matemaattinen logiikka…”
Pro gradu -
2
Churchin lause RA-kielelle
Julkaistu 2007Aiheet: “…matemaattinen logiikka…”
Hae kokoteksti
Pro gradu -
3
Algebraic specification of information systems
Julkaistu 1995Aiheet: “…matemaattinen logiikka…”
Väitöskirja -
4
Algebraic specification of information systems
Julkaistu 1995Aiheet: “…matemaattinen logiikka…”
Hae kokoteksti Hae kokotekstiVäitöskirja -
5
-
6
Dynaamiset systeemit: kvadraattinen funktio
Julkaistu 2008Aiheet: “…matemaattinen logiikka…”
Pro gradu -
7
Kurt Gödelin epätäydellisyyslauseiden vaikutuksista David Hilbertin ohjelmaan
Julkaistu 2004Aiheet: Hae kokoteksti Hae kokotekstiPro gradu -
8
Kirjastokokoelman kirjojen kunnon ennustaminen logistisella regressiomallilla
Julkaistu 2003Aiheet: Hae kokoteksti Hae kokotekstiPro gradu -
9
Skolemin normaalimuoto predikaattilogiikassa
Julkaistu 2025Aiheet: Hae kokoteksti Hae kokotekstiKandityö -
10
-
11
WP-laskennan oikeellisuus ja täydellisyys
Julkaistu 2003Aiheet: Hae kokoteksti Hae kokotekstiPro gradu