математика дискретна, математика дискретная ; логіка математична, логика математическая ; алгебра логіки, алгебра логики ; Суспільні науки
Розглянуто важливі розділи комп'ю терної дискретної математики: алгебричні структури, алгебру логіки, елементи логіки висловлювань і логіки предикатів. Теоретичний матеріал проілюстровано великою кількістю прикладів, подано запитання для самоперевірки й задачі до модульної контрольної роботи. Значну увагу приділено математичним аспектам.
Для студентів кмп'ютерних спеціальностей, які вивчають дискретну математику й використовують її результати в науковій роботі.
