x-uni.com
x-uni.com
x-uni.com
Математика
Биология
Литература
Русский язык
География
Физика
Химия
История
Английский
Информатика
География
Информатика
ВИДЕОКУРСЫ
Лекции по математической логике и теории алгоритмов, Часть 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. Нестандартный анализ
Литература
Предметный указатель
Указатель имён.

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

Математическая культура учителя информатики. Теоретико-методический аспект. Монография

Автор(ы): Мирзоев Махмашариф Сайфович   Издательство: Прометей, 2015 г.

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

В монографии рассмотрены проблемы развития математического образования будущего учителя информатики в свете формирования математической культуры. Исследование математической культуры учителя информатики рассматривается в контексте развития математики в областях дискретной математики, математической логики, теории алгоритмов, информационного моделирования. Существенное внимание уделено интеграции предметных областей "Информатика" и "Математика". Определены и обоснованы структура и содержание математических дисциплин дискретного блока с учетом интеграции предметных областей "Математика" и "Информатика" и основных аспектов развития общеобразовательного курса информатики. Представлено учебно-методическое обеспечение формирования математической культуры будущего учителя информатики на базе ИКТ. Монография адресована научным сотрудникам, преподавателям, аспирантам, студентам педагогических вузов, учителям, слушателям факультетов повышения квалификации, другим специалистам, заинтересованным исследованием проблемы математической культуры.


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

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

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

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


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

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

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

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


Теоретическая фонетика английского языка. Лекции, семинары, упражнения. Учебное пособие

Автор(ы): Евстифеева Марина Владимировна   Издательство: Флинта, 2012 г.

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

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