Showing items with similar title or keywords.

• WP-laskennan oikeellisuus ja täydellisyys 

  Vuorenmaa, Antti (2003)

• 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 ...

• The formal method known as B and a sketch for its implementation 

  Kaijanaho, Antti-Juhani (2002)

• Alkulukuja ja melkein alkulukuja 

  Tuononen, Minna (2011)

• Suhteellisten alkulukuparien todennäköisyys 

  Kosonen, Kati (2020)

  Tässä tutkielmassa osoitetaan, että kaksi satunnaisesti valittua kokonaislukua ovat keskenään suhteellisia alkulukuja 61% todennäköisyydellä. Tulosta lähestytään lukuteorian näkökulmasta erilaisten funktioiden ja niiden ...