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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

Диссертации

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

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

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

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

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

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

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

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

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

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

Целищев, В. В.
Вычислимость и доказательство [Текст] / В. В. Целищев // Философия науки. - 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. - С. . 20-44. - Библиогр.: с. 43-44 (22 назв. ). - s, 2006, , rus. - RUMARS-phna06_000_004_0020_1. - Зональная научная библиотека Южного федерального университета. - N 4(31). - С. 20-44. - phna06_000_004_0020_1, 4, 20-44

УДК

^a16

^a001

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

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

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

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

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