Спирина, М.С. Дискретная математика

4.7. Сумма по модулю дв а .......................................................................... 4.8. Полином Жегалкина. Функционально замкнутые классы...... 4.8.1. Канонический полином Жегалкина..................................... 4.8.2. Функциональная замкнутость................................................ 4.8.3. Функционально полные системы функций....................... Упражнения ................................................................................................... Глав а 5. Формальные системы и умозаключения. Логика предикатов......................................................................... 5.1. Формальные системы.......................................................................... 5.2. Исчисление высказываний................................................................ 5.3. Логика предикатов................................................................................ 5.4. Умозаключения как форма мышления. Дедуктивные умоза­ ключения и их виды............................................................................ 5.4.1. Непосредственные умозаключения по логическому квадрату .......................................................................................... 5.4.2. Простые категорические силлогизмы.................................... 5.4.3. Энтимемы...................................................................................... 5.4.4. Умозаключения из сложных суждений................................. 5.4.5. Применение аппарата алгебры высказываний для работы с умозаключениями..................................................... 5.5. Методы научного познания.............................................................. 5.6. Индуктивные умозаключения и их виды...................................... 5.6.1. Виды индукции............................................................................. 5.6.2. Методы установления причинных связей........................... 5.6.3. Формальная аксиоматическая теория для арифметики натуральных чисел ...................................................................... 5.6.4. Метод математической индукции........................................... 5.6.5. Статистические обобщения...................................................... 5.7. Виды аналогии. Моделирование как м етод ................................. 5.8. Гипотезы.................................................................................................. Упражнения ................................................................................................... Глава 6. Элементы теории и практики кодирования............................. 6.1. История кодирования от древности до наших дней. Защита информации................................................................................................... 6.2. Системы счисления для представления информации в ЭВМ . 6.3. Основные понятия вероятностной теории информации........ 6.4. Обработка сообщений как кодирование....................................... 6.5. Кодирование информации как средство обеспечения конт­ роля работы автомата.......................................................................... 6.6. Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам........................................................... Упражнения ................................................................................................... Гл а в а 7. Конечные автоматы....................................................................... 7.1. Определение конечных автоматов................................................... 7.2. Способы задания конечных автоматов......................................... 7.3. Общие задачи теории автоматов..................................................... Упражнения ................................................................................................... Заключение........................................................................................................... Предметный указатель...................................................................................... Список литературы............................................................................................