Теория поиска вывода. Происхождение и философские приложения монография

Теория поиска вывода. Происхождение и философские приложения монография

Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по...

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Брюшинкин, В. Н. (070)
Formáid:	Книга
Ábhair:	Теория поиска поиск вывода философия логика искусственный интеллект
Rochtain ar líne:	Перейти к просмотру издания
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Теория поиска вывода. Происхождение и философские приложения монография
de réir: Брюшинкин В. Н.
Foilsithe / Cruthaithe: (2012)

Современные информационные технологии систем поддержки принятия решений
de réir: Баин А. М.

Стратегия и аппаратура поиска источников оптического излучения учебник
de réir: Румянцев, К. Е.

Теория логического вывода
de réir: Ганичева А. В.
Foilsithe / Cruthaithe: (2021)

Структурные элементы данных: алгоритмы поиска и сортировки учебное пособие для спо
de réir: Самуйлов, С. В.

Теория логического вывода учебное пособие для вузов
de réir: Ганичева А. В.
Foilsithe / Cruthaithe: (2024)

Система формирования знаний в среде Интернет монография

История и философия науки. Философские проблемы информатики. История информатики учебно-методический комплекс по дисциплине
de réir: Богданов, В. В.

Периферийные устройства информационных систем. Методы организации и принципы построения устройств ввода-вывода графической информации учебное пособие
de réir: Овчеренко, В. А.

Создание игровой логики. Практикум учебное пособие для спо
de réir: Капанов А. А.
Foilsithe / Cruthaithe: (2023)

Создание игровой логики. Практикум учебное пособие для вузов
de réir: Капанов А. А.
Foilsithe / Cruthaithe: (2023)

Основы методов искусственного интеллекта учебно-методическое пособие
de réir: Пиляй, А. И.

Искусственный интеллект и нейросетевое управление учебное пособие

Проблема сознания
de réir: Жуков Н. И.

Искусственный интеллект
de réir: Эндрю А., et al.

Введение в робототехнику
de réir: Накано Э., et al.

Введение в теорию искусственного интеллекта учебное пособие
de réir: Сысоев, Д. В.

Тезаурусы в задачах информационного поиска монография
de réir: Лукашевич, Н. В.

Нанотехнологии и молекулярные компьютеры
de réir: Рамбиди Н. Г.

Методы сортировки и поиска в информационных массивах методические указания к лабораторным работам по курсу «технологии программирования и структуры данных»
de réir: Домашнев, П. А.

Гуманитарные проблемы искусственного интеллекта и его применения
de réir: Гехт А. Б.
Foilsithe / Cruthaithe: (2024)

Инфокоммуникационные технологии в науке, производстве и образовании (Инфоком-5)

Инфокоммуникационные технологии в науке, производстве и образовании (Инфоком-5)

Инфокоммуникационные технологии в науке, производстве и образовании (Инфоком-5)

Инфокоммуникационные технологии в науке, производстве и образовании (Инфоком-3)

Инфокоммуникационные технологии в науке, производстве и образовании (Инфоком-3)

Инфокоммуникационные технологии в науке, производстве и образовании (Инфоком-3)

Информатика
de réir: Острейковский В. А.

Кибернетика. Дела практические
de réir: Макаров И. М., et al.

Философия компьютерной революции
de réir: Ракитов А. И.

Информатика
de réir: Острейковский В. А.

Алгоритмы поиска учебное пособие
de réir: Литвиненко, В. П.

Кибернетика: неограниченные возможности и возможные ограничения. Перспективы развития
de réir: Петров Б. Н., et al.

Информационная картина мира. Научно-философский и мировоззренческий аспекты учебное пособие для студентов, обучающихся по направлению подготовки: 51.03.06 «библиотечно-информационная деятельность», профилям: «информационно-аналитическая деятельность», «технология автоматизированных библиотечно-информационных систем», «библиотечно-педагогическое сопровождение школьного образования», квалификация (степень) выпускника «бакалавр»
de réir: Басалаева, О. Г.

Технология поиска работы учебное пособие
de réir: Прокопенко, А. В.

Компьютерные технологии в филологии практикум
de réir: Тимофеева, М. К.

Интернет как инструмент библиографического поиска
de réir: Галеева И. С.

Периферийные устройства информационных систем. Физические принципы организации и интерфейсы ввода-вывода учебное пособие
de réir: Овчеренко, В. А.

Экспертные системы
de réir: Попов Э. В.

Neural networks fundamentals in mobile robot control systems учебное пособие
de réir: Медведев, М. Ю.