Заказ работы

Заказать
Каталог тем

Самые новые

Значок файла Производственная специальная практика: Метод. указ. и рабочая программа / Сост.: Н.И. Швидков, В.Б. Деев, А.В. Феоктистов: СибГИУ. – Новокузнецк, 2002. – 14 с (6)
(Методические материалы)

Значок файла Программа и методические указания по проведению преддипломной практики на металлургических предприятиях.: Метод. указ. / Сост.: И.К.Коротких, А.А.Усольцев, А.И.Куценко: СибГИУ - Новокузнецк, 2004- 20 с (5)
(Методические материалы)

Значок файла Программа и методические указания по проведению производственной практики на металлургических предприятиях. : Метод. указ / Сост.: И.К. Коротких, Б.А. Кустов, А.А. Усольцев, А.И. Куценко: СибГИУ - Но-вокузнецк 2003- 22 с. (4)
(Методические материалы)

Значок файла Применение регрессионного и корреляционного анализа при проведе-нии исследований в литейном производстве: Метод. указ. / Сост.: О.Г. Приходько: ГОУ ВПО «СибГИУ». – Новокузнецк. 2004. – 18 с., ил. (5)
(Методические материалы)

Значок файла Преддипломная практика: Метод. указ. и рабочая программа / Сост.: Н.И. Швидков, В.Б. Деев, А.В. Феоктистов: СибГИУ. – Новокузнецк, 2002. – 9 с. (9)
(Методические материалы)

Значок файла Неразрушающие методы контроля Ультразвуковая дефектоскопия отливок Методические указания к выполнению практических занятий по курсу «Метрология, стандартизация и сертификация» Специальность «Литейное производство черных и цветных металлов» (110400), специализации (110401) и (110403) (10)
(Методические материалы)

Значок файла Муфта включения с поворотной шпонкой кривошипного пресса: Метод. указ. / Сост. В.А. Воскресенский, СибГИУ. - Новокуз-нецк, 2004. - 4 с (11)
(Методические материалы)

Каталог бесплатных ресурсов

Курс лекций по логике и теории алгоритмов

Оглавление
1. Логика высказываний 4
1.1. Высказывания, формулы и правила вывода . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1. Высказывания . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.2. Формулы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.3. Аксиомы логики высказываний . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.4. Правило вывода . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2. Корректность и полнота ИВ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1. Теорема корректности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.2. Отступление об интуиционистской логике . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3. Выводимость формулы. Подготовка к доказательству теоремы полноты . . . . . . . . . . . 7
1.2.4. Путь к теореме полноты . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.5. Семантическая полнота и непротиворечивость теорий . . . . . . . . . . . . . . . . . . . . . . 8
1.2.6. Доказательство теоремы полноты CL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Интуиционистская логика . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2. Логика предикатов 12
2.1. Построение языка первого порядка . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.1. Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.2. Определения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.3. Интерпретация сигнатуры. Модель. Оценки . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.4. Правила логики предикатов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1.5. Теорема корректности исчисления предикатов . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.1.6. Теорема корректности и теорема непротиворечивости
для теорий первого порядка . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.1.7. Теории с равенством . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2. Теории Хенкина . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2.1. Экзистенциальная полнота . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2.2. Свойство Хенкина . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2.3. Вложение непротиворечивых теорий в полные теории Хенкина . . . . . . . . . . . . . . . . 19
2.3. Существование модели . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3.1. Случай теории без равенства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3.2. Случай теории с равенством . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.4. Изоморфизм и элементарная эквивалентность интерпретаций . . . . . . . . . . . . . . . . . . . . . 23
2.4.1. Определения и основные свойства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.4.2. Сильная категоричность и счётная категоричность . . . . . . . . . . . . . . . . . . . . . . . 24
3. Теория алгоритмов 25
3.1. Введение в системы Поста . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.1.1. Построение и примеры систем Поста . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.1.2. Подстановки и правила . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26


Размер файла: 347.54 Кбайт
Тип файла: pdf (Mime Type: application/pdf)
Заказ курсовой диплома или диссертации.

Горячая Линия


Вход для партнеров