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

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