University of Jyväskylä | JYX Digital Repository

  • English  | Give feedback |
    • suomi
    • English
 
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.
View Item 
  • JYX
  • Opinnäytteet
  • Pro gradu -tutkielmat
  • View Item
JYX > Opinnäytteet > Pro gradu -tutkielmat > View Item

Churchin lause RA-kielelle

Thumbnail
View/Open
558.7Kb

Downloads:  
Show download detailsHide download details  
Authors
Viitasalo, Juho
Date
2007
Discipline
MatematiikkaMathematics

 
Keywords
Turing rekursiivisuus epätäydellisyys matemaattinen logiikka lukuteoria
URI

http://urn.fi/URN:NBN:fi:jyu-2007585

Metadata
Show full item record
Collections
  • Pro gradu -tutkielmat [23362]

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)
  • 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 ...
  • Browse materials
  • Browse materials
  • Articles
  • Conferences and seminars
  • Electronic books
  • Historical maps
  • Journals
  • Tunes and musical notes
  • Photographs
  • Presentations and posters
  • Publication series
  • Research reports
  • Research data
  • Study materials
  • Theses

Browse

All of JYXCollection listBy Issue DateAuthorsSubjectsPublished inDepartmentDiscipline

My Account

Login

Statistics

View Usage Statistics
  • How to publish in JYX?
  • Self-archiving
  • Publish Your Thesis Online
  • Publishing Your Dissertation
  • Publication services

Open Science at the JYU
 
Data Protection Description

Accessibility Statement

Unless otherwise specified, publicly available JYX metadata (excluding abstracts) may be freely reused under the CC0 waiver.
Open Science Centre