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

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

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

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

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

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

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

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

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