WP-laskennan oikeellisuus ja täydellisyys
Samankaltainen aineisto
Näytetään aineistoja, joilla on samankaltainen nimeke tai asiasanat.
-
GPU-laskennan optimointi
Isohanni, Jari (2013)Näytönohjaimet, grafiikkasuorittimet, tarjoavat rinnakkaisen laskennan alustan, jossa voidaan suorittaa ohjelmakoodia satojen ydinten toimesta. Tämä alusta mahdollistaa matemaattisesti työläiden ongelmien ratkaisemisen ... -
Kirjastokokoelman kirjojen kunnon ennustaminen logistisella regressiomallilla
Åberg, Tomi (2003) -
Churchin lause RA-kielelle
Viitasalo, Juho (2007) -
Kurt Gödelin epätäydellisyyslauseiden vaikutuksista David Hilbertin ohjelmaan
Käkelä, Kai (2004) -
Adapting Formal Logic for Everyday Mathematics
Valmari, Antti (SCITEPRESS - Science and Technology Publications, 2022)Although logic is considered central to mathematics and computer science, there is evidence that teaching logic has not been a great success. We identify three issues where what is typically taught conflicts with what is ...
Ellei toisin mainittu, julkisesti saatavilla olevia JYX-metatietoja (poislukien tiivistelmät) saa vapaasti uudelleenkäyttää CC0-lisenssillä.