Тическая логика и теория алгоритмов




Скачать 18.64 Kb.
НазваниеТическая логика и теория алгоритмов
Дата09.10.2012
Размер18.64 Kb.
ТипРеферат

Темы рефератов по курсу

«Математическая логика и теория алгоритмов»





  1. Рассуждения и их классификация.

  2. Индуктивные рассуждения.

  3. Первая проблема Гильберта.

  4. Описание синтаксиса и семантики языков программирования.

  5. Логика предикатов с равенством.

  6. Модели Крипке.

  7. Проблема отрицания. Логика с сильным отрицанием.

  8. Продукционная система Поста.

  9. Алгоритмический подход к понятию количества информации.

  10. Динамическая логика.

  11. Проблема полноты формальной системы. Теорема Геделя.

  12. Метод резолюций в логике предикатов.

  13. Принцип логического программирования.

  14. Темпоральные логики высказываний линейного времени и вычислительных деревьев: их синтаксис и семантика.

  15. Алгоритмическая логика Ч. Хоара.

  16. Пропозициональная динамическая логика: ее синтаксис и семантика.

  17. Вероятностные алгоритмы.

  18. Понятие относительного алгоритма.

  19. Машины Шёнхаге.

  20. Сложность и энтропия конструктивных объектов.


Литература


  1. Верещагин. Лекции по математической логике и теории алгоритмов.

  2. Гетманова А.Д. Учебник по логике. – М.: ЧеРо, 1997.

  3. Ершов Ю.Л. Определимость и вычислимость. – Новосибирск: Научная книга, 2000.

  4. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1987.

  5. Ивлев Ю.В. Логика: учебник для вузов.- М.: Логос, 1997.

  6. Игошин В.И. Математическая и теория алгоритмов. – Саратов: изд. СГУ, 1991.

  7. Катленд Н. Вычислимость.

  8. Клини С. Математическая логика.– М.: Мир, 1973.

  9. Клини С. Введение в метаматематику. – М.: ИЛ, 1957.

  10. Ковальский Р. Логика в решении проблем. – М.: Наука, 1990.

  11. Лавров С.С. Лекции по теории программирования. – СПб.: изд. НЕСТОР, 1999.

  12. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. – Москва: "Лань", 1999.

  13. Логический подход к искусственному интеллекту (от модальной логики к логике баз данных). – М.: Мир, 1998.

  14. Мальцев А.И. Алгоритмы и рекурсивные функции.

  15. Марков А.А., Нагорный Н.М. Теория алгорифмов. – М.: Наука, 1984.

  16. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М.: Наука, 1983.

  17. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984.

  18. Метакидес Г., Нероуд А. Принципы логики и логического программирования. – Москва: "Факториал", 1998.

  19. Непейвода Н.Н. Прикладная логика. – Новосибирск: изд НГУ, 2000.

  20. Новиков П.С. Элементы математической логики. – М.: Наука, 1973.

  21. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость.

  22. Соар Р. Вычислимо-перечислимые множества и степени.

  23. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и положения. – М.: Наука, 1987.

Похожие:

Тическая логика и теория алгоритмов icon«Математическая логика и теория алгоритмов»
Математическая логика и теория алгоритмов" является фундаментальное образование в области принципов построения эффективных и надежных...
Тическая логика и теория алгоритмов iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Тическая логика и теория алгоритмов iconРабочая программа по дисциплине в 2-Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов в соответствии требованиями фгос впо, утвержденного приказом Министра образования и науки...
Тическая логика и теория алгоритмов iconУльянов М. В., Шептунов М. В. Математическая логика и теория алгоритмов, часть 2: Теория алгоритмов
Ульянов М. В., Шептунов М. В. Математическая логика и теория алгоритмов, часть 2: Теория алгоритмов. – М.: Мгапи, 2003. – 80 с
Тическая логика и теория алгоритмов iconПрограмма дисциплины математическая логика и теория алгоритмов
Рабочая программа дисциплины "Математическая логика и теория алгоритмов" предназначена для студентов 3 курса
Тическая логика и теория алгоритмов iconМатематическая логика и теория алгоритмов

Тическая логика и теория алгоритмов iconМатематическая логика и теория алгоритмов

Тическая логика и теория алгоритмов iconМинистерство образования и науки российской федерации государственное образовательное учреждение высшего профессионального образования
Цель дисциплины «Математическая логика и теория алгоритмов» – формирование систематизированных знаний в области математической логики...
Тическая логика и теория алгоритмов iconТическая логика для студентов 1-2 курсов
Секвенциальное исчисление высказываний. Вывод в исчислении. Теорема о подстановке
Тическая логика и теория алгоритмов iconУчебно-методический комплекс по дисциплине математическая логика и теория алгоритмов
Сперанский Д. В., доктор технических наук, профессор кафедры «Высшая и прикладная математика»
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница