Третье издание «Прикладной логики»

Третье издание «Прикладной логики» (Николай Непейвода, OSEDUCONF-2019) * Николай Непейвода ------------- Издательство «Директ-медиа» выпускает в 20189 году третье, переработанное и дополненное издание учебного пособия «Прикладная логика». Книга дополнена четвёртой частью, посвящённой приложениям логики прежде всего в информатике. В частности, в ней впервые в монографической литературе на русском языке (и, возможно, в мире) даётся описание языка доказательного программирования AGDA и советы по программированию на нём. Издание будет свободно доступно в электронной форме студентам и преподавателям вузов, научным работникам. Если первый опыт взаимодействия будет удачным, предполагается издание там же давно ожидаемого «Системного и логического анализа» и монографии «Уроки конструктивизма: анализ достижений и неудач». В выступлении будет представлена презентация по этим книгам.