SCI Библиотека

Научно-популярная литература по математической логике очень обширна и рассчитана на самые различные категории читателей. Школьники или взрослые, читающие популярную литературу в свободное от работы время, могут найти в ней большое число забавных логических задач. Читатель, желающий пополнить свой математический багаж, в надежде, что это поможет в его практической деятельности, найдет в ней подробные описания практических (часто — псевдопрактических) приложений логики.

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

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

Историю излагаемой в этой книге теоретической или математической, как правильнее ее называть, логики начинают обычно с «универсальной характеристики» Лейбница, после чего переходят к работам А. де Моргана, Буля, Джевонса, Шрёдера, Пирса, принадлежащим XIX в. И хотя это в известной мере правильно, все же, в основном, математическая логика должна быть отнесена к числу новейших научных дисциплин, характерных именно для науки XX в.

Прежде всего, в XX в. математическая логика, по существу, стала частью математики. Существует ряд соображений, в силу которых её следует называть именно математической логикой. Её рост обусловливается, в первую очередь, потребностями математики.

Создание неевклидовых геометрий, в истории которых основное место принадлежит именам соотечественников Н. И. Лобачевского, и возникновение метода множественных математических построений вывело на первый план новые принципы двоякого рода: теоретико-множественные и метод математической технологии. Наука, с одной стороны, шла к новой ведущей роли.

Предлагаемая вниманию читателя работа Л. Генкина “О математической индукции” относится к основаниям арифметики.

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

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

Освещены основные научно-технические, экономические, производственные и технологические вопросы, связанные с судостроением, мореплаванием и освоением Мирового океана. Приведены сведения о выдающихся ученых, океанологах, судостроителях, мореплавателях, о крупнейших морских эксплуатирующих и судостроительных организациях и др.

Для судостроителей, моряков, лиц, интересующихся морской тематикой.

Освещены основные научно-технические, экономические, производственные и технологические вопросы, связанные с судостроением, мореплаванием и освоением Мирового океана. Приведены сведения о выдающихся ученых, океанологах, судостроителях, мореплавателях, о крупнейших морских эксплуатирующих и судостроительных организациях и др.

Для судостроителей, моряков, лиц, интересующихся морской тематикой.

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

Книга предназначена в качестве учебника для учащихся по специальноси «Судостроение и судоремонт» институтов водного транспорта. Она может быв полезна инженерно-техническим работникам судостроительно-судоремонтных преж приятий и проектно-конструкторских организаций.

Эта книга завершает трилогию, посвященную истории мореплавания и судостроения (книги “Эвпатриды удачи” и “Рыцари удачи” выпущены издательством “Судостроение” в 1990— 1991 гг.)

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

Рассказано о постройке учебных парусных судов XVIII—XX вв. н создании в России Навигацкой школы. Приведены уникальные чертежи парусников. Книга богато иллюстрирована.

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

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

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

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

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