Логики и программы
Непейвода Николай Николаевич Доктор физико-математических наук, профессор Удмуртского государственного университета. Логик, математик, информатик, философ. Автор более 150 научных работ, в том числе книг «Логика и компьютер», «Прикладная логика», «Основания программирования», «Стили и методы программирования». Логики и программы — Часть 1. Что такое логики и какие логики бывают? Оказывается логики бывают разные. Впрочем, ничего удивительного – … Читать далее