SCI Библиотека

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

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

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

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

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

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

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

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

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

Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.

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

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

Роль науки в наши дни существенно отличается от той, которую она играла сто или двести лет назад. Отличие это заключается в том, что 1) наука превратилась в особую, широко разветвлённую отрасль общественного производства, массового производства знаний; 2) объём научных исследований возрастает с необычайной, всё время увеличивающейся скоростью.

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

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

Рассмотрены особенности приема и обработки информационных спутниковых сигналов и применение навигационных технологий с помощью современных глобальных спутниковых радионавигационных систем GPS, ГЛОНАСС, GNSS и GALILEO.

Издание адресовано научным сотрудникам и специалистам отраслевых и военных вузов, а также магистрантам, аспирантам и адъюнктам при изучении соответствующих курсов.

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

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

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

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

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

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

Большая часть материала пособия при сокращении требований к теоретическому выводу результатов может быть использована при подготовке бакалавров профиля “Эксплуатация наземных средств радиотехнического обеспечения полетов ВС и авиационной электросвязи”.

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