Aihe-ehdotuksia
- matemaattinen logiikka 9
- Hoaren logiikka 2
- Turing 2
- WP-laskenta 2
- aksiomaattinen semantiikka 2
- epätäydellisyys 2
- heikoimman esiehdon semantiikka 2
- lukuteoria 2
- ohjelmointi 2
- rekursiivisuus 2
- 201 1
- 4041 1
- 4043 1
- 602 1
- Filosofia 1
- Gödel, Kurt 1
- Hilbert, David 1
- Matematiikka 1
- Mathematical Information Technology 1
- Mathematics 1
- Philosophy 1
- Sarkovskiin lause 1
- Tietotekniikka 1
- dynamiikka 1
- kartoitus 1
- kirjat 1
- kunto 1
- kvadraattinen perhe 1
- lauselogiikka 1
- log-lineaarinen malli 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
-
5
Dynaamiset systeemit: kvadraattinen funktio
Julkaistu 2008Aiheet: “…matemaattinen logiikka…”
Pro gradu -
6
Kurt Gödelin epätäydellisyyslauseiden vaikutuksista David Hilbertin ohjelmaan
Julkaistu 2004Aiheet: Hae kokoteksti Hae kokotekstiPro gradu -
7
Kirjastokokoelman kirjojen kunnon ennustaminen logistisella regressiomallilla
Julkaistu 2003Aiheet: Hae kokoteksti Hae kokotekstiPro gradu -
8
-
9
WP-laskennan oikeellisuus ja täydellisyys
Julkaistu 2003Aiheet: Hae kokoteksti Hae kokotekstiPro gradu