x-uni.com
регистрация / вход
сейчас на линии 27 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 27 чел.
Лекции по математической логике и теории алгоритмов, Часть 2, Языки и исчисления, Верещагин Н.К., Шень А., 2012

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

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

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

Логика высказываний.
Высказывания и операции
«Если число п рационально, то п — алгебраическое число. Но оно не алгебраическое. Значит, п не рационально.» Мы не обязаны знать, что такое число п, какие числа называют рациональными и какие алгебраическими, чтобы признать, что это рассуждение правильно в том смысле, что из двух сформулированных посылок действительно вытекает заключение. Такого рода ситуации — когда некоторое утверждение верно независимо от смысла входящих в него высказываний составляют предмет логики высказываний.

Такое начало (особенно если учесть, что курс логики входил в программу философского факультета, где также изучалась «диалектическая логика») настораживает, но на самом деле наши рассмотрения будут иметь вполне точный математический характер, хотя мы начнём с неформальных мотивировок.

Оглавление
Предисловие
1. Логика высказываний
1.1. Высказывания и операции
1.2. Полные системы связок
1.3. Схемы из функциональных элементов
2. Исчисление высказываний
2.1. Исчисление высказываний (ИВ)
2.2. Второе доказательство теоремы о полноте
2.3. Поиск контрпримера и исчисление секвенций
2.4. Интуиционистская пропозициональная логика
3. Языки первого порядка
3.1. Формулы и интерпретации
3.2. Определение истинности
3.3. Выразимые предикаты
3.4. Выразимость в арифметике
3.5. Невыразимые предикаты: автоморфизмы
3.6. Элиминация кванторов
3.7. Арифметика Пресбургера
3.8. Теорема Тарского Зайденберга
3.9. Элементарная эквивалентность
3.10. Игра Эренфойхта
3.11. Понижение мощности
4. Исчисление предикатов
4.1. Общезначимые формулы
4.2. Аксиомы и правила вывода
4.3. Корректность исчисления предикатов
4.4. Выводы в исчислении предикатов
4.5. Полнота исчисления предикатов
4.6. Переименование переменных
4.7. Предварённая нормальная форма
4.8. Теорема Эрбрана
4.9. Сколемовские функции
5. Теории и модели
5.1. Аксиомы равенства
5.2. Повышение мощности
5.3. Полные теории
5.4. Неполные и неразрешимые теории
5.5. Диаграммы и расширения
5.6. Ультрафильтры и компактность
5.7. Нестандартный анализ
Литература
Предметный указатель
Указатель имён.

Скачать бесплатно на сайте fileskachat.com

Предложения интернет-магазинов

Математика для гуманитариев: задачи и решения

Автор(ы): Просветов Георгий Иванович   Издательство: Альфа-Пресс, 2008 г.

Цена: 215 руб.   Купить

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


Сборник формул по математике

Автор(ы): Цикунов А.Е.   Издательство: Питер, 2013 г.  Серия: Карманный справочник

Цена: 60 руб.   Купить

Сборник содержит формулы элементарной высшей математики - арифметики и алгебры, геометрии и тригонометрии, векторной и линейной алгебры, дифференциального и интегрального исчисления, рядов, теории вероятности и др. Он адресован школьникам и абитуриентам, студентам высших и средних специальных учебных заведений, преподавателям и инженерам. 3-е издание.


Математика. Теория вероятностей и дискретная математика: Элементы теории, решение задач

Автор(ы): Баюк Олег Александрович, Маркарян Елена Георгиевна   Издательство: Просвещение, 2013 г.  Серия: Сложные темы ЕГЭ

Цена: 333 руб.   Купить

Пособие предназначено учащимся общеобразовательных учреждений (школ, гимназий, колледжей) для углублённого изучения теории вероятностей и связанных с ней разделов дискретной математики (теории множеств, математической логики, комбинаторики, теории графов и математической статистики) в целях успешной сдачи ЕГЭ по математике. В пособии изложены основные теоретические сведения, необходимые для решения задач, приводятся решения типичных заданий ЕГЭ, а также содержатся задания для самостоятельной работы (с ответами, указаниями к решению или решениями). Книга может быть использована в качестве сборника задач на подготовительных курсах, факультативных занятиях, при самостоятельной подготовке к поступлению в вуз и при последующем обучении в вузе.


События. Вероятности. Статистическая обработка данных: Доп. параграфы к курсу алгебры 7-9 классов

Автор(ы): Мордкович Александр Григорьевич, Семенов Павел Владимирович   Издательство: Мнемозина, 2009 г.  Серия: Математика

Цена: 147 руб.   Купить

Пособие предназначено для ознакомления учащихся с элементами теории вероятностей и математической статистики. На большом количестве примеров изложены начальные понятия, идеи и методы комбинаторики, теории вероятностей и статистики. Даны задачи с решениями и ответами, а также упражнения с возрастающей степенью сложности для самостоятельной работы школьников (включая ответы). 6-е издание.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!