Standard

ПРОБЛЕМА ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ: ОТ СЕМАНТИКИ К СООТВЕТСТВИЮ КАРРИ-ГОВАРДА: статья в сборнике статей. / Ламберов, Лев Дмитриевич; Кляшторный, Алексей Сергеевич.
ЧЕЛОВЕК В ТЕХНОСРЕДЕ: КОНВЕРГЕНТНЫЕ ТЕХНОЛОГИИ, ГЛОБАЛЬНЫЕ СЕТИ, ИНТЕРНЕТ ВЕЩЕЙ: статья в сборнике статей. Том 1 Вологда: Вологодский государственный педагогический институт, 2014. стр. 71-76.

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

Harvard

Ламберов, ЛД & Кляшторный, АС 2014, ПРОБЛЕМА ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ: ОТ СЕМАНТИКИ К СООТВЕТСТВИЮ КАРРИ-ГОВАРДА: статья в сборнике статей. в ЧЕЛОВЕК В ТЕХНОСРЕДЕ: КОНВЕРГЕНТНЫЕ ТЕХНОЛОГИИ, ГЛОБАЛЬНЫЕ СЕТИ, ИНТЕРНЕТ ВЕЩЕЙ: статья в сборнике статей. Том. 1, Вологодский государственный педагогический институт, Вологда, стр. 71-76.

APA

Ламберов, Л. Д., & Кляшторный, А. С. (2014). ПРОБЛЕМА ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ: ОТ СЕМАНТИКИ К СООТВЕТСТВИЮ КАРРИ-ГОВАРДА: статья в сборнике статей. в ЧЕЛОВЕК В ТЕХНОСРЕДЕ: КОНВЕРГЕНТНЫЕ ТЕХНОЛОГИИ, ГЛОБАЛЬНЫЕ СЕТИ, ИНТЕРНЕТ ВЕЩЕЙ: статья в сборнике статей (Том 1, стр. 71-76). Вологодский государственный педагогический институт.

Vancouver

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

Author

Ламберов, Лев Дмитриевич ; Кляшторный, Алексей Сергеевич. / ПРОБЛЕМА ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ: ОТ СЕМАНТИКИ К СООТВЕТСТВИЮ КАРРИ-ГОВАРДА : статья в сборнике статей. ЧЕЛОВЕК В ТЕХНОСРЕДЕ: КОНВЕРГЕНТНЫЕ ТЕХНОЛОГИИ, ГЛОБАЛЬНЫЕ СЕТИ, ИНТЕРНЕТ ВЕЩЕЙ: статья в сборнике статей. Том 1 Вологда : Вологодский государственный педагогический институт, 2014. стр. 71-76

BibTeX

@inbook{4e7b50788ae549709a5333ee3e2a0cca,
title = "ПРОБЛЕМА ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ: ОТ СЕМАНТИКИ К СООТВЕТСТВИЮ КАРРИ-ГОВАРДА: статья в сборнике статей",
abstract = "В статье рассматривается проблема тождества компьютерных программ. Проблема тождества исследуется с точки зрения операционной и денотационной семантик, а также соответствия Карри-Говарда. В статье демонстрируется, что проблема тождества не может быть однозначно решена в рамках этих подходов. Однако эти подходы позволяют сформулировать операционное определение компьютерной программы, позволяющее приравнять онтологический статус компьютерной программы к статусу абстрактных логико-математических объектов.",
author = "Ламберов, {Лев Дмитриевич} and Кляшторный, {Алексей Сергеевич}",
year = "2014",
language = "Русский",
volume = "1",
pages = "71--76",
booktitle = "ЧЕЛОВЕК В ТЕХНОСРЕДЕ: КОНВЕРГЕНТНЫЕ ТЕХНОЛОГИИ, ГЛОБАЛЬНЫЕ СЕТИ, ИНТЕРНЕТ ВЕЩЕЙ",
publisher = "Вологодский государственный педагогический институт",
address = "Российская Федерация",

}

RIS

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