Математическая логика и теория алгоритмов, Геут К.Л., Титов С.С., 2017

Математическая логика и теория алгоритмов, Геут К.Л., Титов С.С., 2017.

  Учебно-методическое пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки 10.03.01 - «Информационная безопасность».
Содержит подробные лекции с наглядными примерами и компьютерной поддержкой, касающиеся применения элементов и методов математической логики к безопасности информационных технологий; задачи для домашних и контрольных работ, тематику индивидуальных работ в рамках научно-исследовательских работ, необходимую справочную информацию.




Алгебра высказываний. Основные логические связки.
Формализм заключается в том, чтобы отказаться от рассмотрения смысла утверждений. Рассматривая форму высказываний, можно заметить, что очень часто они получаются комбинированием некоторых других, более простых высказываний. Изучение
таких логических связок (или логических операций) позволяет формировать новые высказывания из имеющихся, а затем, если нужно, по четким правилам определять смысл и содержание этих составных (или сложных) высказываний.

Основные логические связки - это отрицание, логическое «и» (конъюнкция), логическое «или» (дизъюнкция), логическое следование (импликация).

Подобно тому, как из заданных чисел можно получить другие числа с помощью операций сложения, вычитания, умножения и деления, так и из заданных высказываний получаются новые с помощью этих операций, имеющих специальные названия (конъюнкция, дизъюнкция, импликация, эквивалентность, отрицание). Они означают хорошо известные соединения отдельных предложений связками «и», «или», «если..., то...», «тогда и только тогда, когда...», а также присоединение к высказыванию частицы «не».

Оглавление.
Введение.
Предмет математической логики.
МАТЕМАТИЧЕСКАЯ ЛОГИКА.
Парадоксы, антиномии, апории, противоречия.
Алгебра высказываний. Основные логические связки.
Булевы функции, алгебра логики.
Основные формулы алгебры логики.
Пример билета 1 контрольной работы.
Нормальные формы булевых функций.
Совершенные нормальные формы.
Виды интерпретации формальных высказываний.
Дедуктивные логические исчисления.
Аксиоматика Пеано.
Исчисление предикатов.
Кванторы.
Логика предикатов.
Задачи из контрольной работы 2.
ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ.
Рекурсия. Определение рекурсивных функций.
Нормальный алгоритм (алгоритм Маркова).
Машина Тьюринга.
Машина Поста.
Алгоритм. Сложность алгоритма.
Криптографические алгоритмы.
NP-полнота.
Теория моделей.
Библиографический список.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Математическая логика и теория алгоритмов, Геут К.Л., Титов С.С., 2017 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: учебник по математике :: математика :: Геут :: Титов :: логика