SCI Библиотека

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

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

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

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

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

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

Нынешний расцвет математической логики был подготовлен веками длительной и многообразной эволюции логических теорий и учений. Автор описывает узловые вехи в становлении и развитии наиболее ценных, с современной точки зрения, логических концепций: от материальной импликации мегарцев и стоиков до семиотики Г. Фреге и Ч. Пирса, от древнеиндийских предвосхищений вероятностной логики до идеографии Д. Пеано, от силлогистики Аристотеля до Г. Лейбница и алгебро-логических концепций XIX—XX вв.

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

Книга предназначена для студентов и преподавателей педагогических вузов.

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

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

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

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

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

The contemporary information landscape is characterised by a huge amount of data available for analysis using a variety of research tools and methods. Considering the limitations of using individual models and methods, it is worth employing an approach that combines functional and logical autoregression methods to conduct a more accurate analysis of trends and topics in the information space. Considering this context, this work aims to develop an algorithm to identify and analyse topics that would be relevant in the future using autoregression methods. The process begins with the quantification and normalisation of data, which significantly affect the quality of analysis. The main focus of this study is to implement the autoregression method to analyse long-term trends and predict future developments in the selected data. The proposed algorithm evaluates the forecast of these future developments and analyses graphical trends, thus conducting a more detailed study and modelling of future data dynamics. The regression coefficient is used as a quality criterion. The algorithm concludes with a polynomial function to help identify topics that will be relevant in the future. Overall, the proposed algorithm can be considered an effective tool for analysing and predicting future trends based on the analysis of historical data, thus contributing to the identification of prospects for technological development.

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

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

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

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

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

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

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