Логические исследования, сборник статей
| Corporate Author: | |
|---|---|
| Other Authors: | , , , |
| Published: |
Москва, Издательство Академии наук СССР, 1959
|
| TOC: | Э. Кольман, Значение символической логики; Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике; Н. И. Стяжкин, Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний; В. В. Мшвениерадзе, О философской сущности "семантической концепции истины"; Б. М. Кедров, О числе отношений множеств (понятий); Б. Г. Кузнецов, Об основах квантово-релятивистской логики; А. А. Зиновьев, Логическое строение знаний о связях; В. С. Швырев, К вопросу о каузальной импликации; С. К. Шаумян, Логический анализ понятия фонемы; А. И. Уёмов, Пустые классы и аристотелева логика; А. Д. Гетманова, О соотношении логики и математики в системах типа Principia Mathematica; А. С. Есенин-Вольпин, Анализ потенциальной осуществимости; В. С. Чернявский, Об одном классе нормальных алгорифмов Маркова; Логика и автоматизация; Математико-логическое исследование синтеза контактных схем с одним входом и k выходами; Г. Н. Поваров, О логическом синтезе электронных вычислительных и управляющих схем; В. И. Шестаков, Моделирование операций исчисления высказываний посредством релейно-контактных схем; Н. Е. Кобринский, Б. А. Трахтенброт, О построении общей теории логических сетей; А. Д. Харкевич, О коммутационных схемах и их логической сущности; Б. М. Раков, Логический синтез схем релейного действия, содержащих сопротивления и контакты; А. Н. Юрасов, Аналитический синтез многотактных схем по формулам включения; В. Ф. Дьяченко, В. Г. Лазарев, Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем; |
| Subjects: | |
| Format: | Book |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=373207 |