Ознайомлення з основами формальної логіки і набуття
навиків формалізації великого обсягу інформації та отримання з неї дедуктивних
висновків допоможе майбутньому фахівцю приймати правильні рішення у будь-якій
сфері діяльності. Вивчення дисципліни дасть змогу студенту краще зрозуміти як
саме "думає" комп'ютер, збагнути логіку його рішень і навчитись
правильно формулювати свої думки та запити (і не тільки до комп'ютера).