3000 примеров по математике

В пособии собраны контрольные и проверочные работы по одной из базовых для второго-третьего классов тем — «Сложение и вычитание в пределах 100». Как и любая другая тема, она требует внимательного осмысления...

Узорова О.В., Нефедова Е.А. / Издательство «АСТ» / 2003 год.

Введение в теорию алгоритмов и структур данных

В курсе дается краткое изложение классических способов построения и анализа алгоритмов. Первая часть курса, представленная в данном пособии, в большей степени сконцентрирована на базовых структурах данных, а также задачах сортировки...

Бабенко М.А., Левин М.В. / Издательство «МЦНМО» / 2014 год.

Введение в теорию множеств и общую топологию. Издание 2

Книга является введением в современные разделы общей топологии. Первые три главы представляют собой изложение фактов теории множеств с так называемой «наивной» точки зрения. В главах 4−6 дается изложение основных топологических...

Александров П.С. / Издательство «Лань» / 2010 год.

Вводный курс математической логики

В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных...

Успенский В.А., Верещагин Н.К., Плиско В.Е. / 2002 год.

Диаграммы Юнга и их предельная форма

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

Буфетов А.И., Житлухин М.В., Козин Н.Е. / Издательство «МЦНМО» / 2013 год.

Диофантовы уравнения и доказуемость в математике

В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 года) о том. Что всякое перечислимое множество является диофантовым.

Мороз Б.З. / Издательство «МЦНМО» / 2008 год.

Естественные трехзначные логики. Функциональные свойства и отношения

Монография посвящена функциональным свойствам трехзначных логик. Предложен оригинальный подход к рассмотрению вопроса о взаимоотношении между различными трехзначными логиками, различные классы трехзначных логик представлены в виде решеток относительно...

Томова Н.Е. / Издательство «ИФРАН» / 2012 год.

Задачи по теории множеств, математической логике и теории алгоритмов Издание 5

В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория...

Лавров И.А., Максимова Л.Л. / Издательство «Физматлит» / 2004 год.

Интуиция и математика

Книга раскрывает существо многих математических идей. Неожиданно просто и коротко в ней передается смысл фундаментальных результатов, а сложные факты предстают в интуитивно ясном виде. Стиль изложения экономен. Интонация дружественная....

Босс В. / 2012 год.

Купец Иван Подкова

Любой учитель и родитель знают, что без регулярной тренировки вычислительных навыков обучение младших школьников невозможно. Причем такую тренировку лучше проводить не по рабочим тетрадям, где учебная программа одинакова для всех детей, а индивидуально,...

Беденко М.В. / Издательство «5 за знания» / 2008 год.