РЕШАЕМ МАТЕМАТИКУ ВМЕСТЕ!
 
СТУДЕНТАМ:    Учебники     Решебники    Шпаргалки    Контрольные работы   Видео уроки

ШКОЛЬНИКАМ:  ГДЗ - 1 класс  2 класс  3 класс  4 класс  5 класс  6 класс  7 класс  8 класс  9 класс  10 класс  11 класс

Главная » Файлы » Учебные материалы » Математическая логика и теория алгоритмов
Н.К.Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

19.12.2011, 16:51
В книге рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех
интересующихся математической логикой. Книга включает в себя около 200 задач различной трудности.

Оглавление
Предисловие 5
1. Логика высказываний 9
   1.1. Высказывания и операции 9
   1.2. Полные системы связок 18
   1.3. Схемы из функциональных элементов  25
2. Исчисление высказываний 47
   2.1. Исчисление высказываний (ИВ) 47
   2.2. Второе доказательство теоремы о полноте 56
   2.3. Поиск контрпримера и исчисление секвенций 63
   2.4. Интуиционистская пропозициональная логика 69
3. Языки первого порядка 87
   3.1. Формулы и интерпретации 87
   3.2. Определение истинности 93
   3.3. Выразимые предикаты 96
   3.4. Выразимость в арифметике 100
   3.5. Невыразимые предикаты: автоморфизмы . 104
   3.6. Элиминация кванторов 108
   3.7. Арифметика Пресбургера 119
   3.8. Теорема Тарского-Зайденберга 123
   3.9. Элементарная эквивалентность 136
   3.10. Игра Эренфойхта 142
   3.11. Понижение мощности 149
4. Исчисление предикатов 156
   4.1. Общезначимые формулы 156
   4.2. Аксиомы и правила вывода 158
   4.3. Корректность исчисления предикатов 166
   4.4. Выводы в исчислении предикатов 169
   4.5. Полнота исчисления предикатов 178
   4.6. Переименование переменных 188
   4.7. Предварённая нормальная форма 191
   4.8. Теорема Эрбрана 195
   4.9. Сколемовские функции 198
5. Теории и модели 203
   5.1. Аксиомы равенства 203
   5.2. Повышение мощности 206
   5.3. Полные теории 211
   5.4. Неполные и неразрешимые теории 225
   5.5. Диаграммы и расширения 234
   5.6. Ультрафильтры и компактность 243
   5.7. Нестандартный анализ 252
Литература 270
Предметный указатель 274
Указатель имён 284




Размер файла: (1.49Mb)

Категория: Математическая логика и теория алгоритмов | Добавил: nikka
Просмотров: 3028 | Загрузок: 617 | Рейтинг: 0.0/0


Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]



ВЫБОР ПО КАТЕГОРИЯМ:

Аналитическая геометрия и алгебра [0]
Высшая алгебра [52]
История математики [55]
Математика для технарей [21]
Математика для экономистов, юристов и т.д.. [5]
Математическая логика и теория алгоритмов [40]
Теория вероятностей и мат. статистика [28]
Теория чисел [33]
Учебники по математике [46]



При полном или частичном использовании материалов
активная ссылка на портал VMATE.RU обязательна


Высшая математика онлайн - всё бесплатно, наш портал создан специально для студентов кому интересна высшая математика. У нас на портале возможно скачать бесплатно учебники по высшей математике, книги по математике или сделать заказ учебных пособий, скачать контрольные по высшей математике, заказать, задачники по высшей математики и решебники. Оставить запрос по предмету - аналитическая геометрия или задать вопрос - справочная по математике Заказать решение и т.д. Высшая математика онлайн - математический портал и здесь собраны шпаргалки по высшей математике и видео уроки. Добро пожаловать! Вход