Матурін Ю.П. Елементи математичної логіки та теорії алгоритмів. Частина 1

Дрогобич: Дрогобицький державний педагогічний університет ім. Івана Франка, 2012. — 49 с. Посібник написано відповідно до програми навчальної дисципліни Математична логіка та теорія алгоритмів для студентів галузі знань 0402 Фізико-математичні науки, напряму підготовки 6.040201 "Математика", затвердженої вченою радою Дрогобицького державного педагогічного університету імені Івана Франка, містить виклад теоретичного матеріалу з даної дисципліни, приклади, що ілюструють теорію та завдання. Видається у двох частинах. Ця частина містить розділи «Алгебра висловлень» і «Булеві функції та релейно-контактні схеми». Зміст:
Вступ
Алгебра висловлень
Висловлення та операції над ними
Формули алгебри висловлень
Рівносильність формул алгебри висловлень
Логічне слідування на базі алгебри висловлень
Види теорем. Необхідна і достатня умови
Методи доведення теорем
Нормальні форми формул алгебри висловлень
Булеві функції та релейно-контактні схеми
Означення булевих функцій
Таблиці основних булевих функцій
Деякі типи булевих функцій
Аналітичне задання булевих функцій
Замикання та замкненість множин булевих функцій
Повнота множин булевих функцій
Означення релейно-контактних схем
Реалізація булевих функцій
Спрощення релейно-контактних схем
Застосування релейно-контактних схем до побудови однорозрядного двійкового суматора
Завдання
Запитання для самоконтролю
Вправи та задачі теоретичного характеру
Вправи та задачі розрахункового характеру
Іменний покажчик
Предметний покажчик
Бібліографія