Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=релейно-контактные схемы<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Кузичева, З. А.
    Влияние теории релейно-контактных схем на развитие математической логики / З. А. Кузичева // Вестник Московского университета. Сер. 7, Философия. - 2009. - № 1. - С. 53-62. - (Логика) ) . - Библиогр. в примеч.
. - Примеч.: с. 61-62 . - ISSN 0130-0091
УДК
^A16
ББК 87.42
Рубрики: Логика
   Логические формы и законы
Кл.слова (ненормированные):
алгебра логики -- логика и техника -- логическая теория релейных систем -- математическая логика -- релейно-контактные схемы -- технические устройства
Аннотация: Статья посвящена исследованию взаимного влияния процесса математизации логики и идей построения технических устройств, позволяющих решать задачи логики, а затем и применения логических средств решения задач упрощения технических устройств.

Прямая ссылка
Найти похожие
2.


    Бирюков, Борис Владимирович (доктор философских наук; профессор).
    Применение логики в градостроительстве: трудный путь обретения / Б. В. Бирюков, И. П. Прядко // Вестник Московского университета. Сер. 7, Философия. - 2014. - № 2. - С. 76-87. - (Логика) ) . - Библиогр.: с. 86-87
. - ISSN 0201-7385
УДК
^a16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
градостроительство -- логическая теория релейных схем -- расчёт устойчивости -- релейно-контактные схемы -- теория релейных схем -- устойчивость зданий -- формально-логические методы
Аннотация: Рассмотрены примеры использования формально-логических методов в сфере строительства. Авторы касаются отдельных сторон исследовательского поиска, который вёл выдающийся отечественный гидроинженер Н. М. Герсеванов. Показан формализованный язык, используемый Герсевановым для обоснования устойчивости зданий. Выводы Герсеванова рассматриваются в сопоставлении с логической теорией релейных схем В. И. Шестакова.


Доп.точки доступа:
Прядко, Игорь Петрович (кандидат культурологии; доцент); Герсеванов, Н. М. (гидроинженер); Шестаков, В. И.
Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)