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)

• Rothin lause 

  Pitkänen, Heikki (2012)

  Tämän pro gradu -tutkielman tarkoituksena on esitellä Diofantoksen approksimoinnin tuloksia ja antaa todistus Rothin lauseelle. Diofantoksen approksimoinnissa ollaan kiinnostuneita siitä, kuinka hyvin irrationaalilukuja ...