Hulkade moodustamine ja predikaatide defineerimine kui tegevus ning nende tegevustega lõpuni jõudmine
Karmo Talts
Käsitleme hulkade moodustamist tegevusena. Siis võib see tegevus mitte lõpule jõuda, nagu arvutiprogramm ei pruugi kunagi talle püstitud ülesande täitmist lõpetada.
Vaatame nõüüd predikaatide defineerimist, Kui predikaatide defineerimine on tegevus, siis ei pruugi ka konkreetse predikaadi defineermine kunagi lõpule jõuda.
No comments:
Post a Comment