Churchin lause RA-kielelle
Related items
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 ...