математика

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

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

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

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

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

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

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

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