математика

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

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

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

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

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

Алгебра, Гельфанд И.М., Шень А., 2017.
     
   Эта книга — про алгебру. Алгебра — наука древняя, и от повседневного употребления её сокровища поблекли. Авторы старались вернуть им первоначальный блеск.
Основную часть книги составляют задачи, большинство которых приводится с решениями. Начав с элементарной арифметики, читатель постепенно знакомится с основными темами школьного курса алгебры, а также с некоторыми вопросами, выходящими за рамки школьной программы, гак что школьники разных классов (от 6 до 11) могут найти в книге темы для размышлений.
Предыдущее издание книги вышло в 2014 г.

Арифметика квадратичных форм, Доценко В., 2015.
     
   Какие целые числа можно представить в виде суммы двух квадратов? С исследования вопросов такого рода началась современная теория чисел. В брошюре обсуждаются некоторые классические результаты, возникающие на этом пути, от теоремы Ферма—Эйлера до теоремы Минковского—Хассе.
Брошюра написана по материалам цикла лекций на Летней школе «Современная математика» в Дубне в 2007 г. Она доступна студентам младших курсов и школьникам старших классов.

Задачи по математике, предлагавшиеся ученикам математического класса 57 школы, Доценко В., 2004.
     
   Книга содержит учебные материалы, составлявшие содержание курса «математического анализа» в математическом классе 57 школы (выпуск 2004 года, класс «Д»). В неё включены задачи вечерней математической школы и собеседований, задачи всех трёх лет обучения (включая контрольные работы и экзамены), список тем прочитанных лекций и избранные курсовые работы школьников.