Research output: Chapter in Book/Report/Conference proceeding › Chapter
Research output: Chapter in Book/Report/Conference proceeding › Chapter
}
TY - CHAP
T1 - ПРОБЛЕМА ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ: ОТ СЕМАНТИКИ К СООТВЕТСТВИЮ КАРРИ-ГОВАРДА
T2 - статья в сборнике статей
AU - Ламберов, Лев Дмитриевич
AU - Кляшторный, Алексей Сергеевич
PY - 2014
Y1 - 2014
N2 - В статье рассматривается проблема тождества компьютерных программ. Проблема тождества исследуется с точки зрения операционной и денотационной семантик, а также соответствия Карри-Говарда. В статье демонстрируется, что проблема тождества не может быть однозначно решена в рамках этих подходов. Однако эти подходы позволяют сформулировать операционное определение компьютерной программы, позволяющее приравнять онтологический статус компьютерной программы к статусу абстрактных логико-математических объектов.
AB - В статье рассматривается проблема тождества компьютерных программ. Проблема тождества исследуется с точки зрения операционной и денотационной семантик, а также соответствия Карри-Говарда. В статье демонстрируется, что проблема тождества не может быть однозначно решена в рамках этих подходов. Однако эти подходы позволяют сформулировать операционное определение компьютерной программы, позволяющее приравнять онтологический статус компьютерной программы к статусу абстрактных логико-математических объектов.
UR - https://elibrary.ru/item.asp?id=22689418
M3 - Глава
VL - 1
SP - 71
EP - 76
BT - ЧЕЛОВЕК В ТЕХНОСРЕДЕ: КОНВЕРГЕНТНЫЕ ТЕХНОЛОГИИ, ГЛОБАЛЬНЫЕ СЕТИ, ИНТЕРНЕТ ВЕЩЕЙ
PB - Вологодский государственный педагогический институт
CY - Вологда
ER -
ID: 10226801