Л 69 Логические исследования [Текст] : сборник статей / Акад. наук СССР, Ин-т философии ; [редкол.: Э. Кольман и др.]. - Москва : Издательство Академии наук СССР, 1959. - 465, [1] с. : ил., табл. ; 23 см. - Библиогр. в конце ст. - Содерж.: Значение символической логики / Э. Кольман. Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике / Н. И. Стяжкин. Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний / Н. И. Стяжкин. О философской сущности "семантической концепции истины" / В. В. Мшвениерадзе. Об основах квантово-релятивистской логики / Б. Г. Кузнецов. Логическое строение знаний о связях / А. А. Зиновьев. К вопросу о каузальной импликации / В. С. Швырев. Логический анализ понятия фонемы / С. К. Шаумян. Пустые классы и аристотелева логика / А. И. Уёмов. О соотношении логики и математики в системах типа Principia Mathematica / А. Д. Гетаманова. Анализ потенциальной осуществимости / А. С. Есенин-Вольпин. Об одном классе нормальных алгорифмов Маркова / В. С. Чернявский. Логика и автоматизация / Г. Н. Поваров. Моделирование операций исчисления высказываний посредством релейно-контактных схем / В. И. Шестаков. О построении общей теории логических сетей / Н. Е. Кобринский, Б. А. Трахтенберг. Математико-логическое исследование синтеза контактных схем с одним выходом и К выходами / Г. Н. Поваров. О логическом синтезе электронных вычислительных и управляющих схем / Г. Н. Поваров. О коммутационных схемах и их логической сущности / А. Д. Харкевич. Логический синтез схем релейного действия, содержащих сопротивления и контакты / Б. М. Раков. Аналитический синтез многотактных схем по формулам включения / А. Н. Юрасов. Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем / В. Ф. Дьяченко, В. Г. Лазарев. - 5 000 прим.. -
Математическая логика--Сборники Философия русская, 20 в. Анотація: Данный выпуск "Логических исследований" состоит из двух частей. В первой части содержатся статьи по общим вопросам математической (символической) логики, ее истории и отдельным приложением ; во второй части помещены статьи, касающиеся разработки и практических применений математической логики в связи с задачами математики и техники. Утримувачі документа: Дом А. Ф. Лосева Дод.точки доступу: Кольман, Эрнест Яромирович (1892 - 1979) \ред.\; Институт философии (Москва) Примірників всього: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |