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

Resultado de la investigación: Chapter

Resumen

В статье рассматривается проблема тождества компьютерных программ. Проблема тождества исследуется с точки зрения операционной и денотационной семантик, а также соответствия Карри-Говарда. В статье демонстрируется, что проблема тождества не может быть однозначно решена в рамках этих подходов. Однако эти подходы позволяют сформулировать операционное определение компьютерной программы, позволяющее приравнять онтологический статус компьютерной программы к статусу абстрактных логико-математических объектов.
Idioma originalRussian
Título de la publicación alojadaЧЕЛОВЕК В ТЕХНОСРЕДЕ: КОНВЕРГЕНТНЫЕ ТЕХНОЛОГИИ, ГЛОБАЛЬНЫЕ СЕТИ, ИНТЕРНЕТ ВЕЩЕЙ
Subtítulo de la publicación alojadaстатья в сборнике статей
Lugar de publicaciónВологда
EditorialВологодский государственный педагогический институт
Páginas71-76
Número de páginas6
Volumen1
EstadoPublished - 2014

GRNTI

  • 02.15.00

Citar esto