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

Базы данных


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

Вид поиска

Область поиска
 Найдено в других БД:Генеральный каталог (5)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математическая логика<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
22.18
Д 57


    Добрынин, Сергей.
    Железная логика: математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем [Текст] / С. Добрынин // Вокруг света. - 2012. - № 4. - С. 104-110 : ил.
ГРНТИ
ББК 22.18

Рубрики: Математика--математическое доказательство--компьютер

Кл.слова (ненормированные):
математическое доказательство -- использование компьютера -- математическая теорема -- теорема о четырех красках -- судоку -- задача об упаковке шаров -- гипотеза Кеплера -- математическая логика -- теорема Гёделя о неполноте

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

2.
74.262.21
Х 95


    Хрулева, В.
    Развитие логического мышления младших школьников на уроках математики и во внеурочной деятельности [Текст] / В. Хрулева // Учитель. - 2016. - № 4 (окт.-дек.). - С. 89-91
ГРНТИ
ББК 74.262.21

Рубрики: Математика--Методика преподавания--мышление логическое--развитие

Кл.слова (ненормированные):
УРОКИ МАТЕМАТИКИ -- МАТЕМАТИЧЕСКОЕ ОБРАЗОВАНИЕ -- смекалка -- математическая логика -- развитие мышления

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

3.
22.1
Ф 36


    Феклушин, Виктор.
    Счёт и число [Текст] / В. Феклушин // Детская энциклопедия. - 2024. - № 2. - С. 1-56 : ил.
ГРНТИ
ББК 22.1

Рубрики: Математика--занимательная--для детей

Кл.слова (ненормированные):
история математики -- счет -- алгебра -- занимательная математика -- числа -- цифры -- русские меры длины -- устный счет -- великие математики -- занимательные задачи -- математическая логика

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

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