СОВРЕМЕННАЯ СИМВОЛИЧЕСКАЯ ЛОГИКА КАК ФУНДАМЕНТАЛЬНАЯ ОСНОВА ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ. К СТОЛЕТИЮ СО ДНЯ РОЖДЕНИЯ НИКОЛАЯ АЛЕКСАНДРОВИЧА ШАНИНА. / Караваев, Эдуард Федорович.
2019. 87-89.Research output: Contribution to conference › Abstract
}
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