Aihe-ehdotuksia
Näytetään 1 - 9 yhteensä 9 tuloksesta haulle '', hakuaika: 0,02s Tarkenna hakua
  1. 1
    Matemaattisen logiikan historia - logiikan kielien täydellisyys

    Matemaattisen logiikan historia - logiikan kielien täydellisyys Tekijä Kaunisto, Niko

    Julkaistu 2010
    Pro gradu
  2. 2
    Churchin lause RA-kielelle

    Churchin lause RA-kielelle Tekijä Viitasalo, Juho

    Julkaistu 2007
    Hae kokoteksti
    Pro gradu
  3. 3
    Dynaamiset systeemit: kvadraattinen funktio

    Dynaamiset systeemit: kvadraattinen funktio Tekijä Kalliokoski, Suvi

    Julkaistu 2008
    Pro gradu
  4. 4
    Algebraic specification of information systems

    Algebraic specification of information systems Tekijä Karimaa, Erkki

    Julkaistu 1995
    Väitöskirja
  5. 5
    WP-laskennan oikeellisuus ja täydellisyys

    WP-laskennan oikeellisuus ja täydellisyys Tekijä Vuorenmaa, Antti

    Julkaistu 2003
    Hae kokoteksti
    Pro gradu
  6. 6
    Kurt Gödelin epätäydellisyyslauseiden vaikutuksista David Hilbertin ohjelmaan

    Kurt Gödelin epätäydellisyyslauseiden vaikutuksista David Hilbertin ohjelmaan Tekijä Käkelä, Kai

    Julkaistu 2004
    Hae kokoteksti Hae kokoteksti
    Pro gradu
  7. 7
    Kirjastokokoelman kirjojen kunnon ennustaminen logistisella regressiomallilla

    Kirjastokokoelman kirjojen kunnon ennustaminen logistisella regressiomallilla Tekijä Åberg, Tomi

    Julkaistu 2003
    Hae kokoteksti Hae kokoteksti
    Pro gradu
  8. 8
    WP-laskennan oikeellisuus ja täydellisyys

    WP-laskennan oikeellisuus ja täydellisyys Tekijä Vuorenmaa, Antti

    Julkaistu 2003
    Hae kokoteksti Hae kokoteksti
    Pro gradu
  9. 9
    Churchin lause RA-kielelle

    Churchin lause RA-kielelle Tekijä Viitasalo, Juho

    Julkaistu 2007
    Hae kokoteksti Hae kokoteksti
    Pro gradu
Työkalut: RSS-syöte