Непейвода Н.Н. Прикладная логика

Учебное пособие. — Ижевск: Удмуртский государственный университет (УдГУ), 1997. — 385 с.Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня.
Рекомендуется для студентов и аспирантов специальностей - математика, прикладная математика, структурная прикладная лингвистика, философия, когнитивная психология.Введение.
Язык математики.
Необходимость точного языка в математике.
Простейшие высказывания.
Запись высказываний. Логические формулы.
Методы перевода с естественного языка на математический и обратно.
Базовые математические понятия.
Классическая логика.
Индукция и определения.
Введение в синтаксис.
Семантика классической логики.
Семантические таблицы для классической логики.
Элементы нестандартного анализа.
Естественный вывод в классической логике.
Основы теории определений.
Неполнота и неформализуемость.
Введение в неклассические логики.
Основы λ-исчисления.
Корни неклассических логик.
Интуиционистская логика.
Семантики Крипке и базирующиеся на них логики.
Проблема отрицания.
Логики, базирующиеся на нестандартных отношениях следования.
Доказательства и программы.
Гибридные логические системы и развитие теории неформализуемости.
Применения логики в когнитивной науке.