WP-laskennan oikeellisuus ja täydellisyys
Related items
Showing items with similar title or keywords.
-
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 ... -
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 ... -
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)