
Прикладная логика
Автор: Николай Непейвода
Форматы: PDF
Издательство: Издательство Новосибирского университета
Год: 2000
Место издания: Новосибирск
ISBN: 5-7615-0490-1
Страниц: 521
Артикул: 19450
Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня.
Рекомендуется для студентов и аспирантов специальностей: "Математика", "Прикладная математика", "Структурная прикладная лингвистика", "Философия", "Когнитивная психология".
Часть I . Язык математики
1. Необходимость точного языка в математике
2. Простейшие высказывания
3. Запись высказываний. Логические формулы
4. Методы перевода с естественного языка на математический и обратно
5. Базовые математические понятия
Часть II. Классическая логика
6. Индукция и определения
7. Введение в синтаксис
8. Семантика классической логики
9. Семантические таблицы для классической логики
10. Элементы нестандартного анализа
11. Естественный вывод в классической логике
12. Основы теории определений
13. Неполнота и неформализуемость
Часть III. Введение в неклассические логики
14. Основы λ-исчисления
15. Корни неклассических логик
16. Интуиционистская логика
17. Семантики Крипке и базирующиеся на них логики
18. Проблема отрицания
19. Доказательства и программы
Литература
Предметный указатель
Персоналии
Все отзывы о книге
С этой книгой читают






















и мы свяжемся с вами в течение 15 минут

за оставленную заявку