Логические исследования: сборник статей; Значение символической логики; Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике; Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний; О философской сущности "семантической концепции истины"; О числе отношений множеств (понятий); Об основах квантово-релятивистской логики; Логическое строение знаний о связях; К вопросу о каузальной импликации; Логический анализ понятия фонемы; Пустые классы и аристотелева логика; О соотношении логики и математики в системах типа Principia Mathematica; Анализ потенциальной осуществимости; Об одном классе нормальных алгорифмов Маркова; Логика и автоматизация; Математико-логическое исследование синтеза контактных схем с одним входом и k выходами; О логическом синтезе электронных вычислительных и управляющих схем; Моделирование операций исчисления высказываний посредством релейно-контактных схем; О построении общей теории логических сетей; О коммутационных схемах и их логической сущности; Логический синтез схем релейного действия, содержащих сопротивления и контакты; Аналитический синтез многотактных схем по формулам включения; Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , , , |
| Hizkuntza: | errusiera |
| Argitaratua: |
Москва, Издательство Академии наук СССР, 1959
|
| TOC: | Э. Кольман, Значение символической логики; Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике; Н. И. Стяжкин, Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний; В. В. Мшвениерадзе, О философской сущности "семантической концепции истины"; Б. М. Кедров, О числе отношений множеств (понятий); Б. Г. Кузнецов, Об основах квантово-релятивистской логики; А. А. Зиновьев, Логическое строение знаний о связях; В. С. Швырев, К вопросу о каузальной импликации; С. К. Шаумян, Логический анализ понятия фонемы; А. И. Уёмов, Пустые классы и аристотелева логика; А. Д. Гетманова, О соотношении логики и математики в системах типа Principia Mathematica; А. С. Есенин-Вольпин, Анализ потенциальной осуществимости; В. С. Чернявский, Об одном классе нормальных алгорифмов Маркова; Логика и автоматизация; Математико-логическое исследование синтеза контактных схем с одним входом и k выходами; Г. Н. Поваров, О логическом синтезе электронных вычислительных и управляющих схем; В. И. Шестаков, Моделирование операций исчисления высказываний посредством релейно-контактных схем; Н. Е. Кобринский, Б. А. Трахтенброт, О построении общей теории логических сетей; А. Д. Харкевич, О коммутационных схемах и их логической сущности; Б. М. Раков, Логический синтез схем релейного действия, содержащих сопротивления и контакты; А. Н. Юрасов, Аналитический синтез многотактных схем по формулам включения; В. Ф. Дьяченко, В. Г. Лазарев, Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем; |
| Gaiak: | |
| Formatua: | Liburua |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=373207 |
MARC
| LEADER | 00000nam0a2200000 4500 | ||
|---|---|---|---|
| 001 | 373207 | ||
| 005 | 20231102012538.0 | ||
| 010 | |b 5000 экз. | ||
| 035 | |a (RuTPU)RU\TPU\retro\30635 | ||
| 035 | |a RU\TPU\book\304123 | ||
| 090 | |a 373207 | ||
| 100 | |a 20221215d1959 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a a z 001zy | ||
| 200 | 1 | |a Логические исследования |e сборник статей |f Академия наук СССР (АН СССР), Институт философии ; редколлегия: Э. Кольман, Г. Н. Поваров, П. В. Таванец, С. А. Яновская | |
| 210 | |a Москва |c Издательство Академии наук СССР |d 1959 | ||
| 215 | |a 466 с. |c ил. | ||
| 316 | |5 63413507: М-133311 |a На титульном листе владельческая подпись: "Бутаков" | ||
| 317 | |5 63413507: М-133311 |a Поступила в НТБ в 1970 г. в составе книжного собрания профессора ТПИ И. Н. Бутакова | ||
| 320 | |a Литература в конце ст. | ||
| 464 | |t Значение символической логики |f Э. Кольман | ||
| 464 | |t Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике | ||
| 464 | |t Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний |f Н. И. Стяжкин | ||
| 464 | |t О философской сущности "семантической концепции истины" |f В. В. Мшвениерадзе | ||
| 464 | |t О числе отношений множеств (понятий) |f Б. М. Кедров | ||
| 464 | |t Об основах квантово-релятивистской логики |f Б. Г. Кузнецов | ||
| 464 | |t Логическое строение знаний о связях |f А. А. Зиновьев | ||
| 464 | |t К вопросу о каузальной импликации |f В. С. Швырев | ||
| 464 | |t Логический анализ понятия фонемы |f С. К. Шаумян | ||
| 464 | |t Пустые классы и аристотелева логика |f А. И. Уёмов | ||
| 464 | |t О соотношении логики и математики в системах типа Principia Mathematica |f А. Д. Гетманова | ||
| 464 | |t Анализ потенциальной осуществимости |f А. С. Есенин-Вольпин | ||
| 464 | |t Об одном классе нормальных алгорифмов Маркова |f В. С. Чернявский | ||
| 464 | |t Логика и автоматизация | ||
| 464 | |t Математико-логическое исследование синтеза контактных схем с одним входом и k выходами | ||
| 464 | |t О логическом синтезе электронных вычислительных и управляющих схем |f Г. Н. Поваров | ||
| 464 | |t Моделирование операций исчисления высказываний посредством релейно-контактных схем |f В. И. Шестаков | ||
| 464 | |t О построении общей теории логических сетей |f Н. Е. Кобринский, Б. А. Трахтенброт | ||
| 464 | |t О коммутационных схемах и их логической сущности |f А. Д. Харкевич | ||
| 464 | |t Логический синтез схем релейного действия, содержащих сопротивления и контакты |f Б. М. Раков | ||
| 464 | |t Аналитический синтез многотактных схем по формулам включения |f А. Н. Юрасов | ||
| 464 | |t Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем |f В. Ф. Дьяченко, В. Г. Лазарев |a Кобринский, Н. Е. | ||
| 606 | 1 | |a Математическая логика |2 stltpush |3 (RuTPU)RU\TPU\subj\41205 |9 61013 | |
| 610 | 1 | |a символическая логика | |
| 610 | 1 | |a практическое применение | |
| 610 | 1 | |a история науки | |
| 610 | 1 | |a владельческая надпись | |
| 610 | 1 | |a библиотека И. Н. Бутакова | |
| 675 | |a 510.6 |v 3 | ||
| 702 | 1 | |a Кольман |b Э. |4 340 | |
| 702 | 1 | |a Поваров |b Г. Н. |4 340 | |
| 702 | 1 | |a Таванец |b П. В. |4 340 | |
| 702 | 1 | |a Яновская |b С. А. |4 340 | |
| 712 | 0 | 2 | |a Академия наук СССР (АН СССР) |b Институт философии (ИФ) |2 stltpush |3 (RuTPU)RU\TPU\col\11338 |
| 801 | 1 | |a RU |b 63413507 |c 20150113 | |
| 801 | 2 | |a RU |b 63413507 |c 20221215 |g RCR | |
| 942 | |c BK | ||