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

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

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

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.