– 53 с.
(Автор не указан.) Данный курс служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для постановки и решения задач в области информатики, для корректного понимания ограничений, возникающих при создании вычислительных структур, алгоритмов и программ обработки информации. Содержание:
Назначение курса.
Логические представления.
История развитая математической логики.
Основы математической логики.
Логика высказываний. Основные понятия и определения.
Предикаты и кванторы.
Булевы функции, булевы константы.
Основные логические связи.
Алгебра логики.
Понятие алгебры.
Основные логические функции.
Основные законы алгебры логики.
Тавтологии. Равносильные формулы.
Полнота системы логических функций. Базис.
Критерии полноты Поста-Яблонского.
Введение в формальные (аксиоматические) системы.
Формальные модели.
Принципы построения формальных теорий. Аксиоматические системы, формальный вывод.
Метатеория формальных систем.
Метод резолюции для логики предикатов первого порядка.
Формы представления логических формул.
Неклассические логики.
Нечетная логика.
Модальная и пороговая логика.
Машина Тьюринга.
Рекурсивные функции.
Алгоритмически неразрешимые проблемы.
Меры сложности алгоритмов. Классы задач Р, ЕХР и NP. NP полные задачи.
(Автор не указан.) Данный курс служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для постановки и решения задач в области информатики, для корректного понимания ограничений, возникающих при создании вычислительных структур, алгоритмов и программ обработки информации. Содержание:
Назначение курса.
Логические представления.
История развитая математической логики.
Основы математической логики.
Логика высказываний. Основные понятия и определения.
Предикаты и кванторы.
Булевы функции, булевы константы.
Основные логические связи.
Алгебра логики.
Понятие алгебры.
Основные логические функции.
Основные законы алгебры логики.
Тавтологии. Равносильные формулы.
Полнота системы логических функций. Базис.
Критерии полноты Поста-Яблонского.
Введение в формальные (аксиоматические) системы.
Формальные модели.
Принципы построения формальных теорий. Аксиоматические системы, формальный вывод.
Метатеория формальных систем.
Метод резолюции для логики предикатов первого порядка.
Формы представления логических формул.
Неклассические логики.
Нечетная логика.
Модальная и пороговая логика.
Машина Тьюринга.
Рекурсивные функции.
Алгоритмически неразрешимые проблемы.
Меры сложности алгоритмов. Классы задач Р, ЕХР и NP. NP полные задачи.