English Version Русская версия
ОПИСАНИЕ

Косовский Николай Кириллович
Санкт-Петербургский государственный университет,Математико-механический факультет, Заведующий кафедрой kosov@NK1022.spb.edu

Программа на Паскале как математический объект

Доказывается, что любая процедура языка Паскаль без оператора ввода может быть доопределена до всюду применимой процедуры, что находится в оппозиции с аналогичным утверждением в теории алгоритмов. Это позволяет надеяться на создание математической теории программ, отличающуюся от теории алгоритмов.
информационные
спонсоры:
 
cпонсоры:

О CISCO