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

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


Главная » Файлы » Учебные материалы » Математическая логика и теория алгоритмов
Михайлов А,Б., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики. Формальные системы первого порядка. Учебное пособие дл

19.12.2011, 16:38
Оглавление 3
Предисловие научного редактора 4
Введение 6
Упражнения 1. Слова 9
Упражнения 2. Введение в теорию доказательств. Исчисления на словах и формальные доказательства в исчислениях 14
Упуажнения 3. Язык первого порядка. Алфавит. Сигнатура. Термы. Формулы 22
Упуажнения 4. Теория доказательств. Секвенциальное  исчисление первого порядка. Формальное доказательство и формальный вывод 31
Упуажнения 5. Теория доказательств. Многосукцедентное исчисление секвенций 41
Упражнения 6. Теория доказательств. Гильбертовское  исчисление первого порядка. Формальное доказательстве и формальный вывод 46
Упражнения 7. Теория доказательств. Классическое  гильбертовское исчисление первого порядка. Допустимые правила вывода. Интуиционистское гильбертовское исчисление. Предваренная нормальная форма. Сколемовская нормальная форма 53
Упражнения 8. Теория доказательств. Генценовское исчисление натурального вывода (интуиционистское и классическое) 57
Упражнение 9. Теория моделей формального языка первого порядка. Интерпретация термов. Интерпретация формул. Истинность формул. Доказательство равносильности
формул 74
Упражнения 10. Метатеория языка первого порядка. Теорема Гёделя о полноте 88
Упуажнения 11. Формализация математических теорий. Теория групп  102
Упражнения 12. Формализация математических теорий.  
Формальная арифметика и элементарная теория действительных чисел 105
Приложение 1. Образец варианта контрольной работы по теории доказательств 112
Приложение 2. Язык (-l)-ro порядка. Порождающие формальные грамматики. Построение грамматики, порождающей заданный язык 113
Приложение 3. Краткие биографические сведения 123
Список литературы 125




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

Категория: Математическая логика и теория алгоритмов | Добавил: nikka
Просмотров: 1288 | Загрузок: 258 | Рейтинг: 5.0/1


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



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

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



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


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