Главная
Авторизация
Фамилия
Пароль
 

Базы данных


Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН - результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=интеллект<.>)
Общее количество найденных документов : 38
Показаны документы с 1 по 20
 1-20    21-38 
1.
   Ш147
   Ф 84
Ш1 / Ф 84-ИБФ-КФ


    Глузман, Илья Семенович.
    Французско-русский словарь по вычислительной технике : Ок. 25000 терминов [Текст] : словарь / И. С. Глузман, Л. И. Боровикова. - Москва : Русский язык, 1987. - 515 с. - Пер. изд. : Dictionnaire francais-russe de l`informatique. - 4.50 р.
ГРНТИ
УДК
ББК Ш147.11
Рубрики:
Языкознание--Французский язык
Кл.слова (ненормированные):
ЯЗЫКОВЫЕ СЛОВАРИ -- ТЕРМИНОЛОГИЧЕСКИЕ СЛОВАРИ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- ОПЕРАЦИОННЫЕ СИСТЕМЫ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- БАЗЫ ДАННЫХ -- КИБЕРНЕТИКА -- РОБОТОТЕХНИКА -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ИНФОРМАЦИОННО-ПОИСКОВЫЕ СИСТЕМЫ
Аннотация: Словарь содержит около 25000 терминов по следующим разделам: вычислительные машины и системы, архитектура вычислительных систем и сетей, сети связи, операционные системы, программное обеспечение, языки программирования, базы данных, автоматизация программирования и проектирования, моделирование систем, методы системного анализа, диагностика вычислительных машин, кибернетика, робототехника, искусственный интеллект, информационно-поисковые системы.

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Боровикова, Людмила Ивановна
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
2.
   А518
   И 90
А / И 90-ИБФ-КФ


   
    Историзм и эволюционизм как принципы познания [Текст] : монография / В. Г. Табачковский, А. Я. Мороз, В. Л. Храмова ; ред.: В. Г. Табачковский, А. Я. Мороз ; Академия наук Украинской ССР [и др.]. - Киев : Наукова думка, 1987. - 232 с. - Примеч.: с. 219-231. - 2.60 р.
ГРНТИ
ББК А518.151.82 + Б.в01

Кл.слова (ненормированные):
искусственный интеллект -- естествознание
Аннотация: Целостное рассмотрение принципа историзма в единстве его общефилософского содержания, эвристических возможностей в постижении культуры, а также функционирования в современном естествознании.

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Табачковский, Виталий Георгиевич; Мороз, Алексей Яковлевич; Храмова, Виктория Львовна; Табачковский, Виталий Георгиевич \ред.\; Мороз, Алексей Яковлевич \ред.\; Академия наук Украинской ССР; Институт философии; Научный совет "Философские и социальные проблемы науки и техники"
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
3.
   З81
   Э 51
З81 / Э 51-ИБФ-КФ


    Элти, Джим.
    Экспертные системы: концепции и примеры [Текст] : монография / Дж. Элти, М. Кумбс ; пер. с англ. Б. И. Шитикова. - Москва : Финансы и статистика, 1987. - 191 с. : рис. - Библиогр.: с. 184-187. - Пер. изд. : Expert systems: concepts and examples / J. L. Alty, M. J. Coombs. - 28000 экз. - 0.65 р.
ГРНТИ
УДК
ББК З81в661.2

Кл.слова (ненормированные):
управляющие структуры -- исчисление предикатов -- язык Лисп -- семантические сети -- геологические модели -- правила продукций -- продукционные системы -- задачи управления -- стратегия диагностирования -- искусственный интеллект
Аннотация: Методологические основы построения и классификация экспертных систем.

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Кумбс, Майк; Шитиков, Б. И. \пер.\; Alty, J. L.; Coombs, M. J.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
4.
   З973
   К 63
З9 / К 63-ИБФ-КФ


   Хелмс, Гарри Л.

    Компьютеры : справочное руководство [Текст] = The McGRA W-HILL Computer HANDBOOK : в 3 т. / под ред. Г. Хелмса. - Москва : Мир, 1986.
   Т. 2 / К. Виатровски, Д. Гивоне, Ф. Коперда, С. Мястковски ; ред. В. В. Васильков ; пер. М. Г. Фуругян. - Москва : Мир, 1986. - 440 с. : рис., табл. - Предм. указ.: с. 433-437. - 1.70 р.
ГРНТИ
УДК
ББК З973

Кл.слова (ненормированные):
машинная графика -- искусственный интеллект -- микропроцессорная технология

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Хелмс, Гарри Л. \ред.\; Виатровски, К.; Гивоне, Д.; Коперда, Ф.; Мястковски, С.; Васильков, В. В. \ред.\; Фуругян, М. Г. \пер.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
5.
   Ю9
   А 62
Ю9 / А 62-ИБФ-КФ


    Амосов, Николай Михайлович.
    Алгоритмы разума [Текст] : монография / Н. М. Амосов. - Киев : Наукова думка, 1979. - 223 с. - Библиогр.: с. 221. - 0.40 р.
ГРНТИ
УДК
ББК Ю9 + З81

Кл.слова (ненормированные):
память -- искусственный интеллект -- моделирование интеллекта
Аннотация: Проанализированы возможные пути построения искусственного интеллекта на основе опыта отдела биокибернетики Института кибернетики АН УССР по моделированию интеллекта и личности.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Касаткин, А. М. \ред.\; Амосов, Николай Михайлович (кардиохирург, академик ; 1913 - 2002)
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
6.
А518
Х 15
А5 / Х 15-ИБФ-КФ
А5 / Х 15-ИБФ-КФ


    Хазен, А. М.
    О возможном и невозможном в науке, или где границы моделирования интеллекта [Текст] : научно-популярная литература / А. М. Хазен. - Москва : Наука, 1988. - 382 с. - (Проблемы науки и технического прогресса). - ISBN 5-02-0139902- 5 : 1.50 р.
ББК А518
Рубрики:
Природа--Тайны
   Сенсации в науке

Кл.слова (ненормированные):
ШАРОВЫЕ МОЛНИИ -- Хилеры -- Инопланетяне -- Энергия -- Энтропия -- Телепатия -- Роботы -- искусственный интеллект -- КОМПЬЮТЕРЫ -- Бермудский треугольник -- Гормоны -- Зрение -- Киты -- Лженаука -- Маугли (биол.) -- Медиаторы -- Мозг -- Муравьи -- Наркотики -- Персептрон -- Сверхпроводимость -- Скорость света -- Снежный человек

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12
Экземпляры всего: 2
ИБФ-КФ (2)
Свободны: ИБФ-КФ (2)
Найти похожие
7.
   Е991
   П 78
Е9 / П 78-ИБФ-КФ


    Всесоюзная с международным участием конференция по нейрокибернетике (6 ; 1976 ; Ростов-на-Дону).
    Проблемы нейрокибернетики. "Искусственный интеллект", биотехнические системы, робототехника [Текст] : доклад, тезисы доклада / Всесоюзная с международным участием конференция по нейрокибернетике (6 ; 1976 ; Ростов-на-Дону) , Ростовский государственный университет ; отв. ред. А. Б. Коган. - Ростов-на-Дону : Издательство Ростовского ун-та, 1979. - 143 с. - Библиогр. в конце ст. - 1.00 р.
ГРНТИ
УДК
ББК Е991.013я431(2)
Рубрики:
нейрокибернетика
Кл.слова (ненормированные):
рефлекторная теория -- алгоритмы операций -- биотехническое управление -- роботы -- рецептивные поля -- зрительная система -- распознающие системы

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Коган, А. Б. \отв. ред.\; Ростовский государственный университет
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
8.
   Г.с 512
   И 86
Г.с / И 86-ИБФ-КФ


   
    Искусственный интеллект: применение в химии [Текст] : сборник научных трудов / ред.: Т. Пирс, Б. Хони ; пер. с англ. А. Ю. Батыря и В. Н. Петрова ; под ред. В. Л. Стефанюка. - Москва : Мир, 1988. - 428 с. : рис. - Библиогр. в конце ст. - Предм. указ.: с. 420-426. - ISBN 5-03-001213-3 : 3.10 р.
УДК
ББК Г.с 512

Кл.слова (ненормированные):
искусственный интеллект -- экспертные системы -- аналитическая химия -- компьютерная алгебра -- молекулярные структуры -- органический синтез -- органическая химия -- органические соединения
Аннотация: Сборник материалов симпозиума по применению методов искусственного интеллекта к решению химических проблем.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Пирс, Т. \ред.\; Хони, Б. \ред.\; Батырь, А. Ю. \пер.\; Петров, В. Н. \пер.\; Стефанюк, В. Л. \пер., ред.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
9.
   З973
   С 54
З97 / С 54-ИБФ-КФ
З97 / С 54-ИБФ-КФ


    Сойер, Б.
    Программирование экспертных систем на Паскале [Текст] : монография / Б. Сойер, Д. Л. Фостер ; пер. В. А. Белов. - М. : Финансы и статистика, 1990. - 191 с. : рис. - Предм. указ.: с. 190. - Пер. изд. : Programming expert systems in Pascal / B. Sawyer, D. Foster. - ISBN 5-279-00449-9 : 0.55 р.
    Содержание:
Экспертные системы в перспективе
Искусственный интеллект и экспертные системы
Элементы экспертных систем.
Проектирование экспертной системы.
Построение экспертной системы
Представление фактов.
Управление фактами в базе знаний.
Представление знаний
Представление неопределенности
Использование многозначных выражений.
Вопросы и разрешенные значения
Чтение правил.
Достижение цели.
Экспертная система в действии
Создание подсистемы объяснения
Использование экспертных систем
Взаимодействие экспертной системы с существующими приложениями
ГРНТИ
УДК
ББК З973.205-018.12

Аннотация: Описаны архитектура и процесс создания набольшой продукционной системы на языке Турбо Паскаль с обратной последовательностью вывода. Система документирована полными листингами программ и примерами небольших баз знаний.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Фостер, Д. Л.; Белов, В. А. \пер.\; Sawyer, B. ; Foster, D.
Экземпляры всего: 2
ИБФ-КФ (2)
Свободны: ИБФ-КФ (1)
Найти похожие
10.
   З81
   Р 31
З81 / Р 31-ИБФ-КФ


   
    Реальность и прогнозы искусственного интеллекта [Текст] : сборник научных трудов / пер., ред. В. Л. Стефанюк. - Москва : Мир, 1987. - 245, [2] с. : ил. - (В мире науки и техники). - Библиогр. в конце ст. - 50000 экз. - 0.85 р.
    Содержание:
Шенк, Р. Познать механизмы мышления / Р. Шенк, Л. Хантер. - С .15-26
Андерсон, Дж. Учитель Лиспа / Дж. Андерсон, Б. Дж. Рейзер. - С .27-47
Джонсон, У. Л. PROUST (автоматический отладчик программ на языке Паскаль) / У. Л. Джонсон, Э. Солоуэй. - С .48-70
Уинстон, П. Г. Лисп совершает революцию / П. Г. Уинстон. - С .71-84
Хьюитт, К. Открытые системы / К. Хьюитт. - С .85-102
Баллард, Д. Х. Зрение: биология бросает вызов технике / Д. Х. Баллард, К. М. Браун. - С .103-123
Хинтон, Дж. Е. Обучение в параллельных сетях / Дж. Е. Хинтон. - С .124-136
Фелдман, Дж. А. Сетевые модели / Дж. А. Фелдман. - С .137-147
Стивенс, Дж. К. Перспективы нейроинженерии / Дж. К. Стивенс. - С .148-161
Майклсен, Р. Х. Экспертные системы / Р. Х. Майклсен, Д. Мичи, А. Буланже. - С .162-182
Томпсон, Б. Анатомия экспертных систем / Б. Томпсон, У. Томпсон. - С .183-208
Диринг, М. Ф. Архитектура машин для искусственного интеллекта / М. Ф. Диринг. - С .209-230
Минский, Марвин. Общение с внеземным разумом / М. Минский. - С .231-244
ГРНТИ
УДК
ББК З81я9
Рубрики:
Искусственный интеллект. Экспертные системы

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Стефанюк, В. Л. \пер., ред.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
11.
   Е
   М340
Е / М340-ИБФ-КФ


   
    Математические проблемы в биологии [Текст]. - Москва : Мир, 1966. - 278 с. : ил. - Библиогр. в конце ст. - Пер. изд. : Mathematical problems in the biological sciences. - 1962. - 1.11 р.
УДК
ББК Е

Кл.слова (ненормированные):
математические модели -- самовоспризведение -- электрокардиограммы -- медицинская диагностика -- искусственный интеллект -- адаптивное регулирование -- химиотерапия -- зацепленность
Аннотация: Книга содержит материалы 14-го симпозиума по прикладной матетматике, проведенного Американским математическим обществом. Гарантией высокого научного уровня книги является не только подбор авторов докладов (Мур, Голомб, Ледли, Калаба, Улам и др.), но и имя ее редактора Р. Беллмана, известного своими выдающимися исследованиями по динамическому программированию. Используемый математический аппарат весьма разнообразен - от элементов математической статистики до математической логики, динамического программирования, теории конечных и бесконечных автоматов, теории случайных процессов, исследований операций и т.д. Широка и биологическая тематика: процессы, происходящие в центральной нервной системе, передача генетической информации, вопросы медицинской диагностики и пр. Книга, несомнено, будет интересна как биологам, так и математикам различных специальностей, включая студентов старших курсов соответствующих учебных заведений.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
12.
   А518
   К 89
А5 / К 89-ИБФ-КФ


    Кузнецов, Борис Григорьевич.
    Идеалы современной науки [Текст] : научное издание / Б. Г. Кузнецов ; ред. М. В. Волькенштейн ; АН СССР, Ин-т истории естествознания и техники. - Москва : Наука, 1983. - 255 с. - Библиогр. в подстроч. примеч. - 1.20 р.
ГРНТИ
ББК А518.10
Рубрики:
Наука. Науковедение
Кл.слова (ненормированные):
история науки -- логика в науке -- интуиция в науке -- Микрокосмос -- Космос -- естествознание -- Черные дыры -- искусственный интеллект -- экономический эффект науки -- постатомная цивилизация -- самопознание науки -- интуитивный детерминизм
Аннотация: Рассматриваются проблемы исторического анализа современной науки, роль интуиции и логики в естествознании ХХ в., общие принципы учения о Космосе, Микрокосмосе, жизни и сознании, будущее науки и ее эффект, а также связь современных представлений о мире с прошлым.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Волькенштейн, М. В. \ред.\; Академия наук СССРИнститут истории естествознания и техники
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
13.
   Ю941
   И 86
Ю / И 86-ИБФ-КФ


   
    "Искусственный интеллект" и психология [Текст] : монография / О. К. Тихомиров, Э. Д. Телегина, Д. Д. Бабаева ; ред. О. К. Тихомиров ; Академия наук СССР, Институт психологии. - Москва : Наука, 1976. - 344 с. - 1.56 р.
ГРНТИ
ББК Ю941.2


Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12
Доп.точки доступа:
Тихомиров, О. К.; Телегина, Э. Д.; Бабаева, Д. Д.; Тихомиров, О. К. \ред.\; Академия наук СССР; Институт психологии
Экземпляры всего: 1
ИБФ-КФ (1)
Свободных экз. нет
Найти похожие
14.
   Е02
   Г 77
Е02 / Г 77-ИБФ-КФ


    Грант, Верн.
    Эволюция организмов [Текст] : монография / В. Грант, Н. Ф. Липкан ; пер. Н. О. Фомина ; ред. Б. М. Медников. - Москва : Мир, 1980. - 408 с. : . - Библиогр.: с.374-391. - Указ.: с. 392-400. - Пер. изд. : Organismic evolution / V. Grant. - 1977. - 12500 экз. - 2.10 р.
ГРНТИ
УДК
ББК Е02
Рубрики:
Общая генетика
Кл.слова (ненормированные):
ЭКОЛОГИЧЕСКАЯ ДИФФЕРЕНЦИАЦИЯ -- вымирание -- расы -- индукция -- гены -- микроэволюция -- мутации -- рекомбинация -- отбор -- трансдукция -- видообразование -- макроэволюция -- филогения -- интеллект
Аннотация: Книга представляет собой сжатый обзор современных концепций по важнейшим проблемам эволюционной теории на уровне организма. Для биологов всех специальностей.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Липкан, Н.Ф.; Фомина, Н. О. \пер.\; Медников, Б. М. \ред.\; Grant, Verne
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
15.
   З-8
   Б 43
З8 / Б 43-ИБФ-КФ


    Белецкий, Владимир Васильевич.
    Двуногая ходьба. Модельные задачи динамики и управления [Текст] : учебное пособие / Белецкий В.В. - Москва : Наука, 1984. - 288 с. - (Научные основы робототехники). - 3.30 р.
ГРНТИ
ББК З-81
Рубрики:
Кибернетика--кибернетические модели
Кл.слова (ненормированные):
кибернетика -- учебное пособие -- модель -- блок-схема -- расчет -- управление -- робототехника -- сеть -- система -- многоканальный -- автомат -- программа -- язык -- память -- программный -- грамматика -- программирование -- система управления -- робот -- игра -- графы -- искусственный интеллект -- манипулятор -- гидропривод -- захватные устройства

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
16.
   З81
   Э 64
З8 / Э 64-ИБФ-КФ


    Эндрю, Алекс.
    Искусственный интеллект [Текст] : монография / А. Эндрю ; пер. с англ. В. Л. Стефанюка ; под ред. Д. А. Поспелова. - Москва : Мир, 1985. - 264 с. : рис. - (В мире науки и техники). - Библиогр.: с. 255-261. - Предм. указ.: с. 262-264. - Пер. изд. : Artificial intelligence / A. M. Andrew. - 0.70 р.
ГРНТИ
УДК
ББК З81я9

Кл.слова (ненормированные):
нейронная пластичность -- машина Тьюринга -- эвристические правила -- метод резолюции -- автоматическая математика -- распознавание образов -- рекурсивная техника -- экспертные системы -- промышленные роботы
Аннотация: Поиски и достижения исследователей в области искусственного интеллекта.

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Стефанюк, В. Л. \пер.\; Поспелов, Д. А. \ред.\; Andrew, A. M.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
17.
   З973
   К 63
З9 / К 63-ИБФ-КФ


    Компьютеры : справочное руководство [Текст] = The McGRA W-HILL Computer HANDBOOK : в 3 т. / под ред. Г. Хелмса. - Москва : Мир, 1986.
   Т. 3 / [Виатровски К. и др.] ; пер. с англ. под ред. В. Г. Потемкина ; [пер. выполнен В. В. Пржиялковским и др.]. - Москва : Мир, 1986. - 403 с. : рис., табл. - Список терминов: с. 392-399. - Предм. указ.: с. 400-403. - 1.50 р.
ГРНТИ
УДК
ББК З973

Кл.слова (ненормированные):
машинная графика -- искусственный интеллект -- робототехника -- печатающие устройства -- микропроцессорная технология -- подпрограммы -- арифметические операции -- интерфейс -- операционные системы -- воспроизведение музыки -- воспроизведение речи -- система распознавания речи
Аннотация: Технические средства машинной графики, основные типы печатающих устройств и графопостроителей, принципы построения микропроцессоров.

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Хелмс, Гарри \ред.\; Виатровски, К.; Гивоне, Д.; Коперда, Ф.; Мястковски, С.; Потемкин, В. Г. \пер., ред.\; Пржиялковский, В. В. \пер.\; Пчелинцев, И. П. \пер.\; Сергиевский, М. В. \пер.\; Чукашев, А. В. \пер.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
18.
   В1
   П 62
В1 / П 62-ИБФ-КФ


    Поспелов, Гермоген Сергеевич.
    Процедуры и алгоритмы формирования комплексных программ [Текст] : учебник / Под ред. Г.С. Поспелова. - Москва : Наука. Главная редакция физико-математической литературы, 1985. - 424 с. - Библиогр.: с. 413-423. - 5.20 р.
ГРНТИ
УДК
ББК В127
Рубрики:
Математика--программное обеспечение
Кл.слова (ненормированные):
алгоритмы -- учебник -- программа -- планирование -- энергетика -- ЭВМ -- алгоритм -- система -- процедура -- интеллект -- управление -- имитация -- мультисистема -- операция

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Ириков, Валерий Алексеевич; Курилов, Алексей Евграфович
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
19.
   Е991
   П 78
Е9 / П 78-ИБФ-КФ


Всесоюзная конференция по нейрокибернетике (III ; 7-12 сентября 1967 года ; Ростов).

    Проблемы нейрокибернетики [Текст] : материалы III Всесоюзной конференции по нейрокибернетике / РГУ. - Ростов на Дону : Издательство Ростовского университета.Рефераты докладов III Всесоюзной конференции по нейрокибернетике 7-12 сентября 1967 года / Ростовский государственный университет ; ред. А. Б. Коган. - Ростов-на-Дону : РГУ, 1967. - 180 с. : ил. - ). - 900 экз. - 0.95 р.
ГРНТИ
УДК
ББК Е991.013

Кл.слова (ненормированные):
ОРГАНИЗАЦИЯ МОЗГА -- НЕЙРОКИБЕРНЕТИКА -- ЗРИТЕЛЬНЫЕ АНАЛИЗАТОРЫ -- ЭЭГ -- ЭВРИСТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- НЕЙРОННЫЕ СЕТИ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- НЕРВНАЯ СИСТЕМА -- АЛГОРИТМЫ МОЗГА

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Коган, А. Б. \ред.\; Ростовский государственный университетРостовский-на-Дону государственный университет; Всесоюзная конференция по нейрокибернетике(III ; 7-12 сентября 1967 года ; Ростов)
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
20.
   З973
   Л 69
З97 / Л 69-ИБФ-КФ


   
    Логика и компьютер: Моделирование рассуждений и проверка правильности программ [Текст] : монография / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др ; АН СССР. - М. : Наука, 1990. - 239 с. : рис. - (Кибернетика - неограниченные возможности и возможные ограничения). - Библиогр.: с. 231 - 235 (52 назв.). - ISBN 5-02-007156-0 : 0.65 р.
    Содержание:
Классическая первопорядковая логика
Логика в программировании
О доказательствах правильности программ
Поиск доказательств
Приложение логики к проблемам искусственного интеллекта
ГРНТИ
ББК З973.205
Рубрики:
Программирование--Логика--Экспертные системы--Искусственный интеллект
Аннотация: Логика является одним из важнейших источников информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной технологией, в особенности для тех, кто изучает и преподает информатику


Доп.точки доступа:
Алешина, Наталья Альбертовна; Анисов, Александр Михайлович; Быстров, Петр Иванович; Герасимова, И. А.; Меськов, В. С.; Непейвода, Н. Н.; Смирнов, В. А.; Стеблецова, В. Н.; Шалак, В. И.; Академия Наук СССР (М.)
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие
 1-20    21-38 
 

Другие библиотеки

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)