ПРОБЛЕМА ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ: ОТ СЕМАНТИКИ К СООТВЕТСТВИЮ КАРРИ-ГОВАРДА: статья в сборнике статей

Результат исследований: Глава в книге, отчете, сборнике статейГлава

Аннотация

В статье рассматривается проблема тождества компьютерных программ. Проблема тождества исследуется с точки зрения операционной и денотационной семантик, а также соответствия Карри-Говарда. В статье демонстрируется, что проблема тождества не может быть однозначно решена в рамках этих подходов. Однако эти подходы позволяют сформулировать операционное определение компьютерной программы, позволяющее приравнять онтологический статус компьютерной программы к статусу абстрактных логико-математических объектов.
Язык оригиналаРусский
Название основной публикацииЧЕЛОВЕК В ТЕХНОСРЕДЕ: КОНВЕРГЕНТНЫЕ ТЕХНОЛОГИИ, ГЛОБАЛЬНЫЕ СЕТИ, ИНТЕРНЕТ ВЕЩЕЙ
Подзаголовок основной публикациистатья в сборнике статей
Место публикацииВологда
ИздательВологодский государственный педагогический институт
Страницы71-76
Число страниц6
Том1
СостояниеОпубликовано - 2014

ГРНТИ

  • 02.15.00 Общефилософские проблемы

Цитировать