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

Базы данных


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

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


    Черепанов, Е. М.
    Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488
УДК
^a16
^a510.6
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы
   Математика
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm
Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка.


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


    Ивахненко, Евгений Николаевич (доктор философских наук; профессор).
    О пользе рациональной простоты: как преподавать гуманитарные дисциплины в технических вузах? [Текст] = On the Benefits of Rational Simplicity: How to Teach Humanities in Technical Universities? / Ивахненко Евгений Николаевич, Кузнецова Наталия Ивановна // Высшее образование в России. - 2022. - № 4. - С. 92-99. - Библиогр.: с. 98 (9 назв.). - Библиогр. в сносках . - ISSN 2071-3762
УДК
^a378
ББК 74.58
Рубрики: Образование. Педагогика
   Высшее профессиональное образование
Кл.слова (ненормированные):
гуманитарные дисциплины -- технические вузы -- дискуссии -- гуманитарные науки -- метафора метемпсихоза -- вузы -- высшие учебные заведения -- рекурсивная преемственность -- дискурсивные практики
Аннотация: Представлена дискуссия о преподавании гуманитарных дисциплин в технических вузах.


Доп.точки доступа:
Кузнецова, Наталия Ивановна (доктор философских наук; главный научный сотрудник)

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