35
9.4.2003
Teemu Kerola, Copyright 2003
Laskennan teoriaa ... (4)
•Mielivaltaisten ohjelmien ominaisuuksia voi päätellä kokonaislukujen ja niiden välisten funktioiden ominaisuuksista
laskennan
teoria
• Todistettuja lauseita ohjelmien
ominaisuuksista
• pätevät kaikille
tietokoneille
• nyt ja
tulevaisuudessa