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