SCI Библиотека
SciNetwork библиотека — это централизованное хранилище научных материалов всего сообщества... ещё…
SciNetwork библиотека — это централизованное хранилище научных материалов всего сообщества научной социальной сети. Здесь хранятся все материалы с открытым доступом. Внесите свой вклад в общую библиотеку добавив больше книг и статей в свой раздел «Моя библиотека» с открытым доступом.
свернутьSciNetwork библиотека — это централизованное хранилище научных материалов всего сообщества... ещё…
В настоящее время интенсивно развивается конструктивное направление в математике, в частности, конструктивный математический анализ. Р. Л. Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа.
Этот подход существенно отличается (как по общему замыслу, так и по характеру центральных понятий) от подходов, использованных другими математиками; он тесно связан с введенным Гудстейном исчислением равенств, представляющим собой аксиоматический фрагмент теории рекурсивных арифметических функций, обладающий рядом важных достоинств.
Аксиомы исчисления равенств и выводимые в этом исчислении объекты представляют собой формулы вида T₁ = T₂, где T₁ и T₂ — функциональные выражения (термы), составляемые обычным способом из натуральных чисел, предметных переменных (допустимыми значениями которых считают натуральные числа) и знаков примитивно рекурсивных функций *).
Книга посвящена теории формальных грамматик и языков, являющейся важнейшей составной частью так называемой математической лингвистики. Эта теория вызвана к жизни потребностями лингвистики, но нашла свою почву в чистой математике и стала полноправной отраслью математической логики, тесно связанной с теорией алгоритмов и теорией автоматов.
В книге рассматривается ряд важных проблем теории формальных грамматик — таких, как взаимоотношения между различными классами грамматик и классами задаваемых ими языков, связь между грамматиками и автоматами, оценки сложности вывода в грамматиках, алгоритмические проблемы для грамматик.
Книга представляет большой интерес для специалистов как в области математической лингвистики, так и в смежных областях, например в теории алгоритмов и автоматов.
Публикуемая в этой брошюре работа А. Гротендика посвящена теории пучков — бурно развивающейся области современной алгебраической топологии, которая находит себе многочисленные приложения в различных вопросах алгебры, геометрии и анализа. Автор принадлежит к числу математиков, наиболее интенсивно работающих в данной области.
Основная идея настоящей работы заключается в том, что теория когомологий с коэффициентами в пучках рассматривается в рамках гомологической алгебры в общих абелевых категориях. Более подробное изложение теории пучков можно найти в выпускаемой Издательством иностранной литературы монографии Годемана. Настоящая брошюра рассчитана на математиков — научных работников, аспирантов и студентов старших курсов.
Эта книга рассказывает об истории первого в мире ледокола, способного форсировать тяжёлые льды. Знаменитое судно прожило невероятно долгий век – 65 лет. «Ермак» был построен ещё в конце XIX века, много раз бывал в высоких широтах, участвовал в ледовом походе Балтийского флота в 1918 г., в работах по эвакуации станции «Северный полюс-1» (1938 г.), в проводке судов через льды на Балтике (1941–45 гг.).
Первая часть книги – произведение знаменитого русского полярного исследователя и военачальника вице-адмирала С. О. Макарова (1848–1904) о плавании на Землю ФранцаИосифа и Новую Землю.
Остальные части книги написаны современными специалистами – исследователями истории российского мореплавания. Авторы книги уделяют внимание не только наиболее ярким моментам истории корабля, но стараются осветить и малоизвестные страницы биографии «Ермака». Например, одна из глав книги посвящена незаслуженно забытому последнему капитану судна Вячеславу Владимировичу Смирнову.
Посвящена истории современного отечественного судостроения, начиная с послевоенного периода (1946—1991).
Рассчитана на широкий круг читателей, интересующихся историей российского судостроения и флота.
Объем и последовательность изложения материала соответствует современной программе курса «Технология судостроения и ремонта судов». Рассмотрены технологические процессы, применяемые при постройке и ремонте металлических судов, освещены вопросы механизации и автоматизации судостроительного производства, в том числе использования ЭВМ в разработке технологической документации.
Предназначен для учащихся судостровтельных техникумов, обучающихся по специальности «Судокорпусосгроение».
В книге рассказывается об истории подводного флота, первых «потаенных судах » и их создателях. Читатель узнает о героических подвигах российских моряков во время Первой мировой и Великой Отечественной войн, а также о конструктивных особенностях атомных субмарин и специфике службы современных подводников. Книга будет интересна всем поколениям любителей военно-морской истории.
В работе излагаются основы теории инерциальных систем, предназначенных для морской навигации, принцип действия их составных элементов и вопросы перспективного развития инерциальной навигации для морского флота.
В основу книги положены несколько расширенные и дополненные материалы лекций, прочитанных автором в 1960 г. в ЛВИМУ им. адм. С. О. Макарова. В ней впервые рассмотрена кинематика систем инерциальной навигации, ориентированных в некоторых координатных системах, представляющих интерес для морского флота, составлены структурные схемы инерциальиых ориентиров в этих координатных системах, рассмотрены некоторые специфические ошибки морских инерциальиых систем, изложены принципы автоматического судовождения с применением инерциальиых систем.
Книга рассчитана на учащихся и преподавательский состав высших учебных заведений ММФ, инженеров-судоводителей и работников организаций морского флота, интересующихся перспективами развития науки и техники судовождения. Она может также оказаться полезной работникам приборостроения, создающим навигационную аппаратуру для морского флота.
Предлагаемая вниманию книга является третьим, существенно расширенным, изданием «Русско-английского и англо-русского технического словаря судового механика», вышедшего в свет в ноябре 2001 г. и за короткое время полу пившего широкое распространение и признание среди суповых специалистов и учащихся морских учебных заведений. В новое издание включен раздел, посвященный деловой переписке с судоходной компанией, судоремонтными верфями; содержит образцы писем и типовые фразы по техническому обслуживанию и ремонту элементов СЗУ, сопровождаемые обширным словарем терминов и словосочетаний.
Словарь включает 4 раздела:
Словарь минимум, в котором в целях удобства раздельно представлены существительные, глаголы, прилагательные и наречия, полезные (служебные) слова.
Словарь профессиональных терминов, включающий термины пи дизельным двигателям, ремонту и инструментам, элементам конструкции корпуса судна, электротехническому оборудованию, обеспечению безопасности мореплавания, противопожарным мероприятиям и предотвращению загрязнения моря.
Словарь профессиональных терминов в рисунках.
Деловой словарь.
В книге обобщен обширный материал, помещенный в последние годы на страницах зарубежной печати и отражающий современное состояние и перспективы развития корабельных гидроакустических средств.
В ней рассматриваются гидроакустические средства наблюдения и связи и другая гидроакустическая аппаратура, устанавливаемая на надводных кораблях и подводных лодках, на специальных исследовательских судах и устройствах для глубоководных исследований. Значительное внимание уделяется вопросам снижения шумности подводных лодок и кораблей, размещению аппаратуры на кораблях, связи корабельных гидроакустических средств с оружием и боевыми средствами.
Книга рассчитана на широкий круг читателей, знакомых с основами устройств гидроакустической аппаратуры и занимающихся вопросами гидроакустики, на специалистов судостроительной промышленности, офицеров ВМФ, студентов вузов и курсантов военно-морских училищ.