Дискретна математика. Формально-логічні системи та мови Авдошин С. М.

Книга містить основні відомості із формально-логічних систем. Це функції алгебри логіки (булеві функції), теорема Посту про функціональну повноту, k-значні логіки, похідні булевих функцій, аксіоматичні обчислення висловлювань, предикатів, секвенцій, резолюцій та мову програмування Пролог. Розглядаються монадична логіка, кінцеві автомати та мови, що представляться, темпоральна логіка, аксіоматична мова програмування OBJ3. В основу книги покладено багаторічний досвід викладання авторами дисципліни «Дискретна математика» на факультеті бізнес-інформатика, факультеті комп'ютерних наук Національного дослідницького університету Вища школа економіки та на факультеті автоматики та обчислювальної техніки Національного дослідницького університету Московський енергетичний інститут. Книга призначена для студентів бакалаврату, які навчаються за напрямами 09.03.01 «Інформатика та обчислювальна техніка», 09.03.02 «Інформаційні системи та технології», 09.03.03 «Прикладна інформатика», 09.03.04 «Програмна інженерія фахівців та розробників програмних продуктів. Основні теоретичні та практичні положення, виклад та аналіз практичних алгоритмів, що ілюструються великою кількістю прикладів, дозволять сформувати міцну теоретичну базу.