Заказ работы

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

Самые новые

Значок файла Расчет выбросов загрязняющих веществ автотранспорта в ат-мосферный воздух: Метод. указ./ Сост. Е.Б.Серебряная, Н.К.Коротких: ГОУ ВПО «СибГИУ», Новокузнецк, 2003 (11)
(Методические материалы)

Значок файла Работа с базами данных в DELPHI. Метод. указ. /Сост. А.В. Степанов, Ю.А. Степанов: ГОУВПО СибГИУ. - Новокузнецк, 2003. - 24 с (9)
(Методические материалы)

Значок файла Программирование циклических алгоритмов. Метод. указ. / Сост. Л.Д. Павлова – 2-е изд. испр. и перераб. : СибГИУ. – Новокузнецк, 2004. – 20 с (8)
(Методические материалы)

Значок файла Правоведение: Рекомендации к самостоятельному изучению дисциплины «Правоведение» студентами очной и заочной форм обучения /сост.: Н.Е. Анохина: СибГИУ.- Новокузнецк, 2002.- 7с (7)
(Методические материалы)

Значок файла Основные экологические термины: Метод. разработка / Сост.: С.А.Лежава, Е.Б. Серебряная: СибГИУ. – Новокузнецк, 2000.- 32 с (11)
(Методические материалы)

Значок файла НОРМАТИВНО-ПРАВОВОЕ ОБЕСПЕЧЕНИЕ ОХРАНЫ ТРУДА Методическая разработка для студентов очного и заочного обучения всех специальностей (17)
(Методические материалы)

Значок файла Практикум по курсу «Экология» и рекомендации к составлению раз-дела «Экологичность проекта» пояснительной записки при дипломном проектировании для студентов всех специальностей (14)
(Методические материалы)

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

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

Оглавление
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)
Заказ курсовой диплома или диссертации.

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


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