x-uni.com
x-uni.com
x-uni.com
Математика
Биология
Литература
Русский язык
География
Физика
Химия
История
Английский
Информатика
География
Информатика
Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982

Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982

Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982.

   Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

    «Справочник по математической логике» является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем. мы отобрали те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.

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

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

СОДЕРЖАНИЕ
§ 1. Предисловие
§ 2. Что и как можно выразить в логике первого порядка
§ 3. Формализация логики первого порядка
§ 4. Теорема о полноте
§ 5. За пределами логики первого порядка
Литература

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

ЕГЭ по математике. Алгебра. Профильный уровень. Практическая подготовка

  Издательство: BHV, 2017 г.

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

В книге рассмотрены традиционные разделы школьного курса алгебры на более высоком по сравнению с базовым уровне и разделы, не входящие в круг задач базового уровня, необходимые для сдачи ЕГЭ по математике профильного уровня: арифметические и алгебраические преобразования, преобразования графиков, показательные и логарифмические уравнения и неравенства, комбинаторика и элементы теории вероятностей. Разбор текстовых задач по этим темам приведен в соответствующих главах. В каждой главе кратко представлены необходимые теоретические сведения, большое количество задач с комментариями и решениями, приведены подходы и методы решения классов задач, задачи для самостоятельного решения. Ответы даются в конце пособия. Книга предназначена учащимся с базовым уровнем математической подготовки. Ее можно использовать для самостоятельной подготовки к профильному уровню ЕГЭ, на уроках, факультативных занятиях, подготовительных курсах, индивидуально с репетитором. - Необходимая справочная теория - Разбор сложных задач по каждой теме - Приемы, рекомендации и комментарии при решении задач - Большое количество задач для самостоятельного решения


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

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

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

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


Математика. 1 класс. Тетрадь. В 2-х частях. Часть 1. ФГОС

Автор(ы): Истомина Наталия Борисовна, Редько Зоя Борисовна   Издательство: Ассоциация 21 век, 2015 г.  Серия: Математика

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

Тетрадь на печатной основе содержит материал, который поможет учителю организовать самостоятельную работу учащихся на уроке. Структура тетради соответствует логике построения содержания учебника "Математика, 1 класс", часть 1 (автор Н. Б. Истомина). 15-е издание, исправленное.


Математика. 1 класс. Тетрадь. В 2-х частях. Часть 2. ФГОС

Автор(ы): Истомина Наталия Борисовна, Редько Зоя Борисовна   Издательство: Ассоциация 21 век, 2015 г.  Серия: Математика

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

Тетрадь на печатной основе содержит материал, который поможет учителю организовать самостоятельную работу учащихся на уроке. Структура тетради соответствует логике построения содержания учебника "Математика. 1 класс", часть 2 (автор Н.Б. Истомина). 15-е издание, исправленное.