Standard

Harvard

APA

Vancouver

Author

BibTeX

@conference{c066d9a3e3074260a80459aa3a4793e7,
title = "СОВРЕМЕННАЯ СИМВОЛИЧЕСКАЯ ЛОГИКА КАК ФУНДАМЕНТАЛЬНАЯ ОСНОВА ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ. К СТОЛЕТИЮ СО ДНЯ РОЖДЕНИЯ НИКОЛАЯ АЛЕКСАНДРОВИЧА ШАНИНА.",
abstract = "25 мая 2019 г. исполнилось 100 лет со дня рождения Николая Александровича Шанина , выдающегося отечественного математика и логика. Цель данного доклада состоит в том, чтобы показать, как в его работах современная символическая логика, - в рамках конструктивной парадигмы, представлена в качестве основы информационного моделирования.",
keywords = "constructivism in mathematics, information modeling, topology, информационное моделирование, конструктивная математика, топология, constructivism in mathematics, information modeling, topology, информационное моделирование, конструктивная математика, топология",
author = "Караваев, {Эдуард Федорович}",
year = "2019",
language = "русский",
pages = "87--89",

}

RIS

TY - CONF

T1 - СОВРЕМЕННАЯ СИМВОЛИЧЕСКАЯ ЛОГИКА КАК ФУНДАМЕНТАЛЬНАЯ ОСНОВА ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ. К СТОЛЕТИЮ СО ДНЯ РОЖДЕНИЯ НИКОЛАЯ АЛЕКСАНДРОВИЧА ШАНИНА.

AU - Караваев, Эдуард Федорович

PY - 2019

Y1 - 2019

N2 - 25 мая 2019 г. исполнилось 100 лет со дня рождения Николая Александровича Шанина , выдающегося отечественного математика и логика. Цель данного доклада состоит в том, чтобы показать, как в его работах современная символическая логика, - в рамках конструктивной парадигмы, представлена в качестве основы информационного моделирования.

AB - 25 мая 2019 г. исполнилось 100 лет со дня рождения Николая Александровича Шанина , выдающегося отечественного математика и логика. Цель данного доклада состоит в том, чтобы показать, как в его работах современная символическая логика, - в рамках конструктивной парадигмы, представлена в качестве основы информационного моделирования.

KW - constructivism in mathematics

KW - information modeling

KW - topology

KW - информационное моделирование

KW - конструктивная математика

KW - топология

KW - constructivism in mathematics

KW - information modeling

KW - topology

KW - информационное моделирование

KW - конструктивная математика

KW - топология

M3 - тезисы

SP - 87

EP - 89

ER -

ID: 78521403