Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


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

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
в найденном
 Найдено в других БД:Электронный каталог (82)
Поисковый запрос: (<.>K=математическая логика<.>)
Общее количество найденных документов : 35
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-35 
1.


   
    Рефлексируя проблему / В. Бажанов [и др. ] // Философские науки. - 2009. - № 4. - С. 74-86. - (Философский форум) (Российская логическая культура: особенности, состояние и перспективы) )
. - ISSN 0235-1188
УДК
^A16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
логическая культура общества -- математическая логика -- формальная логика -- формальное мышление -- формальное поведение
Аннотация: Обсуждение проблем, поставленных в рамках проекта "Российская логическая культура: особенности, состояние и перспективы".


Доп.точки доступа:
Бажанов, В. \.\; Тульчинский, Г. \.\; Брюшинкин, В. \.\; Федоров, Б. \.\; Кобзарь, В. \.\
Прямая ссылка
Найти похожие
2.


    Бирюков, Б. В.
    Мыслители, разделенные веками: Фреге и Бэкон / Б. В. Бирюков // Вестник Московского университета. Сер. 7, Философия. - 2000. - № 6. - С. 70-76
ББК 87.3(4/8)
Рубрики: Философия
   Философия зарубежных стран
Кл.слова (ненормированные):
истина (философия) -- логика -- математическая логика -- философы


Доп.точки доступа:
Фреге, Г.; Бэкон, Ф.
Прямая ссылка
Найти похожие
3.


    Шихалиев, Х. Ш.
    Каким должен быть школьный курс математики / Х. Ш. Шихалиев // Математика в школе. - 2003. - № 6. - С. 50. - (Подумаем вместе) )
. - ISSN 0130-3358
УДК
^A372.8
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов
Кл.слова (ненормированные):
математическая грамотность -- математическая логика -- общеобразовательные школы -- теория множеств -- урок математики -- школьное образование -- школьный курс
Аннотация: Размышления по поводу углубления школьного курса математики введением в систему школьного образования курсов "Теория множеств" и "Математическая логика". О повышении математической грамотности выпускников общеобразовательных школ.

Прямая ссылка
Найти похожие
4.


    Мельников, О. И.
    Графы в обучении математике / О. И. Мельников // Математика в школе. - 2003. - № 8. - С. 67-72. - (Внеклассная работа) ) . - Библиогр.: 10 назв.
. - ISSN 0130-3358
УДК
^A372.8
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов
Кл.слова (ненормированные):
алгебра -- внеклассная работа -- графовые модели -- графы -- логические задачи -- математическая логика -- младшие классы -- теория графов -- урок математики -- факультативные занятия -- функции
Аннотация: Об использовании графов в качестве вспомогательного средства, позволяющего облегчить процесс обучения математике и подготовить учеников младших классов к восприятию сложных тем в старших. Конечное число точек, изображенных на плоскости, некоторые пары которых соединены линиями, называется графом.

Прямая ссылка
Найти похожие
5.


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


Доп.точки доступа:
Кузичева, З. А.
Прямая ссылка
Найти похожие
6.


    Кузичева, З. А.
    Московскому государственному университету 250 лет / З. А. Кузичева, Н. А. Курдюмова // Математика в школе. - 2005. - № 1. - С. 2-6
. - ISSN 0130-9358
УДК
^A378
^A51(09)
^A37.015
ББК 74.03
Рубрики: Образование. Педагогика
   История образования, 18 в.
   Математика
   История математики
   Образование. Педагогика
   Высшее профессиональное образование
Кл.слова (ненормированные):
геометрия -- история высшего образования -- математика -- математическая логика -- математическое общество -- методика преподавания математики -- механико-математический факультет -- мехмат -- научная работа -- научные центры -- теория функций -- теория чисел -- тригонометрия -- университеты -- ученые-математики
Аннотация: О юбилее Московского государственного университета и истории деятельности механико-математематического факультета.


Доп.точки доступа:
Курдюмова, н. А.; Ломоносов, М. В.; Шувалов, И. И.; Сперанский, М. М.; Брашман, Н. Д.; Чебышев, П. Л.; Давидов, А. Л.; Млодзеевский, Б. К.; Лузин, Н. Н.; Келдыш, М. В.; Александров, П. А.; Колмогоров, А. Н.; Лаврентьев, М. А.; Московский государственный Университет
Прямая ссылка
Найти похожие
7.


    Тимофеева, И. Л.
    Размышления об обратных теоремах и кванторах / И. Л. Тимофеева // Математика в школе. - 2005. - № 5. - С. 64-68. - (Научно-популярный отдел) ) . - Библиогр.: с. 68 (4 назв. )
. - ISSN 0130-9358
УДК
^A371.3
^A510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
   Образование. Педагогика
   Теория и методика обучения
Кл.слова (ненормированные):
импликации -- кванторы -- логические средства -- математика -- математическая логика -- методы построения обратных утверждений -- обратные теоремы -- обратные утверждения -- построения доказательств -- прямые теоремы -- теоремы -- эвристические средства
Аннотация: Приводятся способы доказательства обратных теорем и примеры использования кванторов в обучении математике.

Прямая ссылка
Найти похожие
8.


    Оныкий, Б. Н.
    Памяти Г. Н. Поварова / Б. Н. Оныкий [и др. ] // Вопросы философии. - 2005. - № 5. - С. 190
. - ISSN 0042-8744
УДК
^A1(091)
ББК 87.3
Рубрики: Философия
   История философии, 20 в.
Кл.слова (ненормированные):
кибернетика -- математическая логика -- некрологи -- философы
Аннотация: Памяти профессора кафедры кибернетики МИФИ, академика МАИ, автора статей в журнале "Вопросы философии" и "Новой философской энциклопедии".


Доп.точки доступа:
Лекторский, В. А.; Синицын, С. В.; Садовский, В. Н.; Пахомов, Б. Я.; Бирюкова, Б. В.; Уемов, А. И.; Панферов, В. В.; Любинская, Л. Н.; Крюков, И. Б.; Старостина, Л. Н.; Поваров, Г. Н. (проф., академик)
Прямая ссылка
Найти похожие
9.


    Мордовина, Е. Е.
    К вопросу реализации логической составляющей образовательной области "Математика" / Е. Е. Мордовина // Математика в школе. - 2005. - № 9. - С. 56-59. - (Методический семинар) )
. - ISSN 0130-9358
УДК
^A372.8
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов
Кл.слова (ненормированные):
9 класс -- математическая логика -- математические понятия -- математические символы -- математический язык -- уроки математики -- школьный курс
Аннотация: Рассматриваются некоторые задачи, дающие представление о содержании элективного курса математики, посвященного языку и логике математических рассуждений в основной школе и при предпрофильном обучении в 9 классе.

Прямая ссылка
Найти похожие
10.


    Рыжик, В. И.
    Правильно или верно? / В. И. Рыжик // Математика в школе. - 2005. - № 10. - С. 75-77. - (Обратная связь) ) . - Библиогр.: с. 77 (5 назв. )
. - ISSN 0130-9358
УДК
^A372.8
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов
Кл.слова (ненормированные):
математическая логика -- математическая символика -- преподавание математики -- школьный курс
Аннотация: Несколько замечаний по поводу статей И. Л. Тимофеевой, посвященным связям логики и математических утверждений, опубликованных в журнале N 7 "Математика в школе" за 2005 год.


Доп.точки доступа:
Тимофеева, И. Л.
Прямая ссылка
Найти похожие
 1-10    11-20   21-30   31-35 
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)