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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Кузичева, З. А.$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Бирюков, Б. В.

    Из истории становления логико-математического конструктивизма [Текст] / Б. В. Бирюков, З. А. Кузичева // Вопросы философии. - 2004. - N 12. - С. . 89-102. - Библиогр.: с. 101-102 (48 назв. ). - s, 2004, , rus. - RUMARS-voph04_000_012_0089_1. - Зональная научная библиотека им. В. А. Артисевич Саратовского государственного университета. - Примеч.: с. 100-101. - N 12. - С. 89-102. - voph04_000_012_0089_1, 12, 89-102
УДК
ББК 87.252
Рубрики: Философия--Философские вопросы и методология отдельных наук, 19 в. 2-я пол.-20 в. нач.
Кл.слова (ненормированные):
математика -- логико-математический конструктивизм -- математическая логика -- философия математики
Аннотация: Обзор интуиционистских и конструктивистских концепций, сложившихся во второй половине 19 и начала 20 в.


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

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

2.


    Кузичева, З. А.
    Влияние теории релейно-контактных схем на развитие математической логики [Текст] / З. А. Кузичева // Вестник Московского университета. Сер. 7, Философия . - 2009. - N 1. - С. 53-62. - Библиогр. в примеч. - Примеч.: с. 61-62 . - ISSN 0130-0091. - ISSN 0201-7385
УДК
ББК 87.42
Рубрики: Логика
   Логические формы и законы

Кл.слова (ненормированные):
логика и техника -- логическая теория релейных систем -- технические устройства -- математическая логика -- релейно-контактные схемы -- алгебра логики
Аннотация: Статья посвящена исследованию взаимного влияния процесса математизации логики и идей построения технических устройств, позволяющих решать задачи логики, а затем и применения логических средств решения задач упрощения технических устройств.


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

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