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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

Диссертации

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>K=вычислимые функции<.>)

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

Самохвалов, К. Ф.
Обзор аргументов против тезиса Черча [Текст] / К. Ф. Самохвалов // Философия науки. - 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
Рубрики: Логика--Общие вопросы логики
Математика--Математическая логика
Кл.слова (ненормированные):
алгоритмы (понятие) -- вычислимость (понятие) -- вычислимые функции -- Тезис Черча -- функциональное представление -- Черча Тезис
Аннотация: Цель статьи - привнести некоторую дополнительную информацию в дебаты по вопросу эпистемологического статуса Тезиса Черча.

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

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

Головко, Н. В.
К вопросу о построении эффективного вычислимого представления для простого абдуктивного вывода [Текст] / Н. В. Головко // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 129-133 (17 назв. ). - s, 2006, , rus. - RUMARS-phna06_000_004_0115_1. - Зональная научная библиотека Южного федерального университета. - N 4(31). - С. 115-133. - phna06_000_004_0115_1, 4, 115-133

УДК

^a16

^a1

ББК 87 + 87.4
Рубрики: Философия--Общие вопросы философии
Логика--Общие вопросы логики
Кл.слова (ненормированные):
абдуктивные выводы -- вычислимые функции -- дедукция (логика) -- индукция (логика) -- искусственный интеллект -- методы семантических таблиц -- способы познания -- эмпирические исследования -- язык логического программирования
Аннотация: О возможности построения эффективно вычислимого представления для простого абдуктивного вывода с использованием семантических таблиц Бета - Хинтикка.

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

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

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

УДК

^a510.6

^a16

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

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

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

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

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