математика

Парадокс Банаха-Тарского, Губа В.С., Львовский С.М., 2012.
     
   В 1924 году выдающиеся польские математики Стефан Банах и Альфред Тарский доказали, что шар в пространстве можно разрезать на конечное число частей, из которых можно сложить шар другого объема. В брошюре мы расскажем, почему эта теорема, производящая впечатление нелепости, не противоречит возможности измерять объемы тел, и познакомим читателя с красивой математикой, стоящей за этим уже классическим результатом.
Для школьников старших классов и студентов младших курсов.

Глобус, Общематематический семинар, Выпуск 5, Прасолов В.В., Цфасман М.А., 2004.
     
   Цель семинара «Глобус» — по возможности восстановить единство математики. Семинар рассчитан на математиков всех специальностей, аспирантов и студентов.
Пятый выпуск включает доклады В. В. Батырева, О. Я. Виро, А. А. Глуцюка, В. Ю. Калошина, Г. Кошевого, Ю. И. Манина, А. Н. Скоробогатова, А. Тоома.

Глобус, Общематематический семинар, Выпуск 4, Прасолов В.В., Цфасман М.А., 2004.
     
   Цель семинара «Глобус» –– по возможности восстановить единство математики. Семинар рассчитан на математиков всех специальностей, аспирантов и студентов.
Четвертый выпуск включает доклады С. Н. Артемова, А. М. Бородина, С. Г. Влэдуца, В. И. Данилова, Е. Б. Дынкина, Г. Л. Литвинова, Р. А. Минлоса, А. Н. Рыбко, В. В. Сергановой, М. В. Финкельберга, О. В. Шварцмана, В. В. Шехтмана, М. А. Шубина и Д. Б. Фукса.

Глобус, Общематематический семинар, Выпуск 3, Прасолов В.В., Цфасман М.А., 2006.
     
   Цель семинара «Глобус» — по возможности восстановить единство математики. Семинар рассчитан на математиков всех специальностей, аспирантов и студентов.
Третий выпуск включает доклады С. Алескера, В. М. Бухштабера, П. Делиня, С. Б. Каток, А. Н. Паршина, А. Б. Сосинского, А. Г. Хованского, М. А. Цфасмана, С. Б. Шлосмана.

Глобус, Общематематический семинар, Выпуск 2, Прасолов В.В., Цфасман М.А., 2005.
     
   Цель семинара «Глобус» — по возможности восстановить единство математики. Семинар рассчитан на математиков всех специальностей, аспирантов и студентов.
Второй выпуск включает доклады В. М. Бухштабера, А. М. Вершика, Э. Б. Винберга, С. Г. Гиндикина, С. М. Гусейн-Заде, Ю. Г. Зархина, Д. А. Лейтеса, Н. С. Надирашвили, Ю. А. Неретина, В. В. Никулина, С. П. Новикова, А. Г. Сергеева.

Глобус, Общематематический семинар, Выпуск 1, Прасолов В.В., Цфасман М.А., 2004.
     
   Цель семинара «Глобус» — по возможности восстановить единство математики. Семинар рассчитан на математиков всех специальностей, аспирантов и студентов.
Первый выпуск включает доклады В. И. Арнольда, А. А. Болибруха, В. А. Васильева, С. И. Гельфанда, А. В. Зелевинского, В. Я. Иврия, Ю. С. Ильяшенко, С. К. Ландо, Ю. И. Манина, Й. Меннике, Я. Г Синая, Б. Л. Фейгина, А. Я. Хелемского и М. А. Цфасмана.

Введение в современную логику, Гладкий А.В., 2001.
     
   Книга представляет собой учебное пособие, в котором начала логики впервые в отечественной учебной литературе излагаются на современном научном уровне и при этом в форме, доступной студентам гуманитарных факультетов высших учебных заведений. Наряду с формальной логикой излагаются элементы логики научного познания. Отдельно рассмотрены особенности рассуждений, используемых в гуманитарных областях знания.
Книга может служить также пособием для гимназий и лицеев.

Курс математической логики и теории вычислимости, Герасимов А.С., 2011.
     
   Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны языки логики высказываний и логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории — элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма и доказана неразрешимость некоторых проблем. Дополнительная глава посвящена исчислению для формального доказательства правильности программ некоторого императивного языка программирования. В данной книге имеется более 190 упражнений.
Это учебное пособие адресовано в первую очередь студентам, специализирующимся по информатике, но будет полезно студентам разных математических специальностей (направлений подготовки), а также всем желающим начать систематическое изучение математической логики.