Библиотека АГГПУ

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Каталог книг

Труды преподавателей

Каталог периодических изданий

Каталог редких книг

Каталог статей

IPRbooks периодика

IPRbooks книги

Межвузовская электронная библиотека

ФЭРУ

Область поиска

Найдено в других БД:

Каталог книг (68)

Труды преподавателей (2)

IPRbooks книги (55)

Межвузовская электронная библиотека (4)

ФЭРУ (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=математическая логика<.>

Общее количество найденных документов : 29
Показаны документы с 1 по 29

Бирюков, Б. В.
У истоков отечественных исследований по поиску логического вывода : о двух симпозиумах 60-х годов ХХ века, состоявшихся в г. Тракае (Литовская ССР) / Б. В. Бирюков // Вопросы философии. - 2006. - N 12. - С. . 99-119. - Библиогр. в сносках. - 0; Первый тракайский симпозиум. - 0; Проблема поиска вывода исчислении предикатов. - 0; Второй тракайский симпозиум. - 0; Научно-технический контекст 60-х годов и последующее развитие проблемы "Искусственный интеллект"

ББК 87.252 + 32.813 + 32.81
Рубрики: Философия--Философские вопросы и методология отдельных наук
Радиоэлектроника--Искусственный интеллект. Экспертные системы--Кибернетика, 20 в. 60-е гг.
Кл.слова (ненормированные):
симпозиумы -- всесоюзные симпозиумы -- тракайские симпозиумы -- логика -- логические выводы -- алгебро-логические исследования -- философия математики -- математика (философия) -- предикаты -- машинный поиск (кибернетика) -- математическая логика

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

Шрамко, Ярослав Шрамко (доктор философских наук).
Ошибка Георга Кантора? / Я. Шрамко // Вопросы философии. - 2001. - N 9. - С. . 154-156. - Библиогр. в примеч., с. 156 (7 назв).
Рубрики: Философия--Философия науки и техники
Кл.слова (ненормированные):
логика -- математическая логика -- философия математики

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

Бирюков, Борис Владимирович (д-р филос. наук).
С. А. Яновская - мыслитель, исследователь, педагог / Б. В. Бирюков, О. А. Борисова // Вопросы философии. - 2004. - N 5. - С. . 133-142. - Библиогр. в примеч. - 0; Яновская - мыслитель, исследователь, педагог

ББК 87.3
Рубрики: Философия--История философии, 20 в.
Россия
Кл.слова (ненормированные):
математическая логика -- философия математики -- философы

Доп.точки доступа:
Борисова, Оксана Александровна
Найти похожие

Бирюков, Б. В.
Из истории становления логико-математического конструктивизма / Б. В. Бирюков, З. А. Кузичева // Вопросы философии. - 2004. - N 12. - С. . 89-102. - Библиогр.: с. 101-102 (48 назв.). - Примеч.: с. 100-101

ББК 87.252
Рубрики: Философия--Философские вопросы и методология отдельных наук, 19 в. 2-я пол.-20 в. нач.
Кл.слова (ненормированные):
логико-математический конструктивизм -- математика -- математическая логика -- философия математики

Доп.точки доступа:
Кузичева, З. А.
Найти похожие

Оныкий, Б. Н.
Памяти Г. Н. Поварова / Б. Н. Оныкий [и др. ] // Вопросы философии. - 2005. - N 5. - С. . 190

ББК 87.3
Рубрики: Философия--История философии, 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 р.

ББК 22.1г
Рубрики: Наука. Науковедение--История науки, 20 в.
Математика--История математики
Люксембург
Кл.слова (ненормированные):
алгебра -- анализ -- история математики -- логика -- математика -- математики -- математическая логика -- математические школы -- математический анализ -- рецензии -- теория вероятностей -- теория функций -- топология -- ученые -- функции -- школы

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

Бажанов, В. А.
Жизнь и научная деятельность пионера исследований в области математической логики в России П. С. Порецкого / В. А. Бажанов // Вопросы истории естествознания и техники. - 2005. - N 4. - С. . 64-73

ББК 20г
Рубрики: Естественные науки--История естественных наук
Математика--История математики
Кл.слова (ненормированные):
математики -- логики -- биографии -- математическая логика

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

Белоногов, Г. Г.
[Рецензия] / Г. Г. Белоногов // Вопросы философии. - 2007. - N 4. - С. . 183-185. - Рец. на кн.: Пирс Ч. С. Рассуждение и логика вещей : лекции для Кембриджских конференций 1898 года ; пер. с англ. / Ч. С. Пирс. М.: Изд. центр РГГУ, 2005. 371 с.

ББК 87
Рубрики: Философия--Общие вопросы философии
Кл.слова (ненормированные):
философия математики -- рецензии -- семиотика -- логика -- математическая логика -- методология философии

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

Егоров, В. (священник).
Святая Троица как онтологический образ семьи : Разговор со школьниками о началах теологии семьи языком математической логики по работе о. Павла Флоренского "Столп и утверждение Истины" / В. Егоров // Школа. - 2003. - N 2. - С. . 40-44. - Библиогр.: С. 44 (26 назв.). - 0; Столп и утверждение Истины

ББК 74
Рубрики: Образование. Педагогика--Теория и методика воспитания, 19-21 вв.
Обнинск
Россия
Кл.слова (ненормированные):
валеология -- воспитание -- математика -- математическая логика -- обучение -- онтология -- религиозное образование -- семейные отношения -- семьи -- теология -- философия -- школы

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

10.

Х 12

Хабибуллин, К. Я.
Формирование общелогических умений учащихся / К. Я. Хабибуллин // Школьные технологии. - 2002. - N 1. - С. . 124-134

ББК 74.2
Рубрики: Педагогика--Теория и методика обучения, 20 в.
Россия
Кл.слова (ненормированные):
внеклассная работа -- занимательная логика -- логика -- математическая логика -- межпредметная связь

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

11.

Левашова, Н.
Математика и логика / Н. Левашова // Учитель. - 2006. - N 4. - С. . 60-61

ББК 74.202
Рубрики: Образование. Педагогика--Теория и методика обучения
Кл.слова (ненормированные):
изучение логики -- логика -- математика -- математическая логика -- обучение математике -- процесс обучения

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

12.

Шихалиев, Х. Ш.
О некоторых приемах развития доказательных рассуждений учащихся начальных классов / Х. Ш. Шихалиев, Б. О. Омаров // Начальная школа. - 2007. - N 6. - С. . 98-101

ББК 74.202
Рубрики: Образование. Педагогика--Теория и методика обучения
Кл.слова (ненормированные):
дети -- школьники -- младшие школьники -- младший школьный возраст -- начальные классы -- начальное обучение -- обучение -- рассуждения (образование) -- доказательные рассуждения (образование) -- математическая логика -- утверждения (образование) -- упражнения (образование) -- уравнения (образование)

Доп.точки доступа:
Омаров, Б. О.
Найти похожие

13.

Окулов, С. М. (д-р пед. наук, проф.).
Информатика и математика: пример точки соприкосновения [Текст] / С. М. Окулов, А. В. Лялин // Информатика и образование. - 2008. - N 9. - С. 67-72. - Библиогр.: с 12 (5 назв. ) . - ISSN 0234-0453

ББК 74.26
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормированные):
задачи -- задачи по информатике -- информатика -- информатика и математика -- математика -- математическая логика -- слияние наук
Аннотация: В данной статье на примере изучения известной задачи о Ханойских башнях показан конкретный пример точки соприкосновения математики и информатики, в которой аппарат математической логики используется для получения не менее лаконичного, красивого и глубокого решения, чем рекурсивный вариант. В представленном конспекте занятия рассмотрены вопросы битовой арифметики (в том числе много задач на эту тему) и решение задачи о Ханойских башнях с применением битовой арифметики.

Доп.точки доступа:
Лялин, А. В.
Найти похожие

14.

Левин, В. И. (д-р техн. наук, проф.; Пенз. гос. технол. акад.).
Формирование культуры мышления [Текст] : логика и творчество / В. И. Левин // Alma mater: Вестник высшей школы. - 2008. - N 10. - С. 17-20. - Библиогр.: с. 20 (9 назв. ). - Библиогр. в сносках . - ISSN 0321-0383

ББК 74.26 + 87.42 + 74.202 + 87.4
Рубрики: Образование. Педагогика--Россия, 21 в. нач.
   Методика преподавания учебных предметов
   Логика
   Логические формы и законы
   Теория и методика обучения
   Общие вопросы логики
Кл.слова (ненормированные):
культура мышления -- мышление -- формирование культуры мышления -- логическое мышление -- математика -- низкая культура мышления -- обучение логике -- математическая логика
Аннотация: Умение отстаивать свою точку зрения, быть услышанным, работая в коллективе, приведет к повышению конкурентоспособности и востребованности наших специалистов.

Держатели документа:
ГПНТБ России
Найти похожие

15.

Хаханян, В. Х.
Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой [Текст] / В. Х. Хаханян // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 92-105. - Библиогр. в примеч. . - ISSN 0201-7385

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

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

16.

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

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

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

17.

Бирюков, Б. В.
О вкладе В. И. Шестакова в создание логической теории релейных схем [Текст] / Б. В. Бирюков, О. А. Борисова, В. И. Левин // Вопросы философии. - 2009. - N 3. - С. 83-92. - Библиогр. в сносках . - ISSN 0042-8744

ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
логические теории -- математическая логика -- теория релейных схем -- кибернетика -- ученые-кибернетики
Аннотация: Прослежена история создания В И. Шестаковым логической теории релейных схем, подтверждено, что именно он был первооткрывателем этой теории.

Доп.точки доступа:
Борисова, О. А.; Левин, В. И.; Шестаков, Виктор Иванович (кибернетик ; 1907-1987) \в. И.\
Найти похожие

18.

Разумов, В. И. (д-р филос. наук, профессор).
Специфика объекта и метода социальной теории [Текст] / В. И. Разумов, В. П. Сизиков // Личность. Культура. Общество. - 2008. - Т. 10, вып. 3/4 (42/43). - С. 107-117 : 2 фот., 3 рис. - Библиогр.: с. 117 (16 назв. ) . - ISSN 1606-951X

ББК 60.000
Рубрики: Социальная философия
Методология социальной философии
Кл.слова (ненормированные):
общество -- происхождение общества -- человек -- мироздание -- социальные теории -- объекты социальной теории -- междисциплинарный подход -- философская логика -- математическая логика -- физическая логика -- мировоззренческие триады -- категориальные схемы -- метод Восхождения
Аннотация: Опыт применения методов, используемых в междисциплинарных исследованиях, к изучению общества. Формирование социальной теории с использованием логических систем трех типов: философской, физической, математической. Возможности трех категориальных схем в разработке основ социальной теории.

Доп.точки доступа:
Сизиков, В. П. (канд. техн. наук, доц. каф. высшей математики Омского гос. ун-та путей сообщения)
Найти похожие

19.

Дергачева, Л. М. (канд. пед. наук, доцент кафедры информатики и прикладной математики МГПУ).
Основы математической логики [Текст] / Л. М. Дергачева, О. Ю. Заславская, И. В. Левченко // Информатика в школе. - 2010. - N 2. - С. 37-52. - Библиогр.: с. 92-94

ББК 74.26
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормированные):
информатика -- ЕГЭ -- единый государственный экзамен -- экзамены -- выпускные экзамены -- задачи -- подготовка к ЕГЭ -- математическая логика -- логика
Аннотация: Подборка задач по теме "Основы математической логики" для подготовки старшеклассников к сдаче ЕГЭ по информатике. Представлены материалы для выполнения на уроке, домашние задания и задания для самостоятельных работ.

Доп.точки доступа:
Заславская, О. Ю. (доктор пед. наук, профессор кафедры информатизации образования); Левченко, И. В. (доктор пед. наук, профессор кафедры информатики и прикладной математики)
Найти похожие

20.

Мирзоев, М. С. (кандидат педагогических наук, доцент кафедры математической физики Московского педагогического государственного университета).
Умение видеть красоту математики при решении задач как показатель математической культуры будущего учителя информатики [Текст] / М. С. Мирзоев // Наука и школа. - 2010. - N 2. - С. 51-55 : 2 таб., 2 схемы, 5 рис. - Библиогр.: с. 55 (5 назв. ) . - ISSN 1819-463Х

ББК 74р + 74р
Рубрики: Образование. Педагогика
Педагогическое образование
Кл.слова (ненормированные):
дискретная математика -- математика -- математическая культура -- математическая логика -- теория алгоритмов -- учителя информатики -- эстетическое развитие
Аннотация: В статье рассматривается возможность формирования математической культуры будущего учителя информатики через эстетическое и творческое развитие личности на примере блока дискретных математических дисциплин.

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

21.

Мухамадиев, Рахматулло Шарифович (кандидат философских наук, доцент кафедры философии МГСУ).
Философские основания формальной и герменевтической логики [Текст] / Р. Ш. Мухамадиев // Социально-гуманитарные знания. - 2010. - N 4. - С. 282-292. - Библиогр. в сносках (4 назв. )

ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
герменевтическая логика -- формальная логика -- математическая логика -- научная логика -- смысл -- гуманитарное познание
Аннотация: В данной статье подвергается критике тезис о том, что современная математическая логика является единственной научной логикой. Доказывается ее невозможность ее применения в сфере гуманитарного познания.

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

22.

Замилов, Д. А.
[Рецензия] [Текст] / Д. А. Замилов // Вопросы философии. - 2011. - N 8. - С. 184-188 . - ISSN 0042-8744

ББК 87.25 + 22.
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
математическая логика -- философия математики -- рецензии -- методология математики -- математические методы

Доп.точки доступа:
Успенский, В. А.
Найти похожие

23.

Дергачева, Лариса Михайловна (кандидат педагогических наук; доцент).
Задания ЕГЭ и ГИА по теме "Основные понятия математической логики" [Текст] / Л. М. Дергачева // Информатика в школе. - 2011. - N 6 (70). - С. 14-21 : табл. - Библиогр.: с. 21 (5 назв. )

ББК 74.26
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормированные):
методика преподавания информатики и ИКТ -- учебные предметы -- ЕГЭ -- ГИА -- единый государственный экзамен -- государственная итоговая аттестация -- задания (информатика) -- информатика и ИКТ (дисциплина) -- экзамены -- подготовка к ЕГЭ -- подготовка к ГИА -- школьный курс информатики -- информатика в школе -- таблицы (информатика) -- математическая логика -- таблица истинности -- методические рекомендации
Аннотация: Предлагаются типичные для вариантов государственной итоговой аттестации (ГИА) и единого государственного экзамена (ЕГЭ) задания по теме "Основные понятия математической логики" курса информатики и ИКТ, а также способы их решения и методические рекомендации по выполнению данных заданий.

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

24.

[Рецензия] [Текст] // Математика в школе. - 2012. - № 5. - С. 57 : ил. - Рец. на кн.: Жуков, А. В. Прометеева искра: Античные истоки искусства математики/ А. В. Жуков. - М.: Книжный дом "Либроком", 2012. - 208 с.

ББК 22.1г
Рубрики: Математика
История математики--Древняя Греция
Кл.слова (ненормированные):
математическая логика -- математический анализ -- искуство математики -- античная математика -- рецензии

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

25.

Мирзоев, Махмашариф Сайфович (кандидат педагогических наук, доцент кафедры математической физики Московского педагогического государственного университета).
Реализация модели формирования математической культуры будущего учителя информатики при обучении математической логике [Текст] : [Текст] / М. С. Мирзоев // Наука и школа. - 2012. - № 2. - С. 56-59 : 1 табл., 2 рис. - Библиогр.: с. 59 (6 назв. ) . - ISSN 1819-463X

ББК 74р + 74р
Рубрики: Образование. Педагогика
Педагогическое образование
Кл.слова (ненормированные):
математическая культура -- математическая логика -- модульный подход -- средства тестирования
Аннотация: В статье рассматривается реализация модели формирования математической культуры будущего учителя информатики, в обучении курса математической логике в рамках стандарта ФГОС ВПО третьего поколения.

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

26.

Целищев, В. В.
Логика и философия [Текст] : (записки семидесятника) / В. В. Целищев // Вопросы философии. - 2012. - № 5. - С. 124-133 . - ISSN 0042-8744

ББК 87.3(2)
Рубрики: Философия
Философия России и СССР, 20 в. 70-е гг.
Кл.слова (ненормированные):
логика -- аналитическая философия -- история философии -- математическая логика -- философская логика
Аннотация: Статья посвящена связи логики и аналитической философии, развитию этого направления в СССР в 70-е годы 20 века. Статью предваряют краткие биографические данные В. В. Целищева - специалиста в области философии и методологии науки, лидера сибирской школы философии логики и математики, которому исполнилось 70 лет.

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

27.

Левченко, Ирина Витальевна (доктор педагогических наук; профессор).
Учебно-методический материал по темам "Системы счисления", "Кодирование данных", "Основы математической логики" [Текст] / И. В. Левченко, О. Ю. Заславская // Информатика в школе. - 2012. - № 8 (81). - С. 13-37 : рис., табл.

ББК 74.26
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормированные):
методика обучения информатике -- учебные предметы -- учебные дисциплины -- информатика (дисциплина) -- школьный курс информатики -- информатика в школе -- уроки по информатике -- системы счисления -- кодирование данных -- математическая логика -- методика обучения информатике -- задачи (информатика)
Аннотация: Представлены материалы, предназначенные для использования учителями информатики при обучении по темам "Системы счисления", "Кодирование данных", "Основы математической логики".

Доп.точки доступа:
Заславская, Ольга Юрьевна (доктор педагогических наук; профессор)
Найти похожие

28.

Островский, Сергей (главный редактор).
Неоконченная история [Текст] / Сергей Островский // Информатика - Первое сентября. - 2013. - № 3. - С. 3

ББК 22.1г
Рубрики: Математика
История математики
Кл.слова (ненормированные):
теория чисел -- простые числа -- числа Мерсенна -- Мерсенна число -- школьники -- 5 класс -- 6 класс -- математическая логика
Аннотация: Об удивительной истории неоконченного научного поиска открытия простых чисел Мерсенна. В середине XX века математиков вновь заинтересовали простые числа Мерсенна, а в феврале 2013 г. было обнаружено 48-е - самое большое на данный момент простое число Мерсенна.

Доп.точки доступа:
Никел, Л. (американский школьник); Нолл, Л. (американский школьник); Купер, К. (математик); Уотманном, Д. (программист); Мерсенн, М. (философ); Первушин, И. (российский математик)
Найти похожие

29.

Задача о ходе коня [Текст] // Информатика - Первое сентября. - 2013. - № 3. - С. 35 : рис.

ББК 22.1г
Рубрики: Математика
История математики
Кл.слова (ненормированные):
математическая логика -- задачи -- конь на шахматной доске -- шахматный конь -- решения -- математики
Аннотация: Нахождение различных решений в задаче о ходе коня по шахматной доске.

Доп.точки доступа:
Муавр, А. де (французский математик); Лежандр, А. М. (французский математик); Эйлер, Л. (швейцарский математик); Дьюдени, Г. Э. (математик); Вандермонд, А. Т. (французский математик ; (1735-1796))
Найти похожие

Тематический навигатор

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