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

О математической строгости и школьном курсе математики, Шень А., 2011.

   Математики традиционно (и не без оснований) гордятся «математической строгостью» точностью и полнотой доказательств теорем на основе определений и аксиом. Насколько этот идеал достигнут в школьном курсе математики? Можно ли его достигнуть? И нужно ли к этому стремиться?
В брошюре разбираются несколько деликатных вопросов школьного курса математики (в чём проблема, как её пытаются решить в школьных учебниках и как её можно было бы решать). Изложение рассчитано на любознательных школьников, квалифицированных учителей и добросовестных экзаменаторов.
Первое издание книги вышло в 2006 г.

Программирование, Теоремы и задачи, Шень А., 2017.

   Книга содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель книги научить основным методам построения корректных и быстрых алгоритмов.
Для учителей информатики, старшеклассников, студентов младших курсов высших учебных заведений. Пособие может быть использовано на кружковых и факультативных занятиях в общеобразовательных учреждениях, в школах с углублённым изучением математики и информатики, а также в иных целях, не противоречащих законодательству РФ.
Предыдущее издание книги вышло в 2014 г.

Вероятность, Примеры и задачи, Шень А., 2008.

   На примерах излагаются первые понятия теории вероятностей (вероятность события, правила подсчёта вероятностей, условная вероятность, независимость событий, случайная величина, математическое ожидание, дисперсия).
Брошюра рассчитана на школьников и учителей, свободно оперирующих с дробями и процентами.
Первое издание книги вышло в 2007 г.

Лекции по математической логике и теории алгоритмов, Часть 3, Вычислимые функции, Верещагин Н.К., Шень А., 2017.

   Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности.
Предыдущее издание книги вышло в 2012 г.

Лекции по математической логике и теории алгоритмов, Часть 2, Языки и исчисления, Верещагин Н.К., Шень А., 2017.

   Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Предыдущее издание книги вышло в 2012 г.

Лекции по математической логике и теории алгоритмов, Часть 1, Начала теории множеств, Верещагин Н.К., Шень А., 2017.

   Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150 задач различной трудности.
Предыдущее издание книги вышло в 2012 г.

Логарифм и экспонента, Шень А., 2013.

   Начиная с рассуждения Галилея о том, что скорость падения тела не может быть пропорциональна пройденному пути, мы приходим к определению логарифма как площади под гиперболой и экспоненты как обратной (к логарифму) функции. Брошюра написана по материалам лекции для школьников 10-11 классов, прочитанной автором по приглашению А. В. Спивака.
Первое издание книги вышло в 2005 г.

Математическая индукция, Шень А., 2016.

   В брошюре рассказывается (для школьников 7-11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями.
Предыдущее издание книги вышло в 2011 г.