Данный выпуск «Логических исследований» состоит из двух частей. В первой части содержатся статьи по общим вопросам математической (символической) логики, ее истории и отдельным приложениям; во второй части помещены статьи, касающиеся разработки и практических применений математической логики в связи с задачами математики и техники.
Author(s): Кольман Э., Поваров Г.Н., Таванец П.В., Яновская С.А. (ред.)
Publisher: АН СССР
Year: 1959
Language: Russian
Pages: 468
City: Москва
Титульный лист......Page 1
Аннотация и выходные данные......Page 2
Э. Кольман. Значение символической логики......Page 3
Н. И. Стяжкин. Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике......Page 20
Н. И. Стяжкин. Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний......Page 33
B. В. Мшвениерадзе. О философской сущности «семантической концепции истины»......Page 48
Б. М. Кедров. О числе отношений множеств (понятий)......Page 69
Б. Г. Кузнецов. Об основах квантово-релятивистскои логики......Page 99
А. А. Зиновьев. Логическое строение знаний о связях......Page 113
B. C. Швырев. К вопросу о каузальной импликации......Page 139
C. К. Шаумян. Логический анализ понятия фонемы......Page 159
А. И. Уёмов. Пустые классы и аристотелева логика......Page 178
А. Д. Гетманова. О соотношении логики и математики в системах типа Principia Mathematica......Page 189
A. С. Есенин-Вольпин. Анализ потенциальной осуществимости......Page 218
B. С. Чернявский. Об одном классе нормальных алгорифмов Маркова......Page 263
Г. Н. Поваров. Логика и автоматизация......Page 300
В. И. Шестаков. Моделирование операций исчисления высказываний посредством релейно-контактных схем......Page 315
Н. Е. Кобринский, Б. А. Трахтенброт. О построении общей теории логических сетей......Page 352
Г. Н. Поваров. Математико-логическоо исследование синтеза контактных схем с одним входом и $k$ выходами......Page 379
Г. Н. Поваров. О логическом синтезе электронных вычислительных и управляющих схем......Page 406
А. Д. Харкевич. О коммутационных схемах и их логической сущности......Page 415
Б. М. Раков. Логический синтез схем релейного действия, содержащих сопротивления и контакты......Page 429
A. Н. Юрасов. Аналитический синтез многотактных схем по формулам включения......Page 442
B. Ф. Дьяченко, В. Г. Лазарев. Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем......Page 450
СОДЕРЖАНИЕ......Page 465
Выходные данные......Page 467
Исправления и опечатки......Page 468
