Впервые за многие годы собран, систематизирован и представлен в хронологической последовательности обширный фактологический материал, содержащий научно-техническую информацию о русских и иностранных подводных лодках, созданных в начальный период их истории. Особое внимание уделено приоритетным достижениям российских ученых и конструкторов. Приведены малоизвестные сведении об оригинальных проектах и постройке более 200 подводных лодок, а также некоторые подробности жизни и научно-инженерной деятельности многих отечественных и зарубежных создателей подводных лодок.
Для широкого круга читателей.
Изложены энциклопедические сведения по эксплуатационным и мореходным качествам судов, прочности, архитектуре, конструкции, устройствам, системам и судовым энергетическим установкам, а также принципам проектирования, постройки и ремонта. Для полноты восприятия фотографии судов сгруппированы в конце первой главы.
Предназначено для студентов дневной и заочной форм обучения в кораблестроительных вузах для специальностей “Электромеханика”, “Компьютерные науки”, “Экономика и предпринимательство”, “Менеджмент”, “Право”.
Мы обещали (и держим слово) рассказать о следующих, самых главных, морских нефтегазовых сооружениях (МНГС) платформах, обеспечивающих добычу углеводородного сырья, в чем, собственно, и состоит смысл освоения месторождений. Безусловно, и все остальные технические средства, участвующие в освоении, в широком смысле этого слова, морских нефтегазовых месторождений, также важны и, самое главное, необходимы, поскольку представляют неразрывную технологическую цепь. Если убрать хотя бы одно звено, то, несмотря на кажущуюся непрерывность, при попытке потянуть за длинную цепь сдвинется лишь ее часть, и результата мы не достигнем. Конечно, эта цепь «растянута» во времени, возможны перерывы, иногда довольно длительные, например, после выполнения сейсмики или поисково-разведочного бурения, но все равно: освоение — это единый процесс, и нужны весьма разнообразные технические средства, будь то сложнейшая платформа или простой буксир.
Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма — течения в математике, видным представителем которого является автор.
Книга написана в форме живой беседы между представителями различных точек зрения на основания математики. К этой живой беседе присоединяется и редактор книги А. А. Марков, представитель не затронутого автором направления. В своих комментариях редактор не только вводит нового собеседника, но также стремится устранить неточности, допущенные автором.
Книга рассчитана на очень широкий круг читателей, начиная от математиков всех специальностей и кончая всеми, интересующимися математической логикой и философскими проблемами естествознания.
Книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры.
Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма, гомоморфизма и их обобщений. Рассматриваются возможности упрощения описываемой концептуальной схемы и условия ее применимости.
Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, дается обзор ее важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в различных областях математики (алгебра, функциональный анализ, теория меры, теория вероятностей). Она может служить пособием при первичном изучении теории булевых алгебр; для понимания достаточно знакомства с элементами алгебры, теории меры и топологии.
Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств.
Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исследований по основаниям математики и по математической логике тесно связано с ней.
Брошюра будет полезна всем математикам, а также представителям других специальностей, интересующихся приложениями математической логики.
Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, дается обзор ее важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в различных областях математики (алгебра, функциональный анализ, теория меры, теория вероятностей). Она может служить пособием при первом изучении теории булевых алгебр; для понимания достаточно знакомства с элементами алгебры, теории меры и общей топологии. Страниц 320. Таблиц 2. Иллюстраций 4.
Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств.
Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исследований по основаниям математики и по математической логике тесно связано с ней.
Брошюра будет полезна всем математикам, а также представителям других специальностей, интересующихся приложениями математической логики.
В сборнике представлены статьи по аксиоматической теории множеств, теории моделей, дескриптивной теории множеств, арифметике второго порядка, нестандартным моделям арифметики, логике предикатов высших ступеней, а также по многозначным, модальным и другим неклассическим логикам.
