Книга "Дискретна математика" – Авдошин С.

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