ON LOGICAL AND ALGEBRAIC FOUNDATIONS OF FORMAL SEMANTICS CLASSIFICATION
Nikolay V. Shilov · System Informatics · 2015
System Informatics (Системная информатика), No. 6 (2015) 1 УДК 004.42 + 519.681.2 + 519.682.1 О логических и алгебраических основаниях классификации формальной семантики программ Шилов Н.В.(Институт систем информатики СО РАН) Существует определённый разрыв в уровне математической подготовки программистов-теоретиков и программистов-практиков: первые сильны в науке (абстрактной алгебре и математической логике), а вторые в искусстве (разработке программных систем).В статье представлен достаточно простой подход к алгебраическим и логическим основаниям формальной семантики программ, ориентированный на инженеров-программистов с элементарными знаниями в абстрактной алгебре и математической логике.Для этого в статье объясняются основы операционной, денотационной, аксиоматической семантики, а также семантики второго порядка на примере "эзотерического" языка, синтаксически похожего на язык программирования.