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 доказательства и т. п.

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

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

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

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

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

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

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

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