Все для школьников, студентов, учащихся, преподавателей и родителей - Обучалка - Obuchalka.org

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

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

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

Геометрия Лобачевского, Прасолов В.В., 2004.
     
   Книга написана на основе курса лекций, читавшегося автором студентам первого курса Математического колледжа НМУ в осенних семестрах 1994-95,1995-96,1996-97 и 2002-03 учебных годов. Она содержит множество задач, предлагавшихся на семинарских занятиях. В книгу также включены полные тексты письменных экзаменов по этим курсам, а также по курсам О. В. Шварцмана (осенние семестры 1997-98 и 2001-02 учебных годов) и В. О. Бугаенко (осенний семестр 2000-01 лечебного года). Некоторые из приведенных в книге задач снабжены решениями.

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

В молодые годы, Автобиографические записки, Геронимус Ю.В., 2004.
     
   Я собрался написать о прошедшем. Главный стимул — сам процесс: сидишь за компьютером, листаешь жизнь, проверяешь, не отшибло ли память, варит ли ещё голова. Признаюсь, что результаты таких проверок не всегда оказывались положительными (всё-таки возраст нешуточный). Исправив замеченные первыми читателями рукописи неточности, я двигался дальше. Какие-то огрехи, скорее всего, остались.
Я хочу описать мои встречи с людьми и с обстоятельствами. При этом прежде всего описать то, что я видел сам, но иногда, всё же, и то, о чём только слышал. Желание вспомнить о многих людях привело Записки к перенаселённости, досадной, возможно, для моих потенциальных читателей: некоторые имена появляются и больше не возникают, лишая текст сюжетной логики. Я писал не без оглядки на таких читателей, но не исключаю, что так и не смог удовлетворить их полностью.

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

Лекции по линейной алгебре, Гельфанд И.М., 1998.
     
   Читателю предлагается пятое, исправленное издание курса лекций И. М. Гельфанда, читавшихся автором в Московском государственном университете на протяжения ряда лет.
Для студентов-математиков и широкого круга специалистов, использующих методы линейной алгебры.