Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=доказательства (логика)<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Эпистемические критерии доказательства
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2006. - N 4. - С. 20-44 (Шифр phna/2006/4)
Примечания : Библиогр.: с. 43-44 (22 назв. ). - s, 2006, , rusRUMARS-phna06_000_004_0020_1Зональная научная библиотека Южного федерального университетаN 4(31). - С. 20-44phna06_000_004_0020_1, 4, 20-44
ISSN: 1560-7488
УДК : 16 + 001
ББК : 72 + 87.4
Предметные рубрики: Наука. Науковедение-- Общие вопросы науки
Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): априоризм--априорные знания--доказательства (логика)--компьютерные доказательства--математические доказательства--эмпирические знания--эпистемология
Аннотация: В данной статье излагается авторская интерпретация методологии научно-исследовательских программ и критерии роста научного знания.
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Вычислимость и доказательство
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2006. - N 2. - С. 32-51 (Шифр phna/2006/2)
Примечания : Библиогр.: с. 51 (7 назв. ). - s, 2006, , rusRUMARS-phna06_000_002_0032_1Зональная научная библиотека Ростовского государственного университетаN 2(29). - С. 32-51phna06_000_002_0032_1, 2, 32-51
ISSN: 1560-7488
УДК : 16
ББК : 87.4
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): вычисления (логика)--дедуктивные выводы--доказательства (логика)--логические операции
Аннотация: В статье рассмотрены некоторые спорные вопросы соотношения вычислимости и доказательства.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)