Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс)



Скачать 30.21 Kb.
Дата31.12.2012
Размер30.21 Kb.
ТипДокументы
Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс)
1. Понятие математической логики. Этапы развития логики.

2. Логика высказываний. Операции над высказываниями. Алгебра высказываний. Формулы логики высказываний. Логическая эквивалентность и логическое следствие. Законы алгебры высказываний. Разрешимость для логики высказываний.

3. Формальные теории. Аксиоматический метод.

4. Система аксиом исчисления высказываний (ИВ). Правила вывода. Правило подстановки (ПП), заключения (ПЗ). Определение выводимой (доказуемой) формулы. Производные правила вывода. Правило сложной (одновременной) подстановки (СПП), сложного заключения, силлогизма, контрпозиции, снятия двойного отрицания. Понятие выводимости формул из совокупности формул.

5. Понятие вывода. Свойства вывода. Правила выводимости.

6. Теорема дедукции. Правило введения конъюнкции, введения дизъюнкции. Построение вывода в логике высказываний. Доказательство некоторых законов логики. Закон перестановки посылок. Закон соединения посылок. Закон разъединения посылок . Закон исключенного третьего.

7. Связь между алгеброй высказываний и исчислением высказываний.

8. Проблемы аксиоматического исчисления высказываний. Правила подстановки и замены. Проблемы аксиоматического исчисления высказываний. Проблема разрешимости, непротиворечивости, полноты, независимости аксиом исчисления высказываний.

9. Автоматическое доказательство теорем. Метод резолюций. Алгоритм построения вывода методом резолюций.

10. Прямое и непрямое доказательства основной теоремы

11. Теорема полноты для натуральных и секвенциальных исчислений.

12. Непротиворечивость чистой теории чисел в работах Г. Генцена.

13. Степени разрешимости.

14. Табличные методы (Семантические таблицы Бета, аналитические таблицы

15. Смуллиана, таблицы доказательств Зеемана.

16. Индексные методы.

17. Автоматический поиск вывода.

18. Автоматическое решение логических задач.

19. Естественный вывод в развитии искусственного интеллекта.

20. Аналитические таблицы в программе искусственного интеллекта

21. Виды доказательства основной теоремы об элиминации сечений.

22. Обзор работ по автоматическому решению логических задач.

23. Логика предикатов. Логические операции над предикатами. Операции навешивания кванторов. Основные законы, содержащие кванторы. Равносильные формулы логики предикатов. Законы логических операций.

24. Нормальные формы формул логики предикатов. Алгоритм получения (приведения) ПНФ. Скулемовские функции. Получение - формул. Общезначимость и выполнимость формул логики предикатов. Проблема разрешимости.

25. Аксиомы и основные правила вывода исчисления предикатов.
Правило обобщения (правило - введения): Правило - введения: Дополнительные правила вывода для исчисления предикатов. Введение квантора общности: Удаление квантора общности Отрицание квантора общности. Введение квантора существования. Удаление квантора существования. Отрицание квантора существования. Теорема дедукции. Метод резолюций в ИП

26. Неклассические логики.

27. Нечеткая логика. Базовые понятия нечеткой логики. Основные операции с нечеткими множествами. Понятие лингвистической переменной.

28. Основные характеристики нечетких множеств. Нечеткие отношения . Нечеткие выводы. Функции принадлежности. Основные характеристики нечетких множеств. Алгоритм по формализации задачи в терминах нечеткой логики. Разработка нечетких правил. Метод центра максимума (СоМ). Метод наибольшего значения (МоМ). Метод центроида (СоА)

29. Неклассические логики.

30. Многозначные логики. Трехзначная система Я.Лукасевича. Логика Гейтинга. Трехзначная система Бочвара. К-значная логика Поста. Темпоральные логики.

31. Неклассические логики. Модальная логика. Абсолютные и сравнительные модальности. Единство модальной логики.

32. Общие сведения об алгоритмах. Понятие алгоритма. Основные свойства алгоритма. Оценка сложности алгоритма. Классификация алгоритмов по сложности.

33. Сложность алгоритмов. Классификация задач по степени сложности. Класс P. Класс E: задачи, экспоненциальные по природе. Недетерминированные алгоритмы NP-трудные и NP-полные задачи

34. Нормальные алгоритмы Маркова. Алгоритм Евклида. Тезис Маркова

35. Рекурсивные функции. Суперпозиция частичных функций. Примитивная рекурсия. Операция минимизации.

36. Алгоритмическая машина Тьюринга.

37. Возможности машин Тьюринга. Основная гипотеза теории алгоритмов

38. Алгоритмическая машина Поста

39. Криптография. Основные задачи криптографии. Стойкость шифра.

40. Шифр перестановки. Шифр Виженера. Шифр простой подстановки

Похожие:

Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) iconРабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность»
«Математическая логика и теория алгоритмов», рекомендованной Министерством образования Российской Федерации в 2000 году для специальностей...
Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) iconВопросы к экзамену по курсу "Математическая логика и теория алгоритмов"
Критерий полноты системы булевых функций. Пример шефферовой функции от трех переменных
Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) iconТехнологий В. П. Битюцкий Н. В. Папуловская Математическая логика. Исчисления высказываний и предикатов Методическое пособие по дисциплине "Математическая логика и теория алгоритмов" Екатеринбург 2005 удк

Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) iconМосковская государственная академия приборостроения и информатики кафедра " Персональные компьютеры и сети"
Ульянов М. В., Шептунов М. В. Математическая логика и теория алгоритмов, часть 1: Математическая логика. – М.: Мгапи, 2003. – 47...
Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) iconЭкзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики
Логика высказываний: простые высказывания, логические связки, сложные высказывания
Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) iconТемы рефератов по курсу «Математическая логика и теория алгоритмов»
Темпоральные логики высказываний линейного времени и вычислительных деревьев: их синтаксис и семантика
Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс) iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
«Логика», «Математическая логика и теория алгоритмов», «Дискретная математика», «Языки программирования»
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org