Языки программирования как язык классической математики
Любая программа, любой алгоритм так или иначе является определением функции, что и отражается в соответствующих учебни- ках по математической логике, например в [1]. Самой главной пробле- мой, с которой мы сталкиваемся при принятии подобного взгляда, з...
|