SCI Библиотека

Рассматривается компьютеризированная наборная система TeX, позволяющая получать документы типографского качества. Система дает возможность также существенно сокращать время выхода в свет публикаций за счет предоставления издательству качественного оригинал-макета для прямого воспроизведения.

Дается описание основных возможностей и понятий TeX’а, знание которых необходимо для начального изучения TeX’а. По возможности используется принятая в нашей стране полиграфическая терминология. Оригинал-макет препринта изготовлен средствами TeX’а с помощью пакета LaTeX.

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

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

Если рассуждение это покажется слишком длинным для прочтения за один раз, то его можно разделить на шесть частей.

В первой находятся различные соображения относительно наук; во второй — главные правила метода, который искал автор; в третьей — некоторые из правил нравственности, выведенных автором из этого метода; в четвертой — доводы, с помощью коих он доказывает существование бога и человеческой души, которые составляют основание его метафизики; в пятой — последовательность физических вопросов, какие он исследовал, и, в частности, объяснение движения сердца и некоторых других трудных вопросов, относящихся к медицине, а также различие, существующее между нашей душой и душой животных; и в последней — указание того, что необходимо, чтобы продвинуться в исследованиях и роды дальше, чем удавалось автору, а также обширные соображения, которые побудили его писать.

В книге представлены исследования по проблеме нахождения интегрального представления и вычисления конечных и бесконечных сумм (порождающих функций), возникающих в практике комбинаторного анализа, теории алгоритмов и программирования на ЭВМ, теории вероятностей, теории групп, теории функций и т. д., а также в физике и других областях знания. Излагается общий подход к вычислению сумм (выражений) в замкнутом виде путем их сведения к одномерным и кратным интегралам, чаще всего контурным.

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

В книге излагаются основы нового направления в групповом анализе, связанного с приложением групп Ли к конечно-разностным уравнениям, сеткам, разностным функционалам.

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

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

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

В настоящее время интенсивно развивается конструктивное направление в математике, в частности, конструктивный математический анализ. Р. Л. Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа.

Этот подход существенно отличается (как по общему замыслу, так и по характеру центральных понятий) от подходов, использованных другими математиками; он тесно связан с введенным Гудстейном исчислением равенств, представляющим собой аксиоматический фрагмент теории рекурсивных арифметических функций, обладающий рядом важных достоинств.

Аксиомы исчисления равенств и выводимые в этом исчислении объекты представляют собой формулы вида T₁ = T₂, где T₁ и T₂ — функциональные выражения (термы), составляемые обычным способом из натуральных чисел, предметных переменных (допустимыми значениями которых считают натуральные числа) и знаков примитивно рекурсивных функций *).

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

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

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

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

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

Эта книга рассказывает об истории первого в мире ледокола, способного форсировать тяжёлые льды. Знаменитое судно прожило невероятно долгий век – 65 лет. «Ермак» был построен ещё в конце XIX века, много раз бывал в высоких широтах, участвовал в ледовом походе Балтийского флота в 1918 г., в работах по эвакуации станции «Северный полюс-1» (1938 г.), в проводке судов через льды на Балтике (1941–45 гг.).

Первая часть книги – произведение знаменитого русского полярного исследователя и военачальника вице-адмирала С. О. Макарова (1848–1904) о плавании на Землю ФранцаИосифа и Новую Землю.

Остальные части книги написаны современными специалистами – исследователями истории российского мореплавания. Авторы книги уделяют внимание не только наиболее ярким моментам истории корабля, но стараются осветить и малоизвестные страницы биографии «Ермака». Например, одна из глав книги посвящена незаслуженно забытому последнему капитану судна Вячеславу Владимировичу Смирнову.

Посвящена истории современного отечественного судостроения, начиная с послевоенного периода (1946—1991).

Рассчитана на широкий круг читателей, интересующихся историей российского судостроения и флота.