Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=аксиоматические системы<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

А
Г 161

    Галкин, Дмитрий Владимирович.
    От кибернетических автоматов к искусственной жизни: теоретические и историко-культурные аспекты формирования цифровой культуры [Текст] : автореферат диссертации на соискание ученой степени доктора философский наук. 24.00.01 / Д. В. Галкин ; науч. рук. В. А. Суровцев ; Национальный исследовательский Томский государственный университет (Томск), кафедра истории философии и логики. - Томск, 2013. - 51 с. - Библиогр.: с. 48-51

    Коды, Ключ.слова, Доп.точки доступа
УДК
004:008(043.3)
~РУБ А

Кл.слова (ненормированные):
АВТОРЕФЕРАТЫ -- ИНФОРМАТИЗАЦИЯ -- ЦИФРОВЫЕ ТЕХНОЛОГИИ -- ИСТОРИЯ КУЛЬТУРЫ -- ФУКО ЭФФЕКТ -- СРАВНИТЕЛЬНЫЙ АНАЛИЗ -- АКСИОМАТИЧЕСКИЕ СИСТЕМЫ
Доп.точки доступа:
Суровцев, Валерий Александрович \науч. рук.\
Национальный исследовательский Томский государственный университет (Томск). кафедра истории философии и логики

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

51
Л 694


    Логический подход к искусственному интеллекту : От классической логики к логическому программированию: Пер. с фр. / А. Тейз [и др.] ; пер. П. П. Пермяков, ред. пер. Г. П. Гаврилов. - М. : Мир, 1990. - 429[3] с. : ил. - Библиогр.: с. 411-417. -Предм. указ.: с. 418-423. - Пер. изд. : Approche logique de l`intelligence artificielle. - ISBN 5-03-001636-8 (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
004.8
~РУБ 51

Кл.слова (ненормированные):
искусственный интеллект -- математическая логика -- логическое программирование -- аксиоматические системы -- представление знаний -- формальные грамматики
Доп.точки доступа:
Грибомон, Паскаль
Луи, Жорж
Снийерс, Д.
Водон, П.
Гоше, П.
Грегуар, Э.
Тейз, Андре
Дельсарт, Ф.
Пермяков, П. П. \пер.\
Гаврилов, Гарий Петрович \ред. пер.\

Имеются экземпляры в отделах: аунл (3 экз.), счз1 (1 экз.)
Свободны: аунл (3), счз1 (1)
Постоянная гиперссылка

16
Г 657

    Гончаров, Сергей Савостьянович.
    Введение в логику и методологию науки : Учебное пособие / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - М. : ИНТЕРПРАКС, 1994 ; Новосибирск : Институт математики СО РАН, 1994. - 255[1] с. : ил. - (Программа "Обновление гуманитарного образования в России"). - Библиогр.: с. 239-241. - Имен. указ.: с. 242-243. - Предм. указ.: с. 244-249. - ISBN 5-86134-009-9 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
167/168(075.8)
~РУБ 16

Кл.слова (ненормированные):
логика -- наука -- аксиоматические системы -- эмпирические теории -- индукция -- измерения -- математика
Доп.точки доступа:
Ершов, Юрий Леонидович
Самохвалов, Климентий Федорович

Имеются экземпляры в отделах: аунл (1 экз.), кабинет ОН (1 экз.)
Свободны: аунл (1), кон (1)
Постоянная гиперссылка

Статистика за 02.07.2024
Число запросов	27134
Число заказов	0

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