Назва навчальної дисципліни:"Логіко-алгебраїчні методи розробки програмних систем"
Робоча програма навчальної дисципліни
Викладач:професор Кривий Сергій Лук’янович, д.ф.-м.н.