Бирюков, Б. В. У истоков отечественных исследований по поиску логического вывода : о двух симпозиумах 60-х годов ХХ века, состоявшихся в г. Тракае (Литовская ССР) / Б. В. Бирюков // Вопросы философии. - 2006. - N 12. - С. . 99-119. - Библиогр. в сносках. - 0; Первый тракайский симпозиум. - 0; Проблема поиска вывода исчислении предикатов. - 0; Второй тракайский симпозиум. - 0; Научно-технический контекст 60-х годов и последующее развитие проблемы "Искусственный интеллект" Рубрики: Философия--Философские вопросы и методология отдельных наук Радиоэлектроника--Искусственный интеллект. Экспертные системы--Кибернетика, 20 в. 60-е гг. Кл.слова (ненормированные): симпозиумы -- всесоюзные симпозиумы -- тракайские симпозиумы -- логика -- логические выводы -- алгебро-логические исследования -- философия математики -- математика (философия) -- предикаты -- машинный поиск (кибернетика) -- математическая логика |
Шрамко, Ярослав Шрамко (доктор философских наук). Ошибка Георга Кантора? / Я. Шрамко // Вопросы философии. - 2001. - N 9. - С. . 154-156. - Библиогр. в примеч., с. 156 (7 назв). Рубрики: Философия--Философия науки и техники Кл.слова (ненормированные): логика -- математическая логика -- философия математики |
Бирюков, Борис Владимирович (д-р филос. наук). С. А. Яновская - мыслитель, исследователь, педагог / Б. В. Бирюков, О. А. Борисова // Вопросы философии. - 2004. - N 5. - С. . 133-142. - Библиогр. в примеч. - 0; Яновская - мыслитель, исследователь, педагог Рубрики: Философия--История философии, 20 в. Россия Кл.слова (ненормированные): математическая логика -- философия математики -- философы Доп.точки доступа: Борисова, Оксана Александровна |
Бирюков, Б. В. Из истории становления логико-математического конструктивизма / Б. В. Бирюков, З. А. Кузичева // Вопросы философии. - 2004. - N 12. - С. . 89-102. - Библиогр.: с. 101-102 (48 назв.). - Примеч.: с. 100-101 Рубрики: Философия--Философские вопросы и методология отдельных наук, 19 в. 2-я пол.-20 в. нач. Кл.слова (ненормированные): логико-математический конструктивизм -- математика -- математическая логика -- философия математики Доп.точки доступа: Кузичева, З. А. |
Оныкий, Б. Н. Памяти Г. Н. Поварова / Б. Н. Оныкий [и др. ] // Вопросы философии. - 2005. - N 5. - С. . 190 Рубрики: Философия--История философии, 20 в.-21 в. нач. СССР Россия Кл.слова (ненормированные): философы -- некрологи -- кибернетика -- математическая логика Доп.точки доступа: Лекторский, В. А.; Синицын, С. В.; Садовский, В. Н.; Пахомов, Б. Я.; Бирюкова, Б. В.; Уемов, А. И.; Панферов, В. В.; Любинская, Л. Н.; Крюков, И. Б.; Старостина, Л. Н. |
Монастырский, М. И. [Рецензия] / М. И. Монастырский // Вопросы истории естествознания и техники. - 2003. - N 2. - С. . 200-204. - 0; Development of Mathematics, 1950-2000. - Рец. на кн.: Development of Mathematics, 1950-2000 / Ed. Jean-Paul Pier. Basel-Boston-Berlin: Birkhauser, 2000. 1372 р. Рубрики: Наука. Науковедение--История науки, 20 в. Математика--История математики Люксембург Кл.слова (ненормированные): алгебра -- анализ -- история математики -- логика -- математика -- математики -- математическая логика -- математические школы -- математический анализ -- рецензии -- теория вероятностей -- теория функций -- топология -- ученые -- функции -- школы |
Бажанов, В. А. Жизнь и научная деятельность пионера исследований в области математической логики в России П. С. Порецкого / В. А. Бажанов // Вопросы истории естествознания и техники. - 2005. - N 4. - С. . 64-73 Рубрики: Естественные науки--История естественных наук Математика--История математики Кл.слова (ненормированные): математики -- логики -- биографии -- математическая логика |
Белоногов, Г. Г. [Рецензия] / Г. Г. Белоногов // Вопросы философии. - 2007. - N 4. - С. . 183-185. - Рец. на кн.: Пирс Ч. С. Рассуждение и логика вещей : лекции для Кембриджских конференций 1898 года ; пер. с англ. / Ч. С. Пирс. М.: Изд. центр РГГУ, 2005. 371 с. Рубрики: Философия--Общие вопросы философии Кл.слова (ненормированные): философия математики -- рецензии -- семиотика -- логика -- математическая логика -- методология философии |
Егоров, В. (священник). Святая Троица как онтологический образ семьи : Разговор со школьниками о началах теологии семьи языком математической логики по работе о. Павла Флоренского "Столп и утверждение Истины" / В. Егоров // Школа. - 2003. - N 2. - С. . 40-44. - Библиогр.: С. 44 (26 назв.). - 0; Столп и утверждение Истины Рубрики: Образование. Педагогика--Теория и методика воспитания, 19-21 вв. Обнинск Россия Кл.слова (ненормированные): валеология -- воспитание -- математика -- математическая логика -- обучение -- онтология -- религиозное образование -- семейные отношения -- семьи -- теология -- философия -- школы |
Х 12 Хабибуллин, К. Я. Формирование общелогических умений учащихся / К. Я. Хабибуллин // Школьные технологии. - 2002. - N 1. - С. . 124-134 Рубрики: Педагогика--Теория и методика обучения, 20 в. Россия Кл.слова (ненормированные): внеклассная работа -- занимательная логика -- логика -- математическая логика -- межпредметная связь |
Левашова, Н. Математика и логика / Н. Левашова // Учитель. - 2006. - N 4. - С. . 60-61 Рубрики: Образование. Педагогика--Теория и методика обучения Кл.слова (ненормированные): изучение логики -- логика -- математика -- математическая логика -- обучение математике -- процесс обучения |
Шихалиев, Х. Ш. О некоторых приемах развития доказательных рассуждений учащихся начальных классов / Х. Ш. Шихалиев, Б. О. Омаров // Начальная школа. - 2007. - N 6. - С. . 98-101 Рубрики: Образование. Педагогика--Теория и методика обучения Кл.слова (ненормированные): дети -- школьники -- младшие школьники -- младший школьный возраст -- начальные классы -- начальное обучение -- обучение -- рассуждения (образование) -- доказательные рассуждения (образование) -- математическая логика -- утверждения (образование) -- упражнения (образование) -- уравнения (образование) Доп.точки доступа: Омаров, Б. О. |
Окулов, С. М. (д-р пед. наук, проф.). Информатика и математика: пример точки соприкосновения [Текст] / С. М. Окулов, А. В. Лялин // Информатика и образование. - 2008. - N 9. - С. 67-72. - Библиогр.: с 12 (5 назв. ) . - ISSN 0234-0453 Рубрики: Образование. Педагогика Методика преподавания учебных предметов Кл.слова (ненормированные): задачи -- задачи по информатике -- информатика -- информатика и математика -- математика -- математическая логика -- слияние наук Аннотация: В данной статье на примере изучения известной задачи о Ханойских башнях показан конкретный пример точки соприкосновения математики и информатики, в которой аппарат математической логики используется для получения не менее лаконичного, красивого и глубокого решения, чем рекурсивный вариант. В представленном конспекте занятия рассмотрены вопросы битовой арифметики (в том числе много задач на эту тему) и решение задачи о Ханойских башнях с применением битовой арифметики. Доп.точки доступа: Лялин, А. В. |
Левин, В. И. (д-р техн. наук, проф.; Пенз. гос. технол. акад.). Формирование культуры мышления [Текст] : логика и творчество / В. И. Левин // Alma mater: Вестник высшей школы. - 2008. - N 10. - С. 17-20. - Библиогр.: с. 20 (9 назв. ). - Библиогр. в сносках . - ISSN 0321-0383 Рубрики: Образование. Педагогика--Россия, 21 в. нач. Методика преподавания учебных предметов Логика Логические формы и законы Теория и методика обучения Общие вопросы логики Кл.слова (ненормированные): культура мышления -- мышление -- формирование культуры мышления -- логическое мышление -- математика -- низкая культура мышления -- обучение логике -- математическая логика Аннотация: Умение отстаивать свою точку зрения, быть услышанным, работая в коллективе, приведет к повышению конкурентоспособности и востребованности наших специалистов. Держатели документа: ГПНТБ России |
Хаханян, В. Х. Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой [Текст] / В. Х. Хаханян // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 92-105. - Библиогр. в примеч. . - ISSN 0201-7385 Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): теория множеств -- математическая логика -- интуиционистская логика -- интуиционизм -- интуиционистская математика Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств. |
Кузичева, З. А. Влияние теории релейно-контактных схем на развитие математической логики [Текст] / З. А. Кузичева // Вестник Московского университета. Сер. 7, Философия. - 2009. - N 1. - С. 53-62. - Библиогр. в примеч. . - ISSN 0201-7385 Рубрики: Логика Логические формы и законы Кл.слова (ненормированные): логика и техника -- логическая теория релейных систем -- технические устройства -- математическая логика -- релейно-контактные схемы -- алгебра логики Аннотация: Статья посвящена исследованию взаимного влияния процесса математизации логики и идей построения технических устройств, позволяющих решать задачи логики, а затем и применения логических средств решения задач упрощения технических устройств. |
Бирюков, Б. В. О вкладе В. И. Шестакова в создание логической теории релейных схем [Текст] / Б. В. Бирюков, О. А. Борисова, В. И. Левин // Вопросы философии. - 2009. - N 3. - С. 83-92. - Библиогр. в сносках . - ISSN 0042-8744 Рубрики: Философия Философия науки Кл.слова (ненормированные): логические теории -- математическая логика -- теория релейных схем -- кибернетика -- ученые-кибернетики Аннотация: Прослежена история создания В И. Шестаковым логической теории релейных схем, подтверждено, что именно он был первооткрывателем этой теории. Доп.точки доступа: Борисова, О. А.; Левин, В. И.; Шестаков, Виктор Иванович (кибернетик ; 1907-1987) \в. И.\ |
Разумов, В. И. (д-р филос. наук, профессор). Специфика объекта и метода социальной теории [Текст] / В. И. Разумов, В. П. Сизиков // Личность. Культура. Общество. - 2008. - Т. 10, вып. 3/4 (42/43). - С. 107-117 : 2 фот., 3 рис. - Библиогр.: с. 117 (16 назв. ) . - ISSN 1606-951X Рубрики: Социальная философия Методология социальной философии Кл.слова (ненормированные): общество -- происхождение общества -- человек -- мироздание -- социальные теории -- объекты социальной теории -- междисциплинарный подход -- философская логика -- математическая логика -- физическая логика -- мировоззренческие триады -- категориальные схемы -- метод Восхождения Аннотация: Опыт применения методов, используемых в междисциплинарных исследованиях, к изучению общества. Формирование социальной теории с использованием логических систем трех типов: философской, физической, математической. Возможности трех категориальных схем в разработке основ социальной теории. Доп.точки доступа: Сизиков, В. П. (канд. техн. наук, доц. каф. высшей математики Омского гос. ун-та путей сообщения) |
Дергачева, Л. М. (канд. пед. наук, доцент кафедры информатики и прикладной математики МГПУ). Основы математической логики [Текст] / Л. М. Дергачева, О. Ю. Заславская, И. В. Левченко // Информатика в школе. - 2010. - N 2. - С. 37-52. - Библиогр.: с. 92-94 Рубрики: Образование. Педагогика Методика преподавания учебных предметов Кл.слова (ненормированные): информатика -- ЕГЭ -- единый государственный экзамен -- экзамены -- выпускные экзамены -- задачи -- подготовка к ЕГЭ -- математическая логика -- логика Аннотация: Подборка задач по теме "Основы математической логики" для подготовки старшеклассников к сдаче ЕГЭ по информатике. Представлены материалы для выполнения на уроке, домашние задания и задания для самостоятельных работ. Доп.точки доступа: Заславская, О. Ю. (доктор пед. наук, профессор кафедры информатизации образования); Левченко, И. В. (доктор пед. наук, профессор кафедры информатики и прикладной математики) |
Мирзоев, М. С. (кандидат педагогических наук, доцент кафедры математической физики Московского педагогического государственного университета). Умение видеть красоту математики при решении задач как показатель математической культуры будущего учителя информатики [Текст] / М. С. Мирзоев // Наука и школа. - 2010. - N 2. - С. 51-55 : 2 таб., 2 схемы, 5 рис. - Библиогр.: с. 55 (5 назв. ) . - ISSN 1819-463Х Рубрики: Образование. Педагогика Педагогическое образование Кл.слова (ненормированные): дискретная математика -- математика -- математическая культура -- математическая логика -- теория алгоритмов -- учителя информатики -- эстетическое развитие Аннотация: В статье рассматривается возможность формирования математической культуры будущего учителя информатики через эстетическое и творческое развитие личности на примере блока дискретных математических дисциплин. |