В 1924 году выдающиеся польские математики Стефан Банах и Альфред Тарский доказали, что шар в пространстве можно разрезать на конечное число частей, из которых можно сложить шар другого объема.
В брошюре мы расскажем, почему эта теорема, производящая впечатление нелепости, не противоречит возможности измерять объемы тел, и познакомим читателя с красивой математикой, стоящей за этим уже классическим результатом.
Для школьников старших классов и студентов младших курсов.
В этой книге в форме серии задач излагается практически вся элементарная геометрия. Книга состоит из двух частей: первую можно считать базовым курсом геометрии, содержащим наиболее известные и часто используемые теоремы; во второй приводятся малоизвестные, но красивые факты. Близкие по тематике задачи располагаются рядом, так чтобы было удобно их решать.
В настоящем втором издании исправлены замеченные ошибки и опечатки.
Книга будет полезна как школьникам математических классов («матшкольникам»), так и преподавателям. Кроме того, она доставит немало приятных минут всем любителям геометрии.
Курс планиметрии (Р. К. Гордин) состоял почти полностью из решения задач. Приходя в класс, школьники уже год занимались геометрией, но по разным учебникам и в разной степени, поэтому по существу всё начиналось сначала.
Книга содержит один из курсов математики в задачах, на протяжении ряда лет используемых в школе города Москвы. В представленном виде курс преподавался классу «В» 2008 года выпуска. Часть 2 состоит из тем, изучавшихся в 9 классе.
Задания снабжены решениями и комментариями. Многие сюжеты (листки) могут изучаться независимо.
Книга адресована учителям математики, работающим в математических классах, руководителям кружков и факультативов и всем, кто интересуется обучением старшеклассников математике вне школьной программы.
Книга содержит один из курсов математики в задачах, на протяжении ряда лет используемых в школе города Москвы. В представленном виде курс преподавался классу «В» года выпуска. Часть 1 состоит из тем, изучавшихся в в классе.
Задания снабжены решениями и комментариями. Многие сюжеты (листки) могут изучаться независимо.
Книга адресована учителям математики, работающим в математических классах, руководителям кружков и факультативов и всем, кто интересуется обучением старшеклассников математике вне школьной программы.
Я собирался написать о прошедшем. Главный стимул — сам процесс: сидишь за компьютером, листаешь жизнь, проверяешь, не отшибло ли память, варит ли ещё голова. Признаюсь, что результаты таких проверок не всегда оказывались положительными (всё-таки возраст непреступный). Исправив замеченные первыми читателями рукописи неточности, я двигался дальше. Какие-то огрехи, скорее всего, остались.
Я хочу описать мои встречи с людьми и с обстоятельствами. При этом прежде всего отмечу то, что я видел сам, но иногда всё же и то, о чём только слышал. Желание вспомнить о многих людях привело Записки к перенаселённости, досадной, возможно, для моих потенциальных читателей: некоторых имена появляются только один раз и без всякой исторической логики. Я писал не для историков и на таких читателей, но не исключаю, что так и не смогу удовлетворить их полностью.
В этом контексте приходит на ум такая картина: в переупакованный автобус входит мама с семьёй детьми. Младшая девочка с не слишком дисциплинированной и шумной компанией задерживается у дверей, водитель нервничает и говорит матери: “Ты бы хоть половину детей дома оставила!”. На что мать отвечает: “А если я их и сюда еле успокоила!”. В общем моём пересказе читатель скажет в сердцах: “Включил бы ты в твои Записки ну четверть, ну половину тех, кого ты знал и помнишь”, то я отвечу, как та израильтянка: “Я так и сделал”.
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны языки логики высказываний и логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства.
Рассмотрены основные формальные аксиоматические теории элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма и доказана неразрешимость некоторых проблем. Дополнительная глава посвящена исчислению для формального доказательства правильности программ некоторого императивного языка программирования. В данной книге имеется более 190 упражнений.
Это учебное пособие адресовано в первую очередь студентам, специализирующимся по информатике, но будет полезно студентам разных математических специальностей (направлений подготовки), а также всем желающим начать систематическое изучение математической логики.
Обобщённые функции получают сейчас все более широкое распространение в различных разделах математики. В нестрогой форме обобщённые функции по существу уже давно применялись физиками.
Важную роль в формировании теории обобщённых функций сыграли работы Ж. Адамара, в которых в связи с изучением фундаментальных решений волновых уравнений рассмотрены расходящиеся интегралы, а также работы М. Рисса. Мы не говорим здесь о более ранних математических работах, в которых тоже можно было бы найти элементы будущей теории обобщённых функций.
Впервые обобщённые функции в явной и теперь общепринятой форме ввёл С. Л. Соболев в 1936 г. Он применил обобщённые функции к выяснению вопроса о единственности решения задачи Коши для линейных гиперболических уравнений.
Эта книга — про алгебру. Алгебра — наука древняя, и от повседневного употребления её сокровища поблекли. Авторы старались вернуть им первоначальный блеск.
Основную часть книги составляют задачи, большинство которых приводится с решениями. Начав с элементарной арифметики, читатель постепенно знакомится с основными темами школьного курса алгебры, а также с некоторыми вопросами, выходящими за рамки школьной программы, так что школьники разных классов (от 6 до 11) могут найти в книге темы для размышлений.
Эта книга, написанная группой авторов под руководством одного из крупнейших математиков 20 века академика И. М. Гельфанда, призвана опровергнуть расхожее мнение о тригонометрии как скучном и непонятном разделе школьного курса математики. Читателю предлагается взглянуть на знакомый предмет по-новому.
Изложение, сопровождающееся большим количеством задач, начинается «с нуля» и доходит до материала, выходящего довольно далеко за рамки школьной программы; тригонометрические формулы иллюстрируются примерами из физики и геометрии.
Отдельная глава посвящена типичным приёмам решения тригонометрических задач, предлагаемых на вступительных экзаменах в высшие учебные заведения.
Книга будет незаменимым помощником для школьников старших классов, преподавателей, родителей и всех, интересующихся математикой.
