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