Логика высказываний. Основные понятия и определения. Логические функции одной и двух переменных
| Вид материала | Закон |
- 1. Функции нескольких переменных. Основные понятия. Область определения, 13.11kb.
- Сумцова Ольга Владимировна Логические основы построения компьютера Темы игры: Основные, 54.64kb.
- Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс), 30.21kb.
- Календарно-тематический план учебная дисциплина: «Математика», 35.73kb.
- Примерная программа государственного экзамена по направлению подготовки дипломированных, 196.44kb.
- Программа вступительного испытания (собеседование/устный экзамен) по дисциплинам «Математика», 59.58kb.
- Лекция 19. Предел и непрерывность функции нескольких переменных, 34.61kb.
- Позволяющий с помощью компьютерной техники интерполировать функции одной и многих переменных, 6.93kb.
- Лекции по математической логике и теории алгоритмов для студентов 2 курса специальности, 769.24kb.
- Тема: Основные понятия и определения, 164.71kb.
Логика высказываний. Основные понятия и определения. Логические функции одной и двух переменных.
Основные законы булевой алгебры. Классификация логических функций.
Полнота и замкнутость системы логических функций. Введение в формальные аксиоматические теории. Исчисление высказываний. Построение доказательств, метод резолюций. Синтаксис и семантика языка логики предикатов. Нормальные пренексные формулы. Неклассические логики.
Понятие алгоритмической системы. Формализация понятия алгоритма. Модели алгоритмов. Способы записи алгоритмов. Рекурсивные функции. Алгорифм Маркова. Машина Поста. Машина Тьюринга. Тезис Черча, алгоритмически неразрешимые задачи. Меры сложности алгоритмов. Классы задач P и NP, проблема их эквивалентности.