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

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