Бирюков, Б. В. У истоков отечественных исследований по поиску логического вывода [Текст] : о двух симпозиумах 60-х годов ХХ века, состоявшихся в г. Тракае (Литовская ССР) / Б. В. Бирюков> // Вопросы философии. - 2006. - N 12. - С. . 99-119. - Библиогр. в сносках. - 0; Первый тракайский симпозиум. - 0; Проблема поиска вывода исчислении предикатов. - 0; Второй тракайский симпозиум. - 0; Научно-технический контекст 60-х годов и последующее развитие проблемы "Искусственный интеллект". - s, 2006, , rus. - RUMARS-voph06_000_012_0099_1. - Зональная научная библиотека им. В. А. Артисевич Саратовского государственного университета. - Заглавия симпозиумов не указаны. - N 12. - С. 99-119. - voph06_000_012_0099_1, 12, 99-119
Рубрики: Философия--Философские вопросы и методология отдельных наук Радиоэлектроника--Искусственный интеллект. Экспертные системы--Кибернетика, 20 в. 60-е гг. Кл.слова (ненормированные): симпозиумы -- всесоюзные симпозиумы -- тракайские симпозиумы -- логика -- логические выводы -- алгебро-логические исследования -- философия математики -- математика (философия) -- предикаты -- машинный поиск (кибернетика) -- математическая логика Аннотация: Тракайские симпозиумы не получили должного отражения в литературе. Настоящая публикация и служит восполнению этого пробела в историографии отечественной логики. Доп.точки доступа: Шанин \н. А.\; Яновская \с. А.\; Тракайский симпозиум; Тракайский симпозиум Нет сведений об экземплярах (Источник в БД не найден) |
О неделимых линиях [Текст] / публ. подгот. М. В. Зубова, А. М. Шишков ; пер. с древнегр. В. П. Зубова> // Вопросы философии. - 2008. - N 3. - С. 165-171 . - ISSN 0042-8744
Рубрики: Философия Всемирная история философии Кл.слова (ненормированные): античная философия -- философские трактаты -- математика (философия) Аннотация: Публикация философского трактата "О неделимых линиях", ошибочно приписываемого Аристотелю. Перевод трактата выполнен выдающимся отечественным историком естественнонаучной мысли В. П. Зубовым. Доп.точки доступа: Зубов, В. П. \.\; Зубова, М. В. \.\; Шишков, А. М. \.\; Аристотель; Зубов, В. П. (1900-1963) |
Михайлова, Н. В. Системная триада философско-методологических программ обоснования математики [Текст] / Н. В. Михайлова,> // Философия науки. - 2009. - N 1. - С. 104-117. - Библиогр.: с. 116-117 (10 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Кл.слова (ненормированные): математика (философия) -- доказательство (философия) -- системный подход -- обоснование математики (философия) Аннотация: Системное обоснование математики. |
Осминская, Н. А. Математика и метафизика в "Диссертации о комбинаторном искусстве" Г. В. Лейбница [Текст] / Н. А. Осминская> // Вопросы философии. - 2011. - N 2. - С. 151-158. - Библиогр.: с. 157-158. - Примеч.: с. 158 . - ISSN 0042-8744
Рубрики: Философия Всемирная история философии, 17 в. Кл.слова (ненормированные): философы -- немецкие философы -- комбинаторика -- метафизика -- логика -- математика (философия) -- философия математики -- диссертации -- история философии Аннотация: Статья предваряет публикацию одной из главных работ Г. В. Лейбница "Диссертация о комбинаторном искусстве". Автор перевода рассматривает это сочинение в связи с проектами всеобщей науки, а также анализирует основные темы "Диссертации" в контексте собственных метафизических и логических исследований Г. В. Лейбница. Доп.точки доступа: Лейбниц, Г. В. (немецкий философ и математик ; 1646-1716) Нет сведений об экземплярах (Источник в БД не найден) |