Методические указания для студентов II курса заочного отделения
специальности ИСТ. / Сост. К. М. Чудинов; Пермь: Изд-во Перм. гос.
техн. ун-та, 2007. 48 с.
Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач, задачи для самостоятельного решения и список рекомендуемой литературы.
Программа курса:
Логика высказываний.
Логические операции.
Формулы логики высказываний.
Равносильность и логическое следствие.
Исчисление высказываний.
Правило вывода modus ponens.
Формальный вывод: аксиомы, теоремы, доказательства.
Теорема о дедукции.
Теорема о полноте исчисления высказываний и ее следствия.
Логика предикатов
Предикаты и кванторы.
Исчисление предикатов.
Теорема о полноте исчисления предикатов.
Элементы теории алгоритмов.
Машины Тьюринга.
Вычислимые функции.
Тезис Чёрча-Тьюринга – основная гипотеза теории алгоритмов.
Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач, задачи для самостоятельного решения и список рекомендуемой литературы.
Программа курса:
Логика высказываний.
Логические операции.
Формулы логики высказываний.
Равносильность и логическое следствие.
Исчисление высказываний.
Правило вывода modus ponens.
Формальный вывод: аксиомы, теоремы, доказательства.
Теорема о дедукции.
Теорема о полноте исчисления высказываний и ее следствия.
Логика предикатов
Предикаты и кванторы.
Исчисление предикатов.
Теорема о полноте исчисления предикатов.
Элементы теории алгоритмов.
Машины Тьюринга.
Вычислимые функции.
Тезис Чёрча-Тьюринга – основная гипотеза теории алгоритмов.