SCI Библиотека

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

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

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

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

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

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

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

В данной статье рассматриваются особенности юридического образования в России и за рубежом. Выделяется специфика развития юридического образования. Автором проведен сравнительный анализ юридического образования в России, США, Китае и Германии.

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

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

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

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

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

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

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

Рассмотрены согласные фонемы /kː/~/k/ и /tː/~/t/ телеутского языка в интервокальном положении, противопоставленные по долготе и краткости в предыдущих исследованиях телеутского консонантизма. Приведен краткий обзор работ, посвященных становлению и развитию тюркского консонантизма и проблеме долгих согласных в древних и современных тюркских языках. Поставлен вопрос о релевантности оппозиции краткий - долгий для телеутских смычных согласных в интервокальном положении, и выдвинуто предположение об их позиционно и морфонологически обусловленной долготе. Выделено два не взаимоисключающих типа долготы согласных в тюркских языках - качественный у интервокальных глухих за счет придыхательного компонента и количественный у интервокальных геминированных за счет удлиненного интервала смычки. Проведен сопоставительный анализ сонограмм телеутских словоформ, полученных от разных дикторов и иллюстрирующих долготу согласных звуков [k] и [t] в интервокальной позиции, выполненный с помощью программы Praat. Предлагается противопоставлять телеутские взрывные интервокальные согласные по наличию работы голосовых связок; оппозиция по долготе представляется менее значимым дифференцирующим признаком для консонантной системы телеутского языка. Озвончение интервокальных смычных также подтверждается данными сонограмм.

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

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

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

The present paper develops an invariant ontology of strategic interaction in a sociotechnical system using game theory tools. In the course of the research, ontologies are considered tools for modelling sociotechnical systems, including tools for social and technical process integration. The demand for these tools derives from the need to integrate people into technical systems as equivalent and equal elements that exert both external and internal influence on the system. Such sociotechnical models have already been applied to describe enterprise information structures, but they lack a description of decision-making between the system elements within the strategic inter-action. As part of the solution to this problem, an ontology-based model of a sociotechnical system describing the interaction of both social and technical elements through game interaction is developed. Each of the participants in the interaction is described in terms of game theory, with the allocation of possible strategies and the corre-sponding winnings. Through the interactive entities within the game theory model, game interaction takes place between the participant and appropriate behaviour strategy selection. The model is a exible, scalable tool for building simulation models of sociotechnical systems. The results obtained will be tested when real sociotechnical systems are built, and the ontology will be re ned according to the results obtained.