Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны языки логики высказываний и логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства.
Рассмотрены основные формальные аксиоматические теории элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма и доказана неразрешимость некоторых проблем. Дополнительная глава посвящена исчислению для формального доказательства правильности программ некоторого императивного языка программирования. В данной книге имеется более 190 упражнений.
Это учебное пособие адресовано в первую очередь студентам, специализирующимся по информатике, но будет полезно студентам разных математических специальностей (направлений подготовки), а также всем желающим начать систематическое изучение математической логики.
Обобщённые функции получают сейчас все более широкое распространение в различных разделах математики. В нестрогой форме обобщённые функции по существу уже давно применялись физиками.
Важную роль в формировании теории обобщённых функций сыграли работы Ж. Адамара, в которых в связи с изучением фундаментальных решений волновых уравнений рассмотрены расходящиеся интегралы, а также работы М. Рисса. Мы не говорим здесь о более ранних математических работах, в которых тоже можно было бы найти элементы будущей теории обобщённых функций.
Впервые обобщённые функции в явной и теперь общепринятой форме ввёл С. Л. Соболев в 1936 г. Он применил обобщённые функции к выяснению вопроса о единственности решения задачи Коши для линейных гиперболических уравнений.
Эта книга — про алгебру. Алгебра — наука древняя, и от повседневного употребления её сокровища поблекли. Авторы старались вернуть им первоначальный блеск.
Основную часть книги составляют задачи, большинство которых приводится с решениями. Начав с элементарной арифметики, читатель постепенно знакомится с основными темами школьного курса алгебры, а также с некоторыми вопросами, выходящими за рамки школьной программы, так что школьники разных классов (от 6 до 11) могут найти в книге темы для размышлений.
Эта книга, написанная группой авторов под руководством одного из крупнейших математиков 20 века академика И. М. Гельфанда, призвана опровергнуть расхожее мнение о тригонометрии как скучном и непонятном разделе школьного курса математики. Читателю предлагается взглянуть на знакомый предмет по-новому.
Изложение, сопровождающееся большим количеством задач, начинается «с нуля» и доходит до материала, выходящего довольно далеко за рамки школьной программы; тригонометрические формулы иллюстрируются примерами из физики и геометрии.
Отдельная глава посвящена типичным приёмам решения тригонометрических задач, предлагаемых на вступительных экзаменах в высшие учебные заведения.
Книга будет незаменимым помощником для школьников старших классов, преподавателей, родителей и всех, интересующихся математикой.
Интегральная геометрия рассматривает в первую очередь интегральные преобразования, ставящие в соответствие функциям на многообразии (X) их интегралы по подмногообразиям из какого-либо семейства (M).
Считается, что само семейство (M) наделено структурой многообразия. Так возникает соответствие между функциями на многообразии (X) и функциями на некотором многообразии (M) его подмногообразий. Например, функциям на евклидовом пространстве (E^n) ставятся в соответствие их интегралы по всевозможным прямым; в результате возникает интегральное преобразование, переводящее функции на (E^n) в функции на многообразии прямых.
Кроме интегрирования функций на (X) по подмногообразиям из семейства (M), интегральная геометрия рассматривает аналогичные интегральные преобразования для инвариантных дифференциальных форм на (X), дифференциальных форм и т. д.). Основное внимание состоит в описании области, для которой определено соответствие такого типа. Первый раз курс интегральной геометрии в объёме этих объяснений прочитан И. М. Гельфандом, М. И. Граевым и Н. Я. Виленкиным.
Читателю предлагается пятое, исправленное издание курса лекций И. М. Гельфанда, читавшихся автором в Московском государственном университете на протяжении ряда лет.
Для студентов-математиков и широкого круга специалистов, использующих методы линейной алгебры.
Брошюра посвящена вычислению площадей прямоугольника, треугольника, параллелограмма, трапеции и других многоугольников. Рассмотрены решения 20 задач, сгруппированных вокруг следующих вопросов:
— равновеликость и равносоставленность многоугольников;
— медиана делит треугольник на два треугольника равной площади;
— разрезание треугольника и выпуклого четырёхугольника на две равновеликие части.
Приведены 16 задач (с ответами и указаниями) для самостоятельного решения. Текст брошюры представляет собой дополненную обработку записи лекции, прочитанной автором для школьников 8-11 классов 21 октября 2000 года на Малом мехмате. Брошюра рассчитана на широкий круг читателей, интересующихся математикой: школьников, учителей…
В книге рассказано о жизни и творчестве двенадцати замечательных математиков и физиков (от XVI до XX века), работы которых в значительной мере определили лицо современной математической науки.
Увлекательно изложенные биографии великих ученых заинтересуют самые широкие круги читателей, от старшеклассников до взрослых; интересующиеся математикой получат удовольствие и пользу от знакомства с научными достижениями героев книги.
Настоящее издание книги С. Г. Гиндикина более чем вдвое расширено по сравнению с предыдущим, вышедшим в серии «Библиотечка ”Квант“ » в 1985 году и успевшим стать библиографической редкостью.
Методы вычисления центров тяжести, или, что то же самое, центров масс (далее для разнообразия используются оба термина), составляют один из важнейших разделов статики и являются самым древним разделом механики (да и физики вообще).
Их основы были заложены знаменитым Архимедом. Его подход к этим задачам был в значительной мере геометрическим 1, и с тех пор методы нахождения центров масс простых плоских фигур составляют своеобразный раздел геометрии 2. Как и саму геометрию, их можно излагать аксиоматически.
В книге рассказывается о любопытной связи задачи о сложении чисел в двоичной записи с алгеброй логики, многочленами Жегалкина, треугольником Паскаля, салфеткой Серпинского и теоремой Куммера о делимости биномиальных коэффициентов.
Всё необходимое для понимания разъясняется. Брошюра является расширенным вариантом лекции, прочитанной на Малом мехмате в МГУ им. Ломоносова 6 апреля 2013 г.
