Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

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

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

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

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

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

Ревич, Юрий.
В поисках искусственного разума [Текст] / Ю. Ревич // Домашний компьютер. - 2006. - N 5. - С. . 16-21. - 0; Универсальный решатель задач. - 0; Тест Тьюринга. - 0; Машина Тьюринга. - 0; Болталки. - s, 2006, , rus. - RUMARS-dkmp06_000_005_0016_1. - ГУК Архангельская областная научная ордена Знак Почета библиотека им. Н. А. Добролюбова. - Ил.: фот., рис. - N 5. - С. 16-21. - dkmp06_000_005_0016_1, 5, 16-21

ГРНТИ	27. 47. 23
УДК	^a004.8

ББК 32.813
Рубрики: Радиоэлектроника--Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
искусственный интеллект -- мышление -- математики -- машинный разум -- искусственный мозг -- искусственный разум -- вычислимость -- невычислимость -- компьютерные собеседники -- компьютерные программы -- Elisa -- ChatMaster -- электронно-вычислительные машины -- ЭВМ -- тестирование ЭВМ -- тест Тьюринга -- Тьюринга тест -- машина Тьюринга -- Тьюринга машина
Аннотация: Под искусственным интеллектом в настоящее время понимают по крайней мере два разных направления. Одно из них - воспроизведение в технических устройствах некоторых функций, присущих человеческому мозгу, и в отдельных случаях (шахматные игры, распознавание зрительных образов, робототехника) успехи несомненны. Однако публику, благодаря усилиям поколений писателей-фантастов, больше интересует такой аспект проблемы, как моделирование человеческого мозга, построение искусственного "разума". И вот здесь ситуация гораздо печальнее: за полвека интенсивной работы почти ничего так и не сдвинулось с мертвой точки.

Доп.точки доступа:
Буль, Джордж (английский математик и логик ; 1815-1864) \д.\; Шеннон, Клод Элвуд (американский инженер и математик, автор теории информации) \к. Э.\; Луллий, Раймунд (астролог, алхимик и арабист ; 1232-1315) \р.\; Тьюринг, Алан Матисон (английский математик ; 1912-1954) \а. М.\
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Целищев, В. В.
Вычислимость и доказательство [Текст] / В. В. Целищев // Философия науки. - 2006. - N 2. - С. . 32-51. - Библиогр.: с. 51 (7 назв. ). - s, 2006, , rus. - RUMARS-phna06_000_002_0032_1. - Зональная научная библиотека Ростовского государственного университета. - N 2(29). - С. 32-51. - phna06_000_002_0032_1, 2, 32-51

УДК

^a16

ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
вычисления (логика) -- дедуктивные выводы -- доказательства (логика) -- логические операции
Аннотация: В статье рассмотрены некоторые спорные вопросы соотношения вычислимости и доказательства.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Самохвалов, К. Ф.
Обзор аргументов против тезиса Черча [Текст] / К. Ф. Самохвалов // Философия науки. - 2006. - N 4. - С. . 62-85. - Библиогр.: с. 83-85 (18 назв. ). - s, 2006, , rus. - RUMARS-phna06_000_004_0062_1. - Зональная научная библиотека Южного федерального университета. - N 4(31). - С. 62-85. - phna06_000_004_0062_1, 4, 62-85

УДК

^a510.6

^a16

ББК 87.4 + 22.12
Рубрики: Логика--Общие вопросы логики
Математика--Математическая логика
Кл.слова (ненормированные):
алгоритмы (понятие) -- вычислимость (понятие) -- вычислимые функции -- Тезис Черча -- функциональное представление -- Черча Тезис
Аннотация: Цель статьи - привнести некоторую дополнительную информацию в дебаты по вопросу эпистемологического статуса Тезиса Черча.

Доп.точки доступа:
Черч, Алонзо (американский логик и математик) \а.\
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Бессонов, А. В.
Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488

УДК

^a510.6

^a16

ББК 22.12 + 87.4
Рубрики: Логика
   Математика
   Математическая логика
   Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.

Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, А. (американский логик и математик)

Найти похожие

Целищев, В. В.
Представление знания как проблема эпистемологии теоретических конструкций [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2010. - N 4. - С. 33-67. - Библиогр.: с. 67 (17 назв. ) . - ISSN 1560-7488

УДК

^a165

ББК 87.22
Рубрики: Философия
Теория познания
Кл.слова (ненормированные):
знание (философия) -- эпистемология -- логика -- функция -- вычислимость
Аннотация: В данной работе рассматриваются проблемы представления знания в дедуктивных структурах.

Доп.точки доступа:
Хлебалин, А. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

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