Логические исследования, сборник статей

Podrobná bibliografie
Korporativní autor:	Академия наук СССР (АН СССР) Институт философии (ИФ)
Další autoři:	Кольман Э. (340), Поваров Г. Н., Таванец П. В., Яновская С. А.
Vydáno:	Москва, Издательство Академии наук СССР, 1959
TOC:	Э. Кольман, Значение символической логики; Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике; Н. И. Стяжкин, Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний; В. В. Мшвениерадзе, О философской сущности "семантической концепции истины"; Б. М. Кедров, О числе отношений множеств (понятий); Б. Г. Кузнецов, Об основах квантово-релятивистской логики; А. А. Зиновьев, Логическое строение знаний о связях; В. С. Швырев, К вопросу о каузальной импликации; С. К. Шаумян, Логический анализ понятия фонемы; А. И. Уёмов, Пустые классы и аристотелева логика; А. Д. Гетманова, О соотношении логики и математики в системах типа Principia Mathematica; А. С. Есенин-Вольпин, Анализ потенциальной осуществимости; В. С. Чернявский, Об одном классе нормальных алгорифмов Маркова; Логика и автоматизация; Математико-логическое исследование синтеза контактных схем с одним входом и k выходами; Г. Н. Поваров, О логическом синтезе электронных вычислительных и управляющих схем; В. И. Шестаков, Моделирование операций исчисления высказываний посредством релейно-контактных схем; Н. Е. Кобринский, Б. А. Трахтенброт, О построении общей теории логических сетей; А. Д. Харкевич, О коммутационных схемах и их логической сущности; Б. М. Раков, Логический синтез схем релейного действия, содержащих сопротивления и контакты; А. Н. Юрасов, Аналитический синтез многотактных схем по формулам включения; В. Ф. Дьяченко, В. Г. Лазарев, Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем;
Témata:	символическая логика практическое применение история науки владельческая надпись библиотека И. Н. Бутакова
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=373207