SCI Библиотека

Актуальность. В 1917 г. объекты транспортной инфраструктуры подверглись испытанию на прочность. Большевики применяли экстренные меры, стихийно создавали вооруженные формирования, однако, их эффективность была неудовлетворительной. Власть искала выход из кризиса. Документы, хранящихся в Государственном архиве Российской Федерации, свидетельствуют о причинах неудач охраны железных дорог в первые послереволюционные годы. Цель исследования – проанализировать процесс формирования и корректировки государственной политики в области транспортной безопасности, состояние охраны железных дорог в 1917–1919 гг.; дать оценку сведениям, изложенным в докладной записке В. В. Фомина. Материалы и методы. Историко-генетический метод позволил рассмотреть особенности охраны железных дорог в 1917–1919 гг. Ретроспективный метод способствовал оценке состояния охраны железных дорог. Типологическим методом эмпирические данные объединены в группы. Сравнительный метод позволил выявить общие и особенные черты рассмотренных явлений. Структурным методом информация разбита на более мелкие элементы, организована в иерархическую структуру. Аналитическим методом удалось верифицировать факты, изложенные в докладной записке.
Результаты исследования. Выявлены причины неудач охраны железных дорог в первые годы советской власти. Дана характеристика событиям на объектах железнодорожного транспорта в 1917–1919 гг.
Выводы. Сделан вывод о необходимости комплексного анализа источников, раскрывающих причины неудач охраны железных дорог в первые годы советской власти, показаны подходы со стороны высшего эшелона власти к выработке государственной политики на транспорте в 1917–1919 гг.

Актуальность. Рассмотрена история легалистского движения через мемуарные источники. Цель исследования – на основе мемуарной литературы выявить внутренние связи, группы, сложившиеся внутри либеральной юриспруденции Российской империи, определить элементы легалистской идеологии на основании воспоминаний и дневников. Материалы и методы. Значительная часть воспоминаний и дневников опубликованы. Это облегчает задачи исследователя. Привлечение архивных источников (рукописный отдел Российской национальной библиотеки, Российский государственный архив литературы и искусства, Государственный архив Российской Федерации, рукописный отдел Российской государственной библиотеки) вкупе с печатными изданиями позволяет сличить разнородные данные и прийти к общим выводам. Использование проблемно-хронологического метода и метода сравнения позволяют провести этот анализ. Результаты исследования. Под легалистами понимается объединение либеральных сановников Российской империи, преимущественно выходцев из судебного корпуса, и ученых-юристов. Идеологию легалистов можно определить, как консервативный либерализм, а их вдохновителем был известный ученый Б. Н. Чичерин. В 1860-е гг. сформировалась устойчивая группа юристов, которая была кровно заинтересована в развитии в России законности и правопорядка («люди правового порядка»). Через мемуары мы видим, как они выступали в момент реформ, как институализировались в 1870-е гг., как приняли активное участие в реформах 1878–1881 гг., как пытались отстоять основы строя, созданного Александром II, как боролись с традиционализмом в 1890-е гг. Выводы. В мемуарной литературе отражены настроения легалистов, которые, несмотря на постоянные поражения, не унывали и с оптимизмом смотрели в будущее. Они исходили из того, что Россия является частью мирового процесса и в ней в свое время наступит «всё то, что есть в Европе».

Учебное пособие соответствует программе курса «Математическая логика» для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.

Предназначается для студентов пединститутов.

В книге рассказывается о том, как можно формально описать свойства хорошо знакомых всем отношений, указанных в заглавни.

На этом примере выясняется, как происходит переход от привычных, но неточных понятий к строгим математическим определениям.

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

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

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

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

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

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

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

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

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

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

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

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

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

В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет.

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