Библиотека Омского государственного университета им. Ф.М. Достоевского

Электронные ресурсы

Базы данных

Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска

Электронный каталог

Статьи из журналов: 2001-2014

Труды ОмГУ

История ОмГУ

Сводный каталог периодических изданий вузовских библиотек г.Омска

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

в найденном

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

Труды ОмГУ (1)

История ОмГУ (2)

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

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

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

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

1-10 11-20 21-30 31-37

Бирюков, Б. В.
Философско-логические основания математики в культурологическом аспекте: исторические судьбы древних контроверз точного мышления [Текст] / Б. В. Бирюков, Л. Г. Бюрикова // Вестник Московского университета. Сер.7, Философия. - 2001. - N5 . - ISSN 0201-7385
Рубрики: Философия--Теория познания
Кл.слова (ненормированные):
математическая логика -- математический реализм -- мышление
Аннотация: Исторические этапы развития математической логики и философии

Доп.точки доступа:
Бюрикова, Л.Г.

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

51(09)
К 930

Курдюмова, Н. А.
Платон как искатель истины [Текст] / Н. А. Курдюмова // Математика в школе. - 2001. - N3. - Библиогр.:с.5 (5 назв.) . - ISSN 0130-3358

УДК

51(09)

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

Доп.точки доступа:
Платон

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

372.8
Ш 653

Шихалиев, Х. Ш.
Каким должен быть школьный курс математики [Текст] / Х. Ш. Шихалиев // Математика в школе. - 2003. - N6 . - ISSN 0130-3358

УДК

372.8

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

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

372.8
М 482

Мельников, О. И.
Графы в обучении математике [Текст] / О. И. Мельников // Математика в школе. - 2003. - N8. - Библиогр.: 10 назв. . - ISSN 0130-3358

УДК

372.8

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

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

74.2
Х 122

Хабибуллин, К. Я.
Формирование общелогических умений учащихся [Текст] / К. Я. Хабибуллин // Школьные технологии. - 2002. - N1

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

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

167/168
Е 760

Еровенко-Риттер, В. (д-р физ.-мат.наук).
Феномен "Пигмалиона" в социологии современного языка математики [Текст] / В. Еровенко-Риттер // Alma mater: Вестник высшей школы. - 2002. - N6. - Библиогр.: с. 31 (3 назв.) . - ISSN 0321-0383

УДК

167/168

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

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

16
Ч-494

Черноскутов, Ю. Ю.
Логическая теория предмета [Текст] : история и перспективы / Ю. Ю. Черноскутов // Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология, социология, психология и право. - 2008. - Вып. 1. - С. 126-132. - Библиогр. в сносках . - ISSN 1995-0055

УДК

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

Доп.точки доступа:
Больцано, Бернард; Керри, Б.; Рассел, Б.; Мейнонгом, А. фон; Штумпф, К.

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

681.5
Б 649

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

УДК

681.5

004.8

167/168

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

Доп.точки доступа:
Шанин, Н. А.; Яновская, С. А.

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

1
Б 435

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

УДК

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

Доп.точки доступа:
Пирс, Ч. С.; Рассуждение, и логика вещей

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

10.

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

УДК

^a16

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

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

11.

Керимов, М. К.
Памяти Николая Макаровича Нагорного (1928 - 2007) [Текст] / М. К. Керимов // Журнал вычислительной математики и математической физики. - 2008. - Т. 48, N 6. - С. 1140-1144 . - ISSN 0044-4669

УДК

^a51(091)

ББК 22.1г
Рубрики: Математика
История математики
Кл.слова (ненормированные):
информатика -- математическая логика -- некролог -- ученый математик
Аннотация: Ушел из жизни один из старейших научных сотрудников Вычислительного центра им. А. А. Дородницына Николай Макарович Нагорный (30. 07. 1928-04. 11. 2007) - видный специалист по математической логике и информатики. Значительная часть научных работ Николая Макаровича относится к математической логике и конструктивной математике. Н. М. Нагорный много лет вел преподавательскую работу в различных высших учебных заведениях в качестве доцента, возглавлял научные работы многих студентов и аспирантов. Приводится список основных научных работ Н. М. Нагорного.

Доп.точки доступа:
Нагорный (1928-2007) \н. М.\

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

12.

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

УДК

^a372.8

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

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

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

13.

Кузнецова, Т. И. (канд. пед. наук).
"Свертывание" математического материала в учебном процессе на подготовительном факультете [Текст] / Т. И. Кузнецова // Образовательные технологии. - 2007. - N 3. - С. 125-131. - Библиогр.: с. 130-131 ( 22 назв. )

УДК

^a378

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

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

14.

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

УДК

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

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

15.

Григорьева, И. С.
Чем мама похожа на синус [Текст] / И. С. Григорьева // Математика в школе. - 2003. - N 1. - С. 77 . - ISSN 0130-3358

УДК

^a372.8

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

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

16.

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

УДК

^a16

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

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

17.

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

УДК

^a1

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

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

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

18.

О некоторых свойствах одномерных унимодальных отображений [Текст] / Э. В. Недоступов [и др. ] // Доклады Академии наук. - 2010. - Т. 430, N 1, январь. - С. 23-28 : 4 рис. - Библиогр.: с. 28 (6 назв. ) . - ISSN 0869-5652

УДК

^a510.6

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

Доп.точки доступа:
Недоступов, Э. В.; Саранча, Д. А.; Чигерев, Е. Н.; Юрезанская, Ю. С.

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

19.

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

УДК

^a[1:316]:167

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

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

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

20.

Бажанов, В. А.
Логическое сообщество в России и в СССР. Преодоление эффекта "колеи" [Текст] / В. А. Бажанов // Философские науки. - 2009. - N 4. - С. 33-46. - Библиогр. в сносках . - ISSN 0235-1188

УДК

^a16

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

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

1-10 11-20 21-30 31-37

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