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

Базы данных


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

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


    Бирюков, Б. В.
    У истоков отечественных исследований по поиску логического вывода : о двух симпозиумах 60-х годов ХХ века, состоявшихся в г. Тракае (Литовская ССР) / Б. В. Бирюков // Вопросы философии. - 2006. - № 12. - С. 99-119. - (Из истории отечественной философской мысли) ) . - Библиогр. в сносках. - Первый тракайский симпозиум. - Проблема поиска вывода исчислении предикатов. - Второй тракайский симпозиум. - Научно-технический контекст 60-х годов и последующее развитие проблемы "Искусственный интеллект"
. - Заглавия симпозиумов не указаны. . - ISSN 0042-8744
УДК
^A681.5
^A004.8
^A167/168
ББК 87.252 + 32.813 + 32.81
Рубрики: Философия
   Философские вопросы и методология отдельных наук, 20 в. 60-е гг.
   Радиоэлектроника
   Кибернетика
   Кибернетика
Кл.слова (ненормированные):
алгебро-логические исследования -- всесоюзные симпозиумы -- логика -- логические выводы -- математика (философия) -- математическая логика -- машинный поиск (кибернетика) -- предикаты -- симпозиумы -- тракайские симпозиумы -- философия математики
Аннотация: Тракайские симпозиумы не получили должного отражения в литературе. Настоящая публикация и служит восполнению этого пробела в историографии отечественной логики.


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