Search found 9 matches

Author Message

admin

Post 07-Aug-2018 04:39

[Quote]

Автор: Эдвард Шейнерман
Издательство: Альпина Диджитал
ISBN: 978-5-9167-1131-8
Жанр: Математика
Формат: FB2
Качество: Изначально электронное (ebook)
Иллюстрации: Черно-белые
Описание:
Принято считать, что математика – наука точная и совершенно скучная, но Эдвард Шейнерман берется доказать обратное. Он утверждает, что математика бывает не менее увлекательной, чем гуманитарные дисциплины. Как объяснить тот факт, что бо́льшая часть окружающих нас чисел начинается на единицу, а тех, что начинаются на девятку, – совсем мало? Каков наилучший путь выиграть выборы, если победителями становятся больше двух кандидатов? Как понять, насколько можно доверять даже самому высокоточному медицинскому тесту? Можно ли покрыть весь пол паркетинами в виде правильных пятиугольников и не оставить зазоров? Как проверить, не сфабрикована ли налоговая отчетность, всего лишь проанализировав первые цифры денежной суммы? Может ли математика пролить свет на вопрос о свободе воли? Ответы на все эти и многие другие вопросы вы найдете в этой книге. Автор приглашает читателя испытать свои силы в решении математических головоломок и станет вашим гидом в захватывающем и комфортном путешествии по миру чисел, геометрических фигур и теории вероятностей. Достаточно школьных знаний алгебры, а итогом станет незабываемая радость знакомства с основами математического мышления.

admin

Post 20-Jul-2018 04:02

[Quote]

«Библиотечка физико-математической школы» (киевская серия, математика)
Год издания: 1975 — 1984
Автор: Разные авторы
Жанр или тематика: Математика
Издательство: Вища школа (Киев)
Серия: Библиотечка физико-математической школы
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы
Интерактивное оглавление: Нет
Количество страниц: Указано для каждой книги
Описание: Широко известна «Библиотечка физико-математической школы» — популярная книжная серия, начавшая издаваться в 1960-х гг. издательством «Наука» (Москва). «Библиотечка» состояла из двух серий: «Математика» и «Физика». На сегодня в интернете доступны оцифровки соответственно 9 и 12 книг этих серий.
Однако существовала альтернативная книжная серия с таким же названием. В 1970-х — 1980-х гг. киевское издательское объединение «Вища школа» выпускало свою версию «Библиотечки физико-математической школы», также состоявшей из двух серий: «Математика» и «Физика». Книг киевской серии «Физика» в интернете (пока?) нет. Но часть киевской серии «Математика» пользователям интернета доступна. Эта часть и представлена в данной раздаче.

Примеры страниц


Список книг

Касаткин В.Н. — Семь задач по кибернетике — 1975 (100 стр.), DjVu (отсканированные страницы)
Яглом И.М. — Проблема тринадцати шаров — 1975 (86 стр.), DjVu (отсканированные страницы)
Кованцов Н.И. — Математика и романтика — 1976 (97 стр.), DjVu (отсканированные страницы)
Бельский А.А., Калужнин Л.А. — Деление с остатком — 1977 (74 стр.), DjVu (отсканированные страницы)
Шевченко В.Е. — Некоторые способы решения логических задач — 1979 (82 стр.), DjVu (отсканированные страницы)
Бородин А.И. — Советские математики — 1982 (140 стр.), DjVu (отсканированные страницы)
Бродский Я.С., Слипенко А.К. — Функциональные уравнения — 1983 (96 стр.), DjVu (отсканированные страницы)
Дринфельд Г.И. — Интерполирование и способ наименьших квадратов — 1984 (104 стр.), DjVu (отсканированные страницы)

admin

Post 20-Jul-2018 03:22

[Quote]

Современная математика. Вводные курсы
Год издания: 1976-1992
Автор: Разные авторы
Переводчик: Разные переводчики
Жанр или тематика: Математика
Издательство: Мир
Серия: Современная математика. Вводные курсы
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы
Интерактивное оглавление: Нет
Количество страниц: Указано для каждой книги
Описание: Известная серия переводной математической литературы, выпускавшейся издательством «Мир» с 1970-г гг. Все 17 выпусков этой серии представлены в данной раздаче.

Примеры страниц



Список книг

Ленг С. — Введение в алгебрарические и абелевы функции — 1976 (134 стр.), DjVu (отсканированные страницы)
Брёкер Т., Ландер Л. — Дифференцируемые ростки и катастрофы — 1977 (209 стр.), DjVu (отсканированные страницы)
Нивенгельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подохд к решению математических задач — 1977 (353 стр.), DjVu (отсканированные страницы)
Рингель Г. — Теорема о раскраске карт — 1977 (129 стр., в книге 256), DjVu (отсканированные страницы)
Уилсон Р. — Введение в теорию графов — 1977 (208 стр.), DjVu (отсканированные страницы)
Коблиц Н. — p-адические числа, p-адический анализ и дзета-функции — 1982 (192 стр.), DjVu (отсканированные страницы)
Торп Дж. — Начальные главы дифференциальной геометрии — 1982 (361 стр.), DjVu (отсканированные страницы)
Коснёвски Ч. — Начальный курс алгебраической топологии — 1983 (304 стр.), DjVu (отсканированные страницы)
Клеменс Г. — Мозаика теории комплексных кривых — 1984 (160 стр.), DjVu (отсканированные страницы)
Шутц Б. — Геометрические методы математической физики — 1984 (304 стр.), DjVu (отсканированные страницы)
Альфорс Л. — Преобразования Мёбиуса в многомерном пространстве — 1986 (114 стр.), DjVu (отсканированные страницы)
Палис Ж., ди Мелу В. — Геометрическая теория динамических систем — 1986 (301 стр.), DjVu (отсканированные страницы)
Эрроусмит Д., Плейс К. — Обыкновенные дифференциальные уравнения — 1986 (243 стр.), DjVu (отсканированные страницы)
Брус Дж., Джиблин П. — Кривые и особенности — 1988 (265 стр.), DjVu (отсканированные страницы), ISBN 5-03-001194-3
Лелон-Ферран Ж. — Основания геометрии — 1989 (311 стр.), DjVu (отсканированные страницы), ISBN 5-03-001008-4
Рид М. — Алгебрарическая геометрия для всех — 1991 (72 стр., в книге 144), DjVu (отсканированные страницы), ISBN 5-03-001792-5
Ейтс С. — Репьюниты и десятичные периоды — 1992 (256 стр.), DjVu (отсканированные страницы), ISBN 5-03-002405-0

admin

Post 19-Jul-2018 09:24

[Quote]

Гноенский Л.С., Каменский Г.А., Эльсгольц Л.Э. - Математические основы теории управляемых систем - 1969

Год выпуска: 1969
Количество страниц: 512
Описание: Основу книги составляет изложение теории обыкновенных дифференциальных, разностных и дифференциально-разностных уравнений. Уравнениями этих типов наиболее часто описывается поведение управляемых систем. Значительное внимание уделено вариационному исчислению и теории оптимальных процессов. Для удобства читателя включены два приложения, посвященные краткому изложению методов теории функций комплексного переменного и операционного нечисления, используемых в книге.

Дёч Г. - Руководство к практическому применению преобразования Лапласа - 1965

Год выпуска: 1965
Количество страниц: 286
Описание: Настоящая книга предназначена для инженеров. Она не содержит деталей доказательств, порой опускаются и сами доказательства, но зато методы применения преобразования Лапласа к различным задачам изложены здесь с исчерпывающей полнотой. Автор очень бережно относится к формулировке теорем и правил и во многих местах наглядно иллюстрирует, как неточная, расплывчатая формулировка того или иного правила приводит при применении его к ошибочным результатам.

Лебедев Н.Н. - Специальные функции и их приложения - 1953

Год выпуска: 1953
Количество страниц: 190 - развороты по 2 страницы
Описание: Настоящая книга посвящена одному из разделов математики, знание которого представляется весьма существенным для научных работников и инженеров-исследователей, встречающихся в своей работе с математическими расчетами.
Книга содержит систематическое изложение основ теории важнейших специальных функций, а также некоторые приложения этой теории к конкретным задачам математической физики и техники.
2-е издание книги: http://rutracker.org/forum/viewtopic.php?t=2822483

Свешников А.А. - Прикладные методы теории случайных функций (2-е издание) - 1968

Год выпуска: 1968
Количество страниц: 449
Описание: Систематически изложены основные положения теории случайных функций, находящие применение в различных приложениях. Дается корреляционная теория случайных процессов, а также основы теории марковских процессов и их применение к ряду типичных задач: определению вероятности невыхода ординат случайной функции за пределы данной области, среднего числа выбросов за данный уровень, длительность которых превышает заданную, и др.
Большое внимание уделено определению вероятностных характеристик динамических систем, на вход которых поступают случайные функции с известными характеристиками. Помимо динамических систем, описываемых обыкновенными дифференциальными уравнениями, исследуются также системы, характеризуемые дифференциальными уравнениями в частных производных (системы с распределенными параметрами).
Рассматривается определение передаточной функции линейной системы, обеспечивающей минимум дисперсии ошибки при заданных характеристиках полезного сигнала и помехи.
Излагаются теоретические основы и наиболее рациональные практические приемы обработки реализаций случайных процессов.
В книге используется только математический аппарат, входящий в общий курс математики, а содержание иллюстрируется большим числом примеров, представляющих интерес для ряда приложений.

Соболева Н.А., Берковский А.Г., Чечик Н.О., Елисеев Р.Е. - Фотоэлектронные приборы - 1965

Год выпуска: 1965
Количество страниц: 587
Описание: Фотоэлектронные приборы играют важную роль в современной технике и научных исследованиях. Б последние годы s области исследований фотоэффекта и в создании новых видов и типов приборов достигнут ряд существенных успехов.
В предлагаемой книге приведены основные сведении о современном состоянии физики электронных процессов, происходящих в фотоэлектров-ных приборах, и описаны конструкции, параметры и характеристики этих приборов.
Книга рассчитана на инженеров и научных работников, разрабатывающих и применяющих фотоэлектронные приборы, а также па аспирантов и студентов соответствующих специальностей высших учебных заведений.

Сушкин Н.Г. - Электронный микроскоп - 1949

Год выпуска: 1949
Количество страниц: 125 - развороты по 2 страницы
Описание: Книга излагает принципы работы и основные конструкции электронных микроскопов. Она содержит также подробное изложение методики использования электронных микроскопов в различных областях науки и техники.
Книга предназначена для инженерно-технических работников, работающих в области электронной микроскопии, а также для работников научно-исследовательских институтов и промышленных лабораторий, в которых применяются электронные микроскопы. Книга полезна также для всех тех, кто интересуется новейшими достижениями науки н техники, к которым относится электронный микроскоп.

Фукс Б.А., Левин В.И. - Функции комплексного переменного и их приложения. Специальные главы - 1951

Год выпуска: 1951
Количество страниц: 311
Описание: По своему назначению и содержанию настоящая кии-га примыкает к изданной в 1949 году книге «Функции комплексного переменного и некоторые их приложения» Б. А. Фукса и Б. В. Шабата.
Она предназначена для инженеров, а также для студентов и аспирантов высших технических учебных заведений, желающих ближе познакомиться с некоторыми специальными вопросами теории функции комплексного переменного и их приложениями в тех главах математического анализа, которые играют важную роль при решении технических и физических задач (как дифференциальные уравнения, операционное исчисление, специальные функции, вопросы устойчивости).
Настоящая книга вместе с упомянутой книгой Б. А. Фукса и Б. В. Шабата должны дать читателю знание основ теории функций комплексного переменного, знакомство (хотя, конечно, и не исчерпывающее) с наиболее важными, с точки зрения приложений, специальными разделами этой теории и представление о путях использования ее методов для решения вопросов прикладного характера.

Фурдуев В.В. - Электроакустика - 1948

Год выпуска: 1948
Количество страниц: 517
Описание: В книге излагаются физические основы современной электроакустики и принципы устройства электроакустической аппаратуры, применяемой в технике радиовещания и звукозаписи. Книга содержит также теорию акустических процессов в закрытых помещениях и методы расчёта систем озвучания и звукоусиления. Книга рассчитана на студентов, изучающих техническую акустику, на инженерно-технических работников и физиков акустической специальности.

Хейкер Д.М., Зевин Л.С. - Рентгеновская дифрактометрия - 1963

Год выпуска: 1963
Количество страниц: 191 - развороты по 2 страницы
Описание: До недавнего времени единственным методом рентгенографических измерений был фотографический. В последние годы созданы новые приборы для рентгеноструктурных исследований — дифрактометры. в которых рентгеновскую пленку заменили счетчики квантов. Применение дифрак-тометров повышает точность, чувствительность и экспрессность рентгеновских методов исследования, что расширяет области применении их (например, в промышленности эти приборы можно использовать в качестве датчиков при автоматизации технологических линий). В книге систематически изложены вопросы дифрактометрии, рассказано об устройстве днфрактометров и методике работы с ними, о методах исследования различных материалов.
Книга рассчитана на инженеров и научных работников рентгеновских лабораторий научно-исследовательских институток и промышленных предприятий; она может быть полезна студентам старших курсов вузов, аспирантам, специализирующимся по рентгеноструктурному анализу, металлофизике, методам исследования различных материалов.

Эрдейи А. - Асимптотические разложения - 1962

Год выпуска: 1962
Количество страниц: 130
Описание: Книга посвящена изложению различных методов асимптотического вычисления интегралов, содержащих большой параметр, и методов решения дифференциальных уравнений с помощью асимптотических разложений. Изложение сопровождается примерами. Книга будет полезна широкому кругу читателей, сталкивающихся в своей деятельности с приближенными вычислениями (физикам, инженерам и т. д.), а также студентам и аспирантам, специализирующимся в области вычислительной математики и теории дифференциальных уравнений.

admin

Post 19-Jul-2018 09:22

[Quote]

Фукс Б.А., Шабат Б.В. - Функции комплексного переменного и некоторые их приложения (3-е издание) - 1964

Год выпуска: 1964
Количество страниц: 390
Описание: В книге дается изложение основ теории аналитических функций. Эта теория находит широкое применение при разработке различных задач техники.
Книга рассчитана на студентов высших технических учебных заведений, а также на инженеров и научных работников, ведущих исследования в области приложения математики к физике и механике.

Содержание

Примеры страниц (кликабельно)

Хемминг Р.В. - Численные методы для научных работников и инженеров (2-е издание) - 1972

Год выпуска: 1972
Количество страниц: 399
Описание: Книга посвящена численным методам математического анализа, используемым на ЭВМ. Она состоит из четырех частей. Часть 1, дискретное исчисление конечных разностей (гл.1-6), излагает основные понятия конечных разностей, суммирования конечных численных рядов и конечных рядов Фурье. Часть 2, приближение многочленами (гл.7-20), содержит изложение классических численных методов интерполяции, численного интегрирования и численного решения дифференциальных уравнений, основанных на аппроксимации функции обычными алгебраическими многочленами. При этом рассматриваются приближения в смысле точного совпадения в узлах, в смысле наименьших квадратов и в смысле наименьшего отклонения по Чебышеву. Часть 3, немногочленные приближения (гл.21-27), посвящена аппроксимации функций с помощью экспонециальных, а также с помощью рядов и интеграла Фурье. Часть 4, алгоритмы и эвристические методы (гл.28-32), кроме некоторых известных алгоритмов для отыскания корней функции и для ряда задач линейной алгебры, рассматривает примеры моделирования, применения метода Монте-Карло и некоторые игровые задачи. Отдельная заключительная главы посвящена вопросам организации вычислительной работы. Изложение всех численных методов сопровождаются разбором примеров вычислительной правктики автора.

Содержание

Примеры страниц (кликабельно)

Белов К.П. - Упругие, тепловые и электрические явления в ферромагнитных металлах - 1951

Год выпуска: 1951
Количество страниц: 258
Описание: Книга посвящена систематическому изложению современных данных об упругих, тепловых и электрических явлениях в ферромагнитных металлах и сплавах (магнитострикция, влияние упругих напряжений на намагниченность, гальвано-магнитные и термомагнитные эффекты, тепловое расширение, теплоемкость, электросопротивление и др.).
Книга рассчитана на инженеров, работающих в области исследования, изыскания и применения магнитных материалов, а также может быть полезна студентам соответствующих вузов.

Болтянский В.Г. - Оптимальное управление дискретными системами - 1973

Год выпуска: 1973
Количество страниц: 450
Описание: Среди крупных достижений современной математики на одном из первых мест должна быть упомянута математическая теория оптимального управления. Она существует в двух аспектах: непрерывном и дискретном. Непрерывный вариант теории, изучающий управляемые объекты, описываемые дифференциальными уравнениями, известен читателю по ряду обстоятельных монографий. В то же время дискретный вариант теории, не менее важный в теоретическом отношении и в приложениях, нигде в полном виде не изложен.
Книга восполняет указанный пробел в отечественной и зарубежной математической и технической литературе. Математическая теория оптимального управления для объектов с дискретным временем излагается в форме, доступной инженеру, имеющему математическую подготовку в объеме втуза. Изложение включает новые методы и результаты, так что книга интересна и читателю-математику. Для удобства читателя книга разделена на пять глав, каждая из которых представляет собой отдельное законченное целое. Более подробная характеристика глав книги дана в предисловии.

Бусленко Н.П. - Математическое моделирование производственных процессов на цифровых вычислительных машинах - 1964

Год выпуска: 1964
Количество страниц: 369
Описание: Быстродействующие цифровые вычислительные машины и математические методы все шире используются при решении задач, связанных с усовершенствованием организации, технологии и экономики производства, а также при разработке автоматических систем управления производственными процессами. В этой области существенное значение имеет метод статистического моделирования, однако соответствующая монографическая литература пока отсутствует.
Книга видного советского специалиста содержит как общие сведения о математическом моделировании производственных процессов и применяемых при этом математических теориях, так и типичные приемы моделирования. Последняя часть книги посвящена примерам комплексного моделирования некоторых производственных процессов (процесс сборки при поточном производстве, процесс печной сварки труб и т. д.).
Книга рассчитана на инженеров и студентов втузов, специализирующихся в области исследования операции и автоматизации производства.

Виноград С., Коуэн Дж. - Надежные вычисления при наличии шумов - 1968

Год выпуска: 1968
Количество страниц: 114
Описание: В вычислительных системах в настоящее время используют как аппаратурную, так и сигнальную избыточность, и, по всей вероятности, наибольшая эффективность может быть достигнута при комбинировании тех и других методов. Однако отсутствие законченной теории не позволяет в настоящее время ставить задачу синтеза вычислительной системы при наименьших дополнительных затратах. Авторы предлагаемой читателю монографии делают попытку сформулировать основы такой теории.

Примеры страниц

Вишенчук И.М., Соголовский Е.П., Швецкий Б.И. - Электронно-лучевой осциллограф и его применение в измерительной технике - 1959

Год выпуска: 1959
Количество страниц: 221
Описание: В книге рассматриваются принцип действия, устройство и особенности эксплуатации низковольтных электронно-лучевых осциллографов, а также основные сведения по их выбору и расчету. Рассказывается также о методах измерений и исследований с помощью электронно-лучевых осциллографов. Книга рассчитана на инженеров, научных работников, аспирантов и студентов, занимающихся проектированием и эксплуатацией электронных измерительных устройств.

Воинов В.Г., Никулин М.С. - Несмещенные оценки и их применения - 1989

Год выпуска: 1989
ISBN: 5-02-013937-8
Количество страниц: 442
Описание: Охватывает большой круг вопросов по теории и практике несмещенного оценивания. Подробно излагаются основные методы нахождения несмещенных оценок, приводится много примеров применения этих оценок. В Приложение включены обширные таблицы несмещенных оценок параметров многих вероятностных распределений.
Для научных работников и инженеров, занимающихся приложением методов математической статистики, а также студентов старших курсов университетов и технических вузов.

Гасс С. - Линейное программирование (методы и приложения) - 1961

Год выпуска: 1961
Количество страниц: 306
Описание: Книга С. Гасса «Линейное программирование (методы и приложения)» является одной из первых монографий, посвященных систематическому изложению и обоснованию вычислительных методов линейного программирования. Книга написана не для тех, кто участвует в разработке и усовершенствовании методов этой новой математической дисциплины, з для специалистов, использующих подобные методы в своей практической деятельности. Монография представляет собой обработанный курс лекций для аспирантов высшей сельскохозяйственной школы. Отсюда и построение книги, характер изложения материала, обилие примеров и упражнений. Из основных методов линейного программирования здесь подробно изложены только симплексный метод (в отечественной литературе он называется методом последовательного улучшения плана) и его модификация. Значительно меньше внимания и места уделяется так называемому двойственному симплексному методу.
В книге приводится ряд практических рекомендаций, позволяющих упростить применение изложенных в ней алгоритмов к решению конкретных задач. Усвоение описанных методов и алгоритмов не требует специальной математической подготовки. Все вопросы, выходящие за рамки элементарного курса математики, вынесены в- отдельную главу.

admin

Post 19-Jul-2018 09:17

[Quote]

Мак-Коннел А.Дж. - Введение в тензорный анализ с приложениями к геометрии, механике, физике - 1963

Год выпуска: 1963
Количество страниц: 411
Описание: В большей части курсов тензорного исчисления оно излагается вместе с многомерной- римановой геометрией, поэтому читателю приходится изучать сразу два предмета, из которых каждый сам по себе достаточно сложен. Для читателя, интересующегося тензорным исчислением с точки зрения его применения в других областях науки, это создает излишние трудности, часто даже непреодолимые.
Идея книги А. Дж. Мак-Коннела, предлагаемой ныне советскому читателю, состоит в том, чтобы изложить основы тензорной алгебры и тензорного анализа на материале, уже знакомом достаточно широкому кругу лиц (научным работникам, инженерам и студентам).
Отличительной чертой книги являются чрезвычайная ясность и достаточная простота изложения. Кроме того, почти в каждом параграфе и в каждой главе имеются упражнения для самостоятельного решения (всего 685), так что одновременно с учебником читателю предлагается и единственный в своем роде сборпик задач.
Можпо надеяться, что издание книги А. Дж. Мак-Коннела на русском языке будет способствовать более широкому распространению у нас тензорных методов, чем это имело место до сих пор.

Содержание

Примеры страниц (кликабельно)

Митропольский А.К. - Техника статистических вычислений (2-е издание) - 1971

Год выпуска: 1971
Количество страниц: 570
Описание: В книге излагаются основные методы математической статистики с приложениями к конкретным примерам. В конце книги приложен набор таблиц, необходимых при статистических расчетах. В настоящее издание внесен ряд дополнений: дано изложение основных теорем статистического исчисления, более полно исследованы распределения случайных величин и т. д.
Переработаны некоторые вопросы техники вычислений: выяснена связь между обыкновенными и факториальными моментами, дано подробное изложение способа сумм, разработаны схемы вычисления выравнивающих частот кривых Пирсона, введены уточнения при вычислении корреляционных уравнений по способу Чебышева и по способу сумм.

Содержание

Примеры страниц (кликабельно)

Михлин С.Г. - Приложения интегральных уравнений к некоторым проблемам механики, математической физики и техники - 1947

Год выпуска: 1947
Количество страниц: 304
Описание: Очередной выпуск «Физико-математической библиотеки инженера» (первый выпуск—Карман и Био «Математические методы в инженерном деле») предназначается для инженеров — сотрудников научно-исследовательских институтов, конструкторов, аспирантов технических учебных заведений, физиков и механиков. Книга знакомит с основами важного раздела современней математики и с его приложениями.

Содержание

Примеры страниц (кликабельно)

Налимов В.В. - Применение математической статистики при анализе вещества - 1960

Год выпуска: 1960
Количество страниц: 216 - файл, 431 - книга. сканировано разворотами по 2 страницы.
Описание: В книге рассматривается применение аппарата математической статистики в химических и физических методах анализа вещества. Изложение материала иллюстрируется многочисленными примерами, доведенными до численных
расчетов. Большое внимание уделяется физической интерпретации результатов статистических исследований. Подробно освещен опыт зарубежных работ в этой области. Книга предназначена для инженеров-физиков и химиков, работающих в аналитических
лабораториях. Она может служить настольным пособием по применению математической статистики при анализе вещества.

Содержание

Примеры страниц (кликабельно)

Налимов В.В., Мульченко З.М. - Наукометрия. Изучение развития науки как информационного процесса - 1969

Год выпуска: 1969
Количество страниц: 192
Описание: Книга представляет собой первую в мире полную монографию по количественным методам изучения развития науки. Материал изложен с единых теоретических позиций — наука рассматривается как информационный процесс. Дается анализ кривых роста для числа публикаций, количества журналов, числа научных работников и ассигнований на науку. Обсуждается информационный кризис и самоторможение в развитии науки, описываются новые организационные формы — незримые коллективы. Показывается, как можно использовать язык библиографических ссылок для установления внутренних связей в публикациях. Обсуждается вопрос об оценке эффективности работы научных коллективов. Оценивается вклад различных стран в мировой информационный поток.

Содержание

Примеры страниц (кликабельно)

Пустыльник Е.И. - Статистические методы анализа и обработки наблюдений - 1968

Формат: PDF
Год выпуска: 1968
Количество страниц: 146 - файл, 288 - книга. Сканировано разворотами по 2 страницы.
Описание: Книга посвящена изложению некоторых простых, но важных методов обработки числовых результатов наблюдений. Эти методы стали в последнее время обязательным этапом каждого исследования.
Настоящая книга является попыткой изложения большого числа классических методов анализа и обработки наблюдений на минимальной аналитической основе. В ней излагаются важнейшие оценки нормально распределенной случайной величины, сравнение и анализ серий наблюдений. Приводятся элементарные доказательства основных формул дисперсионного, корреляционного и регрессионного анализа, некоторые принципы планирования эксперимента и последовательного анализа. В начале книги излагается необходимый минимум сведений из теории вероятностей и общей теории наблюдений.

Содержание

Примеры страниц (кликабельно)

Раховский В.И. - Физические основы коммутации электрического тока в вакууме - 1970

Год выпуска: 1970
Количество страниц: 537
Описание: В книге подробно рассмотрены физические процессы в вакуумной дуге на различных фазах ее развития. Анализ этих процессов позволяет наметить пути наиболее рационального выбора материалов вакуумных коммутационных элементов и их конструкции в зависимости от требуемых параметров и условий работы.

Содержание

Примеры страниц (кликабельно)

Сокольников И.С. - Тензорный анализ. Теория и применения в геометрии и в механике сплошных сред - 1971

Год выпуска: 1971
Количество страниц: 375
Описание: В основу книги положен курс лекций, читанных автором студентам старших курсов и аспирантам ряда североамериканских университетов. Книга может быть использована как учебное пособие впервые приступающими к изучению предмета и как справочник научными работниками и инженерами. Большая часть приложений тензорного анализа, рассматриваемых в книге, относится к аналитической механике и к механике сплошных сред. Последние главы книги представляют собой краткое введение в теорию относительности и механику деформируемых сред.

Содержание

Примеры страниц (кликабельно)

Толстов Г.П. - Ряды Фурье - 1960

Год выпуска: 1960
Количество страниц: 198 - файл, 392 - книга. Сканировано разворотами по 2 страницы.
Описание: Книга посвящена изложению теории рядов Фурье и их применению к решению задач математической физики.
Книга предназначена для студентов старших курсов и аспирантов втузов, а также для широких кругов инженеров, связанных с исследовательской работой, и преподавателей втузов.

Содержание

Примеры страниц (кликабельно)

Фёдоров В.В. - Теория оптимального эксперимента (планирование регрессионных экспериментов) - 1971

Год выпуска: 1971
Количество страниц: 313
Описание: Монография посвящена современным статистическим методам планирования оптимальных экспериментов, с которыми приходится сталкиваться при выяснении механизмов явлений. С математической точки зрения в монографии рассматриваются вопросы, связанные с проблемой анализа и планирования регрессионных экспериментов.
Оптимальными считаются такие эксперименты, которые позволяют получить наибольшее количество сведений об изучаемых явлениях при заданных затратах (время, денежные или материальные затраты). Методы планирования подобных экспериментов начали интенсивно развиваться лишь в последнем десятилетии.

admin

Post 19-Jul-2018 09:08

[Quote]

Продолжение списка книг из серии присутствующие в данной раздаче:

Вентцель Е.С., Овчаров Л.А. - Теория случайных процессов и её инженерные приложения - 1991

Год выпуска: 1991
Количество страниц: 384
Описание: В книге дается систематическое изложение основ теории случайных процессов по специальностям: кибернетика, прикладная математика, автоматизированные системы управления и переработки информации, автоматизация технологических процессов, транспорт и т. п. Она является логическим продолжением книги тех же авторов «Теория вероятностей и ее инженерные приложения».

Содержание

Примеры страниц (кликабельно)

Гнеденко Б.В., Беляев Ю.К., Соловьёв А.Д. - Математические методы в теории надёжности. Основные хар-ки и их статистический анализ - 1965

Год выпуска: 1965
Количество страниц: 434
Описание: В существующей уже достаточно обширной монографической литературе по теории надежности до сих пор нет книги, в которой было бы дано систематическое изложение основ этой теории. Настоящая книга написана с целью восполнить этот пробел.
Авторы излагают формализованный подход к определению основных понятий теории надежности, различные планы оценки характеристик надежности по результатам испытаний, методы проверки гипотез, теорию резервирования без восстановления и с восстановлением, методы приемочного контроля. Книга снабжена большим числом таблиц, многие из которых были специально подсчитаны для настоящей книги. Книге предпослана вводная глава, в которой излагаются необходимые сведения из теории вероятностей, математической статистики и преобразований Лапласа.
Книга рассчитана на математиков, инженеров и студентов, интересующихся вопросами теории надежности. Глава, посвященная контролю качества продукции, полезна для работников отделов технического контроля.

Содержание

Примеры страниц (кликабельно)

Гнеденко Б.В., Коваленко И.Н. - Введение в теорию массового обслуживания - 1966

Год выпуска: 1966
Количество страниц: 434
Описание:

Содержание

Примеры страниц (кликабельно)

Дёч Г. - Руководство к практическому применению преобразования Лапласа и Z-преобразования (3-е издание) - 1971

Год выпуска: 1971
Количество страниц: 288
Описание: Предлагаемая вниманию читателя книга принадлежит крупному математику, профессору Фрейбургского университета Густаву Дёчу, принимающему в течение многих лет непосредственное участие в развитии теории преобразования Лапласа и в широком применении его для решения разнообразных задач математики и техники. Густав Дёч является также автором фундаментального трехтомного руководства по преобразованию Лапласа и обстоятельного учебника по теории и применению преобразования Лапласа. Эти книги пользуются широкой известностью и являются, пожалуй, единственными в мировой литературе по полноте и глубине изложения.
Настоящая книга предназначена для инженеров. Она не содержит деталей доказательств, порой опускаются и сами доказательства, но зато методы применения преобразования Лапласа к различным задачам изложены здесь с исчерпывающей полнотой. Автор очень бережно относится к формулировке теорем и правил и во многих местах наглядно иллюстрирует, как неточная, расплывчатая формулировка того или иного правила приводит при применении его к ошибочным результатам.

Содержание

Примеры страниц (кликабельно)

Диментберг Ф.М. - Винтовое исчисление и его приложение в механике - 1965

Год выпуска: 1965
Количество страниц:
Описание: Излагаются основные положения винтового исчисления на основе элементарного аппарата современной векторной алгебры и показываются его некоторые применения.
Основу метода винтов, появившегося в 1870 годах, составляют как общая теория винтов, так и специальный «принцип перенесения», устанавливающий соответствие между свободными векторами и винтами таким образом, что все соотношения в области векторов, если им придать особую комплексную форму, формально сохраняются для винтов. Благодаря этому одно «винтовое» уравнение, не отличающееся по форме от векторного, равносильно не трем, а шести скалярным уравнениям, что придает всем выражениям особенную компактность и обозримость.
Для широкого круга лиц, работающих в разных областях общей и прикладной механики.

Содержание

Примеры страниц (кликабельно)

Карман Т., Био М. - Математические методы в инженерном деле (2-е издание) - 1948

Год выпуска: 1948
Количество страниц: 426
Описание: Основная задача книги Кармана и Био — способствовать развитию умения самостоятельно формулировать математическое содержание заданной физической или технической задачи. Для достижения этой цели авторы выбрали некоторые показательные группы технических и физических задач (из области механики точки, твёрдого тела, упругих тел, а также из электротехники) и указали математические приёмы, ведущие к их разрешению.
Для понимания книги необходимо предварительное знакомство с основами высшей математики и теоретической механики в объёме программы высших технических учебных заведений.
Книга будет полезна также аспирантам втузов и преподавателям, которые пожелают оживить преподавание теоретических предметов путём привлечения материала из области техники.

Содержание

Примеры страниц (кликабельно)

Коллатц Л. - Задачи на собственные значения с техническими приложениями - 1968

Год выпуска: 1968
Количество страниц: 504
Описание: Автор книги Лотар Коллатц является известным специалистом в области прикладной математики, относящейся главным образом к задачам технической механики. В данной книге рассматриваются задачи на собственные значения, связанные с проблемой потери устойчивости, упругими колебаниями и др. При этом акцент делается не на физическое, а на математическое содержание задач; особое внимание уделяется вычислительным методам.
Рассмотрение общей теории (функции Грина, интегральные уравнения, теорема разложения, вариационные принципы) проведено в простой форме и содержит ряд оригинальных черт. Значительное внимание уделяется развитому автором методу последовательных приближений, численной реализации вариационных принципов, задачам для матриц. Излагаются конечно-разностные и другие методы, представляющие интерес для лиц, занимающихся задачами на собственные значения.

Содержание

Примеры страниц (кликабельно)

Коренев Б.Г. - Введение в теорию бесселевых функций - 1971

Год выпуска: 1971
Количество страниц: 288
Описание: Книга рассчитана на лиц, интересующихся функциями Бесселя c точки зрения их приложений. В первой части книги излагаются основы теории бесселевых функций. Здесь рассматриваются свойства бесселевых функций: представления функций в виде степенных рядов, интегральные представления, асимптотические разложения, функциональные уравнения типа вронскианов, формулы сложения и др. Наряду с этим подробно рассматриваются дифференциальные уравнения второго и четвертого порядка, приводимые к уравнениям Бесселя, а также неоднородные уравнения Бесселя; излагаются основные сведения о функциях, родственных функциям Бесселя, и о функциях Ломмеля двух переменных. Сравнительно подробно рассматриваются несобственные интегралы, ряды Фурье - Бесселя и ряды Шлемильха. Приводятся решения парных интегральных уравнений, основанные на использовании аппарата теории бесселевых функций.
Вторая часть книги, основанная главным образом на работах автора, посвящена приложениям бесселевых функций, она содержит решения различных задач, относящихся, в основном, к теории упругости и колебаниям упругих систем. Книга написана простым языком и ее основная часть вполне доступна лицам, имеющим образование в объеме втуза.

Содержание

Примеры страниц (кликабельно)

Лаврентьев М.А. - Конформные отображения с приложениями к некоторым вопросам механики - 1946

Год выпуска: 1946
Количество страниц: 157
Описание: Монография академика УССР М.А.Лаврентьева «Конформные отображения с приложениями к некоторым вопросам механики» является очередной книгой, входящей в серию «Физико-математическая библиотека инженера». Теория конформных отображений представляет раздел математики, развившийся за последние десятилетия и имеющий многочисленные и важные приложения в технике (аэромеханика, теория упругости, электротехника). Настоящая монография, написанная крупнейшим специалистом в этой области, заполняет собой абсолютный пробел в научно-технической . литературе. Она предназначается, в первую очередь, для аспирантов втузов, научных сотрудников прикладных Институтов, математиков, механиков, физиков-теоретиков.

Содержание


К сожапению, первые страницы содержания в скане отсутствуют.

Примеры страниц (кликабельно)

Лурье А.И. - Операционное исчисление и его приложение к задачам механики (2-е издание) - 1951

Год выпуска: 1951
Количество страниц: 433
Описание: Первое издание этой книги, написанной в 1936 г., вышло в свет в 1938 г. Примерно в течение десяти лет она и книга А.М.Эфроса и А.М.Данилевского „Операционное исчисление и контурные интегралы" служили основными руководствами на русском языке по операционному исчислению и, по-видимому, в значительной мере способствовали популяризации в широких научно-технических кругах этого простого и могучего средства математического исследования прикладных вопросов, В последние два года на эту тему появилось несколько отечественных и переводных книг, в том числе превосходная книга М.И.Конторовича „Операционное исчисление и нестационарные явления в электрических цепях".
В последние годы автор неоднократно читал курс операционного исчисления инженерам, работавшим в различных областях машиностроения и приборостроения и интересовавшимся главным образом вопросами исследования систем автоматического регулирования. В настоящем издании отражен этот опыт преподавания, а также личного участия автора в работе в указанной технической области.

admin

Post 19-Jul-2018 08:16

[Quote]

Серия - Физико-математическая библиотека инженера
Годы выпуска: 1937-1991
Автор: Разные авторы
Жанр: Монография
Издательство: М., Государственное издательство технико-теоретической литературы, Государственное издательство физико-математической литературы, Наука
Формат: DjVu, PDF
Качество: Отсканированные страницы
Описание: В данной раздаче собраны книги, вышедшие в серии "Физико-математическая библиотека инженера". Эта серия содержит книги по общим и специальным вопросам математики, физики и механики, встречающимся в практической и научно-исследовательской работе инженера.
Раздача не претендует на полноту серии, а посему будем рады любым пополнениям.
Язык: Русский
В составе раздачи представлены следующие книги данной серии:

Анго А. - Математика для электро- и радиоинженеров - 1965

Год выпуска: 1965
Количество страниц: 779
Описание: Книга Андре Анго, перевод которой предлагается вниманию читателей, содержит дополнительные гланы к общему втузовскому курсу высшей математики. Автору удалось в четкой и компактной форме изложить широкий круг вопросон математики, знание которых в настоящее время необходимо всякому образованному электро- и радиоинженеру.

Примеры страниц (кликабельно)

Арсенин В.Я. - Методы математической физики и специальные функции - 1984

Год выпуска: 1984
Количество страниц: 385
Описание: Книга предназначается для студентов инженерно-физических, физико-технических и других специальностей с повышенной физико-математической подготовкой и инженеров этих профилей. В ней достаточно подробно излагаются основные методы решения задач математической физики (методы Фурье, функций Грина, характеристик, потенциалов, интегральных уравнений и др.) и специальные функции - цилиндрические, сферические, ортогональные полиномы, гамма-функции и начальные сведения о гипергеометрических функциях.
Первое издание книги вышло в составе серии ФМБИ в 1966 году. В раздаче представлено второе издание, вышедшее уже вне этой серии.

Содержание

Примеры страниц (кликабельно)

Ахиезер Н.И. - Элементы теории эллиптических функций - 1970

Год выпуска: 1970
Количество страниц: 312
Описание: Книга представляет систематическое изложение теории эллиптических функций и некоторых ее приложений. Основное содержание предназначено для инженеров, которым приходится применять эллиптические функции. Чтение книги не должно вызывать затруднений у лиц, знающих элементы математического анализа и теории функций в объеме первых пяти семестров физико-математических факультетов университетов и высших технических учебных заведений с повышенной программой по математике.
В составе серии издание выходило дважды, в 1948 и 1970 годах. В раздаче представлено издание второе, переработанное. Обложка издания 1948 года.

Содержание

Примеры страниц (кликабельно)

Барбашин Е. А. - Функции Ляпунова - 1970

Год выпуска: 1970
Количество страниц: 240
Описание: Изложен курс лекций по методу функций Ляпунова. Основное внимание уделено методам построения функций Ляпунова для нелинейных систем дифференциальных уравнений. Приведено большое количество функций Ляпунова для нелинейных систем второго и третьего порядков. Книга может быть рекомендована всем интересующимся конкретными приложениями теории устойчивости.

Содержание

Примеры страниц (кликабельно)

Барбашин Е.А. - Введение в теорию устойчивости - 1967

Год выпуска: 1967
Количество страниц: 225
Описание: В настоящей книге излагается курс лекций по теории устойчивости, прочитанный автором в Уральском государственном университете им. А.М.Горького. Первая глава посвящена методу функций Ляпунова. Особое место уделено развитию теории устойчивости при любых начальных возмущениях. Рассмотрены также методы построения функций Ляпунова для нелинейных систем. Во второй главе рассмотрены методы стабилизации систем, параметры которых могут изменяться в широких пределах. Здесь изложены вопросы устойчивости систем с переменной структурой. Третья глава посвящена
исследованию устойчивости решений уравнений, заданных в функциональных пространствах. Изложены новейшие достижения в этой области, полученные как автором книги, так и другими учеными. Особое место уделяется вопросам устойчивости при импульсных возмущениях, задаче о накоплении возмущений, а также вопросам теории программного регулирования.
Для понимания материала книги необходимо знать курс математики в объеме втузовской программы. В случае необходимости привлечения математической конструкции, выходящей за пределы указанной программы, автор дает полное описание этой конструкции со ссылкой на первоисточник.
Книга может быть рекомендована студентам, аспирантам, научным работникам и инженерам, которые занимаются прикладными вопросами математики и желают расширить свои знания по теории устойчивости.

Содержание

Примеры страниц (кликабельно)

Болтянский В.Г. - Математические методы оптимального управления (2-е издание) - 1969

Год выпуска: 1969
Количество страниц: 410
Описание: Среди крупных достижений современной математики, получивших наибольшую популярность и одобрение в инженерных кругах, особое место занимает математическая теория оптимального управления, созданная коллективом советских ученых во главе с академиком Л. С. Понтрягиным. Основы этой теории были; изложены в изданной в 1961 году монографии Л. С. Понтрягина, В. Г. Болтянского, Р. В. Гамкрелидзе, Е. Ф. Мищенко «Математическая теория оптимальных процессов», удостоенной Ленинской премии за 1962 год.
В настоящей книге математическая теория оптимального управления излагается в форме, доступной инженеру, имеющему математическую подготовку в объеме технического вуза. Особое внимание автор уделяет вычислительным методам, а также тем задачам, которые к моменту написания книги удалось решить полностью. Стремясь к максимальной простоте изложения, автор нигде не жертвовал строгостью. Тем самым, нужная инженеру, эта книга будет интересна и математику.
Во втором издании книга существенно переработана автором: изменена планировка книги, по-новому изложены доказательства ряда теорем, добавлен новый материал. Таким образом, по существу, вниманию читателя предлагается новая книга.

Содержание

Примеры страниц (кликабельно)

admin

Post 19-Jul-2018 08:01

[Quote]

Серия - Математическая логика и основания математики (23 выпуска)
Год выпуска: 1959-1993
Жанр: Монография
Издательство: М., Физматгиз, Наука
Формат: DjVu
Качество: Отсканированные страницы
Язык: Русский
В 1959 году Физматгиз (впоследствии - издательство ”Наука”) приступил к реализации беспрецедентного проекта по изданию серии ”Математическая логика и основания математики”. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты.
Список книг, представленных в серии:

Гильберт Д., Бернайс П. - Основания математики (в 2-х томах)

Год выпуска: 1982
Описание: Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д.Гильберта и П.Бернайса пользуется большой популярностью среди специалистов.
Том 1: Основания математики. Логические исчисления и формализация арифметики
Том 2: Основания математики. Теория доказательств
Количество страниц: 557+653

Содержание

Том 1

Том 2

Примеры страниц (кликабельно)

Том 1

Том 2

Глушков В.М. - Синтез цифровых автоматов

Год выпуска: 1962
Формат: DjVu
Описание: Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе схем современных сложных цифровых автоматов и прежде всего электронных вычислительных машин. Изложение построено таким образом, чтобы после изучения материала внимательный читатель мог самостоятельно синтезировать различные варианты логических схем больших универсальных электронных цифровых вычислительных машин, а также схем относительно небольших цифровых автоматов произвольного назначения с учетом простейших соображений надежности их работы.
Количество страниц: 476

Содержание

Примеры страниц (кликабельно)

Гудстейн Р.Л. - Рекурсивный математический анализ

Год выпуска: 1970
Формат: DjVu
Описание: Настоящая книга объединяет переводы книг Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ".
Количество страниц: 472

Содержание

Примеры страниц (кликабельно)

Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств

Год выпуска: 1979
Формат: DjVu
Описание: В книге частично представлено содержание нескольких курсов по интуиционистской математике, которые автор читал в течение ряда лет на механико-математическом факультете МГУ.
Количество страниц: 128 - файл. Сканировано разворотами по 2 страницы.

Содержание

Примеры страниц (кликабельно)

Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели

Год выпуска: 1980
Формат: DjVu
Описание: Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги).
Эта новая проблематика — выявление алгоритмической природы элементарных теорий и их моделей — возникла на стыке теории моделей и теории алгоритмов.
Количество страниц: 416

Содержание

Примеры страниц (кликабельно)

Ершов Ю.Л. - Теория нумераций

Год выпуска: 1977
Описание: Предлагаемая читателю книга представляет собой введение в проблематику и методы теории нумераций - нового развивающегося раздела теории алгоритмов.
Количество страниц: 208 - файл, 416 - книга. Сканировано разворотами по 2 страницы.

Содержание

Примеры страниц (кликабельно)

Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода

Год выпуска: 1967
Описание: Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца; см. ниже) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.
В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
Количество страниц: 351

Содержание

Примеры страниц (кликабельно)

Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций

Год выпуска: 1978
Формат: DjVu
Описание: Предлагаемая монография, написанная С. К- Клини в сотрудничестве с Р.Ю.Весли, суммирует многолетние исследования старшего из авторов (С.К.Клини), посвященные основаниям и интерпретациям интуиционистской математики. В книге строится и изучается формализм, который можно рассматривать как расширение формальной интуиционистской арифметики, развитой в известной монографии Клини «Введение в метаматематику», и который позволяет изложить широкие разделы интуиционистского анализа, включая теорию последовательностей выбора и брауэровскую теорию континуума. Не заменяя живую интуиционистскую математику (и не претендуя на такую замену), формализация позволяет четко фиксировать сравнительно небольшое число исходных принципиальных концепций и тем самым даст возможность быстро войти в круг рассматриваемых вопросов математикам, не ориентирующимся в философии интуиционизма.
Количество страниц: 136 - файл. Сканировано разворотами по 2 страницы.

Содержание

Примеры страниц (кликабельно)

Кушнер Б.А. - Лекции по конструктивному математическому анализу

Год выпуска: 1973
Формат: DjVu
Описание: В основу настоящей книги положен специальный курс, читавшийся автором на механико-математическом факультете Московского университета. Излагаемый материал не предполагает почти никаких предварительных знаний и вполне доступен читателю, владеющему стандартным курсом математического анализа. Более подробная характеристика книги приведена в п. 9 введения.
Количество страниц: 448

Содержание

Примеры страниц (кликабельно)

Матиясевич Ю.В. - Десятая проблема Гильберта (добавлено 03.01.2012)

Год выпуска: 1993
Формат: DjVu
Описание: Дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования.
Для математиков, в том числе аспирантов и студентов старших курсов.
Количество страниц: 223.

Содержание

ГЛАВА 1. ОСНОВНЫЕ ПОНЯТИЯ . . 7
§1.1. Разрешимость диофантовых уравнений как массовая проблема 7
§ 1.2. Системы диофантовых уравнений 9
§ 1.3. Решения в натуральных числах 10
§ 1.4. Диофантовы множества 12
§ 1.5. Логическая терминология 14
§ 1.6. Простейшие примеры диофантовых множеств, свойств, отно-
отношений и функций 17
Упражнения 18
Комментарии 21
ГЛАВА 2. ДИОФАНТОВОСТЬ ВОЗВЕДЕНИЯ В СТЕПЕНЬ • • 22
§2.1. Специальные рекуррентные последовательности второго
порядка 22
§ 2.2. Диофантовость специальных рекуррентных последователь-
последовательностей (основные идеи) . 24
§ 2.3. Диофантовость специальных рекуррентных последователь-
последовательностей (доказательство) 27
§ 2.4. Диофантовость возведения в степень 31
§ 2.5. Экспоненциально диофантовы уравнения 32
Упражнения 34
Комментарии 36
ГЛАВА 3. ДИОФАНТОВО КОДИРОВАНИЕ 39
§3.1. Канторова нумерация 39
§ 3.2. Гёделево кодирование 40
§ 3.3. Позиционное кодирование 41
§ 3.4. Диофантовость биномиальных коэффициентов,' факториала и
простых чисел 43
§ 3.5. Сравнение кортежей 44
§ 3.6. Расширение функций на кортежи 46
Упражнения 48
Комментарии 49
ГЛАВА 4. УНИВЕРСАЛЬНЫЕ ДИОФАНТОВЫ УРАВНЕНИЯ 52
§ 4.1. Основные определения .52
§ 4.2. Кодировка уравнений . 54
§ 4.3. Кодировка потенциальных решений 56
§ 4.4. Вычисление значений полиномов 57
§ 4.5. Универсальные диофантовы уравнения 59
§ 4.6. Диофантовы множества с недиофантовыми дополнениями ... 60
Упражнения 61
Комментарии 63
ГЛАВА 5. АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ 10-Й ПРОБЛЕМЫ
ГИЛЬБЕРТА 65
§5.1. Машина Тьюринга 65
§ 5.2. Композиция машин 67
§ 5.3. Базисные машины : 69
§ 5.4. Распознавание диофантовых множеств машинами Тьюринга . . 76
§ 5.5. Диофантово моделирование машин Тьюринга 77
§ 5.6. Неразрешимость 10-й проблемы Гильберта на машинах
Тьюринга 83
§ 5.7. Тезис Черча 85
Упражнения 89
Комментарии 90
ГЛАВА 6. ОГРАНИЧЕННЫЕ КВАНТОРЫ ОБЩНОСТИ 94
§6.1. Первая конструкция: машины Тьюринга 94
§ 6.2. Вторая конструкция: геделево кодирование 95
§ 6.3. Третья конструкция: суммирование 99
§ 6.4. Связи между 8-й и 10-й проблемами Гильберта 106
§ 6. 5. Еще одно универсальное уравнение 111
§ 6.6. Ещё одно диофантово множество с недиофантовым до-
дополнением 113
Упражнения 114
Комментарии 115
ГЛАВА 7. МАССОВЫЕ ПРОБЛЕМЫ ТЕОРИИ ЧИСЕЛ 117
§ 7.1. Количество решений у диофантовых уравнений 117
§ 7.2. Неэффективизируемые оценки в теории экспоненциально
диофантовых уравнений 119
§ 7.3. Аналог 10-й проблемы Гильберта для гауссовых чисел . . 126
§ 7.4. Однородные уравнения и рациональные решения 133
Упражнения 136
Комментарии 137
ГЛАВА 8. ДИОФАНТОВА СЛОЖНОСТЬ ' 139
§ 8.1. Основные понятия 139
§ 8.2. Оценка количества неизвестных в экспоненциально дио-
фантовых представлениях 142
Упражнения 146
Комментарии 147
ГЛАВА 9. МАССОВЫЕ ПРОБЛЕМЫ МАТЕМАТИЧЕСКОГО АНАЛИЗА .... 150
§ 9.1. Диофантово вещественные числа 150
§ 9.2. Уравнения. неравенства и тождества с вещественными
переменными 153
§ 9.3. Системы обыкновенных дифференциальных уравнений ... 158
§ 9.4. Интегрируемость 160
Упражнения 162
Комментарии 162
ГЛАВА 10. ДРУГИЕ ПРИЛОЖЕНИЯ ДИОФАНТОВЫХ ПРЕДСТАВЛЕНИЙ. . . 164
§ 10.1. Диофантовы игры 164
§ 10.2. Обобщенные кони на многомерной шахматной доске ... 167
Упражнения 176
Комментарии 177
ПРИЛОЖЕНИЯ 180
1. Теорема о четырёх квадратах 180
2. Китайская теорема об остатках 181
3. Теорема Куммера 182
4. Суммирование обобщённой геометрической прогрессии .... 182
УКАЗАНИЯ К УПРАЖНЕНИЯМ 184
СПИСОК ЛИТЕРАТУРЫ 194
УКАЗАТЕЛЬ ОБОЗНАЧЕНИЙ 214
ПЕРЕДМЕТНЫЙ УКАЗАТЕЛЬ 216
ИМЕННОЙ УКАЗАТЕЛЬ 218

Примеры страниц (кликабельно)

Марков А.А., Нагорный Н.М. - Теория алгорифмов

Год выпуска: 1984
Формат: DjVu
Описание: В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории.
Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
Количество страниц: 217 - файл, 432 - книга. Сканировано разворотами по 2 страницы.

Содержание

Примеры страниц (кликабельно)

Новиков П.С. - Конструктивная математическая логика с точки зрения классической

Год выпуска: 1977
Количество страниц: 328 - книга, 165 - файл. Сканировано разворотами по 2 страницы.
Описание: Настоящая книга написана на основе лекций, читавшихся автором во второй половине пятидесятых годов. В ней издагаются вопросы математической лигики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу. В то же время книга написана так, что её можно читать независимо от предудыщей. В частности, в ней подробно изгалается весь нужный по ходу дела материал, относящийся к классическим лоогическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной лигики изложены в ней в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях. Только в последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Гёделя о неполноте формальной
арифметики.
Язык: Русский

Содержание

Примеры страниц (кликабельно)

Новиков П.С. - Элементы математической логики

Год выпуска: 1973
Количество страниц: 400 - книга, 200 - файл. Сканировано разворотами по 2 страницы.
Описание: Настоящее издание (в раздаче - второе, исправленное издание) по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого
понятия с содержательной истинностью формул.

Содержание

Примеры страниц (кликабельно)

Расёва Е., Сикорский Р. - Математика метаматематики

Год выпуска: 1972
Количество страниц: 295 - файл, 591 - книга. Сканировано разворотами по 2 страницы.
Описание: Название этой книги —вовсе не каламбур, как это может показаться на первый взгляд.
Метаматематика— это теория, изучающая формализованные математические теории. Формализованная теория—это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операций, соответствуют теоремам теории. (Из авторского предисловия)

Содержание

Примеры страниц (кликабельно)

Робинсон А. - Введение в теорию моделей и метаматематику алгебры

Год выпуска: 1967
Описание: В последние годы сильно ощущается отсутствие в советской литературе книг, содержащих основные методы и теоремы теории моделей и предназначенных для первоначального изучения. Этот пробел будет в некоторой степени заполнен предлагаемым советскому читателю переводом книги А. Робинсона, известного математика, внесшего существенный вклад в теорию моделей. А. Робинсону принадлежит теория идеалов, нестандартный анализ, метод модельной полноты и др. А. Робинсон является также страстным пропагандистом теории моделей и главой Иерусалимской школы. Книга А. Робинсона, возникшая из переработки трех его старых монографий ([1], [3], [9]), является пока лучшей книгой в мировой литературе для первоначального ознакомления с теорией моделей и содержит основные достижения теории моделей узкого исчисления предикатов, полученные до 1963 г. В ней подробно изложены основные теоремы общей теории классов моделей и основные методы доказательства разрешимости теории. Из методов доказательства разрешимости теории, применявшихся в последние годы для решения конкретных задач и не изложенных в книге А. Робинсона, можно отметить метод перекидывания.
Количество страниц: 376

Содержание

Примеры страниц (кликабельно)

Смальян Р. - Теория формальных систем

Год выпуска: 1981
Формат: DjVu
Описание: В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма.
Количество страниц: 208

Содержание

Примеры страниц (кликабельно)

Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез)

Год выпуска: 1970
Формат: DjVu
Описание: Настоящая книга посвящена поведенческой (или, как говорят еще, абстрактной) теории автоматов, в которой поведение автомата изучается при максимальном отвлечении от его конструктивных особенностей. Соответственно под синтезом автомата подразумевается построение его программы (а не структурной схемы, как это имеет место в структурной теории автоматов).
Количество страниц: 200 - файл. Сканировано разворотами по 200 страниц.

Содержание

Примеры страниц (кликабельно)

Успенский В.А. - Лекции о вычислимых функциях

Год выпуска: 1960
Количество страниц: 491
Описание: Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая" функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории. (Из авторского предисловия)

Содержание

Примеры страниц (кликабельно)

Фейс Р. - Модальная логика

Год выпуска: 1974
Формат: DjVu
Описание: Модальная логика занимается изучением так называемых модальностей — прежде всего необходимости и возможности: того, что «должно быть», и того, что «может быть».
Настоящая книга задумана как учебник модальной логики, дающий введение в предмет и современную его картину в целом. Основной упор сделан на дедуктивную проблематику; философские вопросы затрагиваются лишь постольку, поскольку это необходимо для наглядного представления рассматриваемых понятий.
Количество страниц:

Содержание

Примеры страниц (кликабельно)

Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем

Год выпуска: 1983
Формат: DjVu
Описание: Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Количество страниц:

Содержание

Примеры страниц (кликабельно)

Шенфилд Дж. - Математическая логика

Год выпуска: 1975
Количество страниц: 527 - книга, 265 - файл. Сканировано разворотами по 2 страницы.
Описание: Книга известного американского логика Дж.Шенфилда посвящена основам современной математической логиги и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств. Является одним из основных источников для изучения оснований математики.

Содержание

Примеры страниц (кликабельно)

Шенфилд Дж. - Степени неразрешимости

Год выпуска: 1977
Формат: DjVu
Описание: Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось.
Количество страниц: 192

Содержание

Примеры страниц (кликабельно)

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста

Год выпуска: 1966
Формат: DjVu
Описание: Работа состоит из двух частей. В гл. 1 первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. В гл. 2-4 первой части рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. В гл. 1 второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. В гл. 2 монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы гл. 1 и формулируются теоремы о полноте.
Количество страниц: 120 - книга, 61 - файл. Сканировано разворотами по 2 страницы.

Содержание

Примеры страниц (кликабельно)

-
 

Current time is: 23-Jul 22:24

All times are UTC + 3