Темы рефератов по курсу «Математическая логика и теория алгоритмов»



Скачать 18.64 Kb.
Дата01.02.2013
Размер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Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность»
«Математическая логика и теория алгоритмов», рекомендованной Министерством образования Российской Федерации в 2000 году для специальностей...
Темы рефератов по курсу «Математическая логика и теория алгоритмов» iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Темы рефератов по курсу «Математическая логика и теория алгоритмов» iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Темы рефератов по курсу «Математическая логика и теория алгоритмов» icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Темы рефератов по курсу «Математическая логика и теория алгоритмов» iconТехнологий В. П. Битюцкий Н. В. Папуловская Математическая логика. Исчисления высказываний и предикатов Методическое пособие по дисциплине "Математическая логика и теория алгоритмов" Екатеринбург 2005 удк

Темы рефератов по курсу «Математическая логика и теория алгоритмов» iconМосковская государственная академия приборостроения и информатики кафедра " Персональные компьютеры и сети"
Ульянов М. В., Шептунов М. В. Математическая логика и теория алгоритмов, часть 1: Математическая логика. – М.: Мгапи, 2003. – 47...
Темы рефератов по курсу «Математическая логика и теория алгоритмов» iconТемы курсовых работ по дисциплине «Математическая логика и теория алгоритмов»
В. А. Молчанов, В. Е. Новиков, Т. М. Отрыванкина, П. Н. Пронин, В. Е. Фирстов. – Оренбург: гоу огу, 2004. – 68 с
Темы рефератов по курсу «Математическая логика и теория алгоритмов» iconВопросы к экзамену по курсу "Математическая логика и теория алгоритмов"
Критерий полноты системы булевых функций. Пример шефферовой функции от трех переменных
Темы рефератов по курсу «Математическая логика и теория алгоритмов» icon3 Введение. Математическая логика в системе современного образования 6
Математическая логика и теория алгоритмов: Учеб посо­бие для студ высш учеб заведений / Владимир Иванович Игошин. — М.: Издательский...
Темы рефератов по курсу «Математическая логика и теория алгоритмов» iconВопросы по курсу: Математическая логика и теория алгоритмов (2 курс)
Логика высказываний. Операции над высказываниями. Алгебра высказываний. Формулы логики высказываний. Логическая эквивалентность и...
Разместите кнопку на своём сайте:
ru.convdocs.org


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