Содержание лекционного курса (1019133)
Текст из файла
Содержание лекционного курса
-
Введение
-
Назначение курса.
-
Логические представления
-
История развития математической логики.
-
Вопросы для самопроверки.
-
Основы математической логики.
-
Логика высказываний. Основные понятия и определения.
-
Предикаты и кванторы.
-
Булевы функции, булевы константы.
-
Основные логические связи.
-
Вопросы для самопроверки.
Алгебра логики.
-
Понятие алгебры.
-
Основные логические функции.
-
Основные законы алгебры логики.
-
Тавтологии. Равносильные формулы.
-
Полнота системы логических функций. Базис.
-
Вопросы для самопроверки.
Введение в формальные системы.
-
Формальные модели.
-
Принципы построения формальных систем.
-
Формальные системы. Основные понятия и определения.
-
Метатеория формальных систем.
-
Вопросы для самопроверки.
5. Исчисление высказываний.
-
Исчисление высказываний. Основные понятия и определения.
-
Логическое следование, принцип дедукции.
-
Основные схемы логически правильных рассуждений.
-
Метод резолюций в исчислении высказываний.
-
Вопросы для самопроверки.
6. Исчисление предикатов и теории первого порядка.
-
Исчисление предикатов. Основные понятия и определения.
6.2 Синтаксис и семантика языка логики предикатов.
6.3 Метод резолюций в логике предикатов.
6.4 Принцип логического программирования.
6.5 Вопросы для самопроверки.
7. Неклассические логики.
7.1 Введение.
7.2 Нечеткая логика.
7.3 Модальная и пороговая логика.
7.4 Вопросы для самопроверки.
8. Теория алгоритмов.
-
Понятие алгоритмической системы.
8.2 Формализация понятия алгоритма. Универсальные модели алгоритмов.
8.3 Рекурсивные функции.
8.4 Машина Тьюринга.
8.5 Тезис Черча. Алгоритмически неразрешимые проблемы.
8.6 Меры сложности алгоритмов. Классы задач P и NP.
8.7 Понятие сложности вычислений. NP-полные задачи.
8.8 Вопросы для самопроверки.
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.