Шановні колеги, у вівторок 15.11.22 о 10:30 відбудеться відкрита лекція д.т.н., доц., завідувача інформаційних систем та технологій Кучанського О.Ю. з дисципліни “Комп’ютерна логіка та дискретна математика” для студентів спец. 126 «Інформаційні системи та технології», ОПП «Програмні технології інтернет речей», тема: «Метод резолюцій в алгебрі предикатів»