WWW.DISS.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
(Авторефераты, диссертации, методички, учебные программы, монографии)

 

Московский государственный университет

Механико-математический факультет

“Введение в математическую логику”

1-й курс, 2-й семестр

Программа

Введение

Предмет математической логики. Вопросы оснований математики. Аксиоматическое построение элементарной геометрии, роль аксиомы о параллельных. Парадоксы теории множеств, семантические парадоксы. Формальный аксиоматический метод Гильберта, программа Гильберта. Роль теорем Гёделя о неполноте.

Логика высказываний Высказывания и логические связки. Формулы логики высказываний, понятие подформулы. Истинностные таблицы для логических связок и формул.

Выполнимые формулы, тавтологии, тождественно ложные формулы. Алгоритм распознавания выполнимости. Семантическое следование в логике высказываний. Равносильность формул логики высказываний, связь с тождественной истинностью; важнейшие равносильности. Операции подстановки и замены подформулы на равносильную.

Связь между формулами логики высказываний от n переменных и булевыми функциями. Теорема о функциональной полноте.

Дизъюнктивные и конъюнктивные нормальные формы. Приведение формул логики высказываний к совершенной дизъюнктивной (конъюнктивной) нормальной форме.

Исчисление высказываний Аксиомы и правила вывода исчисления высказываний. Понятие вывода и выводимой формулы; примеры. Корректность исчисления высказываний.

Выводимость из гипотез, её простейшие свойства. Теорема о дедукции для исчисления высказываний.

Непротиворечивые и максимальные непротиворечивые множества формул в исчислении высказываний. Теорема Линденбаума.

Теорема о полноте исчисления высказываний. Свойства сильной полноты и компактности.

Логика предикатов Предикаты. Переменные и их области изменения. Кванторы. Языки первого порядка: термы, формулы, подформулы. Примеры языков первого порядка. Свободные и связанные вхождения переменных. Замкнутые формулы.

Подстановка терма вместо переменной.

Модели (алгебраические системы, интерпретации) для данного языка первого порядка. Истинность замкнутой формулы в данной модели. Предикаты, выразимые в данной модели.

Общезначимые и выполнимые формулы языка первого порядка, примеры.

Семантическое следование в логике первого порядка, его связь с понятиями выполнимости и общезначимости. Равносильность формул языка первого порядка, важнейшие равносильности. Переименование связанных переменных.

Операции подстановки и замены подформулы на равносильную. Приведение формулы к предварённой нормальной форме.

Понятие изоморфизма моделей. Сохранение значения формулы при изоморфизме. Доказательство невыразимости с помощью изоморфизма моделей, примеры.

Теория первого порядка, её аксиомы и теоремы. Модель данной теории.

Понятие выполнимой теории. Примеры теорий: теория строгих частичных порядков, теория отношения эквивалентности, теория простых графов.

Теории первого порядка с равенством. Нормальные модели. Теорема о существовании нормальной модели у выполнимой теории с равенством. Примеры теорий с равенством: теория групп, формальная арифметика.

Понятие совместной теории. Элементарная теория данной модели. Элементарная эквивалентность моделей. Понятие полной теории.

Интерпретируемость одной модели в другой. Перевод формулы при данной интерпретации. Взаимная интерпретируемость моделей элементарной геометрии плоскости и поля вещественных чисел. Теорема о переносе свойства разрешимости элементарной теории с интерпретирующей модели на интерпретируемую.

Исчисление предикатов Аксиомы и правила вывода исчисления предикатов. Теорема о тавтологии. Выводимость в теории, простейшие свойства выводимости. Доказуемые, опровержимые, независимые формулы для данной теории. Теорема о дедукции для исчисления предикатов. Общезначимость аксиом исчисления предикатов. Теорема о корректности исчисления предикатов.

Теорема Гёделя о полноте исчисления предикатов (без доказательства). Теорема Мальцева о компактности для логики предикатов. Теорема Лёвенгейма–Сколема (для счётной сигнатуры).

Нестандартные модели арифметики, их существование. Понятие галактики. Описание отношение порядка на элементах данной галактики. Плотность порядка на множестве галактик.

Теория алгоритмов Основные понятия теории алгоритмов. Пошаговый характер выполнения алгоритма. Функция, вычисляемая данным алгоритмом; область определения вычислимой функции. Вычисление словарных и числовых функций на машинах Тьюринга. Тезис Чёрча–Тьюринга.

Разрешимые множества. Нумерация пар натуральных чисел. Нумерация словарного пространства. Эквивалентные определения перечислимого множества. Свойства объединения, пересечения и дополнения разрешимых и перечислимых множеств. Теорема Чёрча–Поста. Перечислимость области определения и области значений вычислимой функции. Теорема о графике вычислимой функции.

Кодирование машин Тьюринга. Существование универсальной машины Тьюринга. Универсальные функции. Пример вычислимой функции, не имеющей всюду определённого вычислимого продолжения. Существование неразрешимого перечислимого множества. Алгоритмическая неразрешимость проблемы самоприменимости и проблемы остановки машин Тьюринга. Существование неотделимой пары перечислимых множеств.

Задача распознавания свойств вычислимых функций по их программам.

Главные универсальные функции. Теорема Райса.

Разрешимые и неразрешимые теории Эффективно аксиоматизируемые, разрешимые теории. Теорема о разрешимости полной эффективно аксиоматизируемой теории. Примеры полных эффективно аксиоматизируемых теорий: элементарная геометрия, теория алгебраически замкнутых полей нулевой характеристики, теория упорядоченного поля действительных чисел (без доказательств).

Метод элиминации кванторов. Полнота и разрешимость теории плотных линейно упорядоченных множеств без первого и последнего элемента.

Формальная арифметика Пеано, её стандартная модель. 1 определимость в стандартной модели арифметики. Эквивалентность понятий перечислимого и 1 -определимого множества. Неперечислимость множества арифметических истин. Проблема распознавания истинности замкнутых арифметических формул, её алгоритмическая неразрешимость. Теоремы Гёделя о неполноте формальной арифметики.

1 -полнота арифметики Пеано и арифметики Робинсона Q (без детального доказательства). Неразрешимость арифметики Пеано, неразрешимость исчисления предикатов в арифметическом языке. Теорема Гёделя–Россера.

Рекомендуемая литература [1] Мендельсон Э. Введение в математическую логику. М.: Наука, 1984. 320 с.

[2] Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики.

М.: Физматлит, 2002. 128 с.

[3] Колмогоров А. Н., Драгалин А. Г. Математическая логика. М.: УРСС, 2004. 240 с.

[4] Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Физматлит, 2004. 256 с.

[5] Клини С. К. Математическая логика. М.: Мир, 1973. 480 с.

[6] Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов.

Часть 2. Языки и исчисления. М.: МЦНМ, 2000. 288 с.

[7] Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов.

Часть 3. Вычислимые функции. М.: МЦНМ, 1999. 176 с.





Похожие работы:

«Приложение 5Б: Рабочая программа специальной дисциплины Психология учения и воспитания ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ ПЯТИГОРСКИЙ ГОСУДАРСТВЕННЫЙ ЛИНГВИСТИЧЕСКИЙ УНИВЕРСИТЕТ Утверждаю Проректор по научной работе и развитию интеллектуального потенциала университета профессор З.А. Заврумов _2012 г. Аспирантура по специальности 19.00.07 Педагогическая психология отрасль науки: 19.00.00 Психологические науки Кафедра методологии...»

«Приложение 5А: Рабочая программа специальной дисциплины Восстановительная медицина и курортология ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ ПЯТИГОРСКИЙ ГОСУДАРСТВЕННЫЙ ЛИНГВИСТИЧЕСКИЙ УНИВЕРСИТЕТ Утверждаю Проректор по научной работе и развитию интеллектуального потенциала университета профессор З.А. Заврумов _2013 г. Аспирантура по специальности 14.03.11 Восстановительная медицина, спортивная медицина, лечебная физкультура,...»

«ВВЕДЕНО УТВЕРЖДАЮ в действие приказом № 95 Директор ГБОУ СОШ №2033 от 01сентября 2012 г И.А. Акулова Директор ГБОУ СОШ №2033 01 сентября 2012 г И.А.Акулова 01 сентябра 2012.г СОГЛАСОВАНО СОГЛАСОВАНО Управляющим советом Педагогическим советом протокол № 11 от 27 сентября 2012 г протокол № 1 от 30 августа 2012 г ВОСТОЧНОЕ ОКРУЖНОЕ УПРАВЛЕНИЕ ОБРАЗОВАНИЯ ДЕПАРТАМЕНТА ОБРАЗОВАНИЯ ГОРОДА МОСКВЫ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ГОРОДА МОСКВЫ СРЕДНЯЯ ОБЩЕОБРАЗОВАТЕЛЬНАЯ ШКОЛА №...»

«ФЕДЕРАЛЬНОЕ АГЕНТСТВО ЖЕЛЕЗНОДОРОЖНОГО ТРАНСПОРТА Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования ИРКУТСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПУТЕЙ СООБЩЕНИЯ УТВЕРЖДАЮ: Декан СЖДХодырев Ю.А. 1092011_ г. РАБОЧАЯ ПРОГРАММА ПРОИЗВОДСТВЕННОЙ ПРАКТИКИ Специальность 271501.65 Строительство железных дорог, мостов и транспортных тоннелей Специализация Мосты - СЖД.3 Квалификация (степень) выпускника _Специалист_ Нормативный срок обучения _5 лет_ Форма...»

«Закрытое Акционерное Общество “Бахчисарайский комбинат “Стройиндустрия” Украина, 98400, г. Бахчисарай, ул. Промышленная, 2 БИЗНЕС-ПЛАН ИНВЕСТИЦИОННОГО ПРОЕКТА Завод по производству бетона Бахчисарай 2006 СОДЕРЖАНИЕ РАЗДЕЛ 1. РЕЗЮМЕ РАЗДЕЛ 2. ПЛАН МАРКЕТИНГА ХАРАКТЕРИСТИКА РЫНКА ТОВАРНОГО БЕТОНА ПОТРЕБИТЕЛИ КАНАЛЫ СБЫТА ЕМКОСТЬ РЫНКА КОНКУРЕНТЫ... 8 ЦЕНЫ...10 ПРОИЗВОДСТВЕННАЯ ПРОГРАММА.. РАЗДЕЛ 3. РАЗМЕЩЕНИЕ ЗАВОДА, ТЕХНОЛОГИЯ, СТОИМОСТЬ ОСНОВНЫХ СРЕДСТВ.. РАСПОЛОЖЕНИЕ РАСТВОРО-БЕТОННОГО...»

«КРАТКОЕ СОДЕРЖАНИЕ И ОСНОВНЫЕ ИТОГИ Программа имеет междисциплинарный характер, в ней участвуют исследователи научных учреждений Отделения историко-филологических наук, Отделения общественных наук, а также региональных отделений и центров РАН (СО РАН, УрО РАН, ДВО РАН). Структура Программы состоит из 8 направлений, включающих 144 проекта с финансированием РАН: Направление 1. Древнейшее наследие и истоки творческих начал человека. Координаторы: акад. Деревянко А.П., чл.-корр. Амирханов Х.А....»

«Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ЛЕСА УТВЕРЖДАЮ: Ректор ФГБОУ ВПО МГУЛ N профессор В.Г. САНАЕВ ВСТУПИТЕЛЬНОГО ЭКЗАМЕНА В АСПИРАНТУРУ Дисциплина Мелиорация, рекультивация и охрана земель Кафедра Почвоведения ведет подготовку в аспирантуре по специальности научных работников - 06.01.02 Мелиорация, рекультивация и охрана земель Москва-...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Сыктывкарский лесной институт (филиал) федерального государственного бюджетного образовательного учреждения высшего профессионального образования Санкт-Петербургский государственный лесотехнический университет имени С. М. Кирова Кафедра технологии деревообрабатывающих производств ТЕХНОЛОГИЧЕСКИЕ ПРОЦЕССЫ И ОБОРУДОВАНИЕ ЛЕСОЗАГОТОВОК Учебно-методический комплекс по дисциплине для студентов специальности 220301 Автоматизация технологических...»

«Программа краткосрочного повышения квалификации преподавателей и научных работников высшей школы по направлению 150600 Материаловедение и технология новых материалов на базе учебного курса Технология изготовления объмных наноструктурных материалов Цель: изучение методов формования порошковых материалов и особенностей компактирования нанопорошков Категория слушателей: преподаватели и научные работники высшей школы Срок обучения: 24 часа Форма обучения: с частичным отрывом от работы Режим...»

«1 Организация и безопасность движения Курс лекций Ю.А. Рябоконь, К.В.Зайцев Кафедра Организация и безопасность движения 49СТР.,ИЛ. В курсе лекций рассматриваются общие понятия об организации и безопасности движения транспортных средств; транспортные потоки и их основные характеристики; способы изучения и оценки эффективности организации движения; транспортные происшествия и их классификация, механизмы и причины возникновения, учет и анализ; организация и безопасность движения пассажирского...»

«Государственное автономное образовательное учреждение высшего профессионального образования Тюменской области ТЮМЕНСКАЯ ГОСУДАРСТВЕННАЯ АКАДЕМИЯ МИРОВОЙ ЭКОНОМИКИ, УПРАВЛЕНИЯ И ПРАВА 2.5. Реализация образовательных программ СМК – РОП - РУП МАКРОЭКОНОМИКА СОГЛАСОВАНО УТВЕРЖДЕНО Проректор по учебной работе Решением Учёного совета _ Т.А. Кольцова (протокол № 9 от 23.03.2011 г.) _ 2011 г. Д. В. Феоктистов МАКРОЭКОНОМИКА Рабочая учебная программа Направление подготовки 080100 Экономика Профиль...»

«2 3 СОДЕРЖАНИЕ Раздел 1 Общие цели и задачи.. 4 Раздел 2 Структура учебной дисциплины. 6 Раздел 3 Учебная программа.. 6 Раздел 4 Календарно-тематический план дисциплины. 7 Раздел 5 Тематические планы.. 8 Раздел 6 Самостоятельная работа студентов. 10 Раздел 7 Примерные вопросы к зачету. 12 Раздел 8 Литература. Информационно-справочная система 13 обучения.. 4 РАЗДЕЛ 1 ОБЩИЕ ЦЕЛИ И ЗАДАЧИ Целью изучения курса Региональная экономика и управление является овладение аспирантами теоретическими...»

«ОРГАНИЗОВАНО В СООТВЕТСТВИИ СО СПОРТИВНЫМ КОДЕКСОМ РАФ РОССИЙСКАЯ АВТОМОБИЛЬНАЯ ФЕДЕРАЦИЯ КОМИТЕТ ВНЕДОРОЖНЫХ СОРЕВНОВАНИЙ РАФ АНО КЛУБ 4Х4 Трофи-рейд Волчьи ворота 2013 2-й этап Кубка РАФ С-К региона, отборочный этап Кубка России, Традиционное соревнование 16 - 18 августа 2013 г. ДОПОЛНИТЕЛЬНЫЙ РЕГЛАМЕНТ Карачаево-Черкесская Республика с. Верхняя Теберда Содержание Содержание Определения Программа Общие условия 1. Описание. 2. Организация. 3. Заявка на участие в соревнованиях. Взносы. 4....»

«Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования ОМСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ Утверждаю Проректор по УМР ОмГТУ Л.О. Штриплинг _ 2013 год РАБОЧАЯ ПРОГРАММА по дисциплине ФИНАНСОВЫЙ УЧЕТ (ПЦ Б.3.02.07) для направления подготовки бакалавров 080100.62 Экономика Профиль: Экономика предприятий и организаций Разработана в соответствии с ФГОС ВПО, ООП по направлению подготовки бакалавриата 080100.62 Экономика Программу составил:...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ М ОСКОВСКИЙ ГОСУДАРСТВЕННЫ Й ГУМ АНИТАРНО-ЭКОНОМ ИЧЕСКИЙ ИНСТИТУТ Волгоградский филиал РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ Профессиональная этика и психология делового общения Для специальности 034702 Документационное обеспечение управления и архивоведение. 2013 г. Рабочая программа учебной дисциплины Профессиональная этика и психология...»

«26 сентября 2005 года N 121-ОЗ КАЛУЖСКАЯ ОБЛАСТЬ ЗАКОН ОБ ОБЛАСТНОЙ ЦЕЛЕВОЙ ПРОГРАММЕ РАЗВИТИЕ ИННОВАЦИОННОЙ ДЕЯТЕЛЬНОСТИ В КАЛУЖСКОЙ ОБЛАСТИ НА 2005-2010 ГОДЫ Принят Постановлением Законодательного Собрания Калужской области от 15 сентября 2005 г. N 248 (в ред. Законов Калужской области от 27.10.2006 N 249-ОЗ, от 27.12.2007 N 388-ОЗ) Статья Утвердить областную целевую программу Развитие инновационной деятельности в Калужской области на 2005-2010 годы (прилагается). Статья Финансирование...»

«Согласовано Утверждаю Зам. директора по ВР Директор МБОУ АСОШ № 23 Мосенкова О.М. _ Антонова Н.А. (подпись) (подпись) _20_г. 20г. Муниципальное бюджетное общеобразовательное учреждение Александровская средняя общеобразовательная школа № 23 Рабочая программа Кружок Юный эколог 34 часа Возраст учащихся 11-15 лет Срок реализации: 06.09.12 – 23.05.13г Руководитель: Субботина Елена Александровна Должность: учитель биологии 2012г Пояснительная записка В системе государственных мер по охране...»

«Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования ОМСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ Утверждаю Проректор по УМР ОмГТУ Л.О. Штриплинг _ 201 год РАБОЧАЯ ПРОГРАММА по дисциплине ЭЛЕКТРИЧЕСКОЕ ОСВЕЩЕНИЕ (П. С.3.В.02) для направления подготовки специалистов 140107.65 Тепло- и электрообеспечение специальных технических систем и объектов Омск, 2013 г. Разработана в соответствии с ООП по направлению подготовки специалитета 140107.65...»

«Основная образовательная программа начального общего образования Государственного бюджетного образовательного учреждения средней общеобразовательной школы № 962 Северо-Восточного окружного управления образования города Москвы Срок действия программы 2011-2015г. СОДЕРЖАНИЕ I Целевой раздел Пояснительная записка Цели и задачи начального общего образования ГБОУ СОШ №962 Этапы реализации ООП ГБОУ СОШ № 962 Портрет выпускника начальной школы Планируемые результаты освоения обучающимися ООП НОО II...»

«ДЕПАРТАМЕНТ ОБРАЗОВАНИЯ И НАУКИ БРЯНСКОЙ ОБЛАСТИ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ СРЕДНЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ КОМАРИЧСКИЙ МЕХАНИКО – ТЕХНОЛОГИЧЕСКИЙ ТЕХНИКУМ Утверждаю зам. директора по УПР _Ю.А. Юшкова _ _ 2013 г. РАБОЧАЯ ПРОГРАММА ПРОФЕССИОНАЛЬНОГО МОДУЛЯ ПМ.01 Организация процесса приготовления и приготовление полуфабрикатов для сложной кулинарной продукции Рассмотрена и одобрена на заседании методического объединения спецдисциплин протокол № от 2013г...»






 
2014 www.av.disus.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.