Поисковый запрос: (<.>K=математическая логика<.>) |
Общее количество найденных документов : 37
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : прочееСтатья из журнала
Шифр издания :
Автор(ы) : Бирюков Б.В., Бюрикова Л.Г.,
Заглавие : Философско-логические основания математики в культурологическом аспекте: исторические судьбы древних контроверз точного мышления
/ Б.В. Бирюков, Л.Г. Бюрикова
Место публикации : Вестник Московского университета. Сер.7, Философия. - 2001. - N5. - ISSN 0201-7385. - ISSN 0201-7385
Предметные рубрики: Философия-- Теория познания
Ключевые слова (''Своб.индексиров.''): математическая логика--математический реализм--мышление
Аннотация: Исторические этапы развития математической логики и философии
Найти похожие
|
2.
|
Вид документа : прочееСтатья из журнала
Шифр издания : 51(09)/К 930
Автор(ы) : Курдюмова Н.А.,
Заглавие : Платон как искатель истины
/ Н.А. Курдюмова
Место публикации : Математика в школе. - 2001. - N3. - ISSN 0130-3358. - ISSN 0130-3358
Примечания : Библиогр.:с.5 (5 назв.)
УДК : 51(09)
ББК : 22.1г
Предметные рубрики: Математика-- История математики
Ключевые слова (''Своб.индексиров.''): 5 в. до н.э.--древняя греция--античная математика--гипотетико-дедуктивный метод--математик--математическая логика--метод рассуждения--учение о пространственных телах--философ
Аннотация: О древнегреческом философе Платоне, ученике Сократа, совершившем несколько оригинальных открытий в математике.Страницы его биографии, о формировании его воззрений
Найти похожие
|
3.
|
Вид документа : прочееСтатья из журнала
Шифр издания : 372.8/Ш 653
Автор(ы) : Шихалиев Х.Ш.,
Заглавие : Каким должен быть школьный курс математики
/ Х.Ш. Шихалиев
Место публикации : Математика в школе. - 2003. - N6. - ISSN 0130-3358. - ISSN 0130-3358
УДК : 372.8
ББК : 74.26
Предметные рубрики: Образование. Педагогика-- Методика преподавания учебных предметов
Ключевые слова (''Своб.индексиров.''): урок математики--математическая грамотность--школьное образование--общеобразовательные школы--школьный курс--теория множеств--математическая логика
Аннотация: Размышления по поводу углубления школьного курса математики введением в систему школьного образования курсов "Теория множеств" и "Математическая логика". О повышении математической грамотности выпускников общеобразовательных школ.
Найти похожие
|
4.
|
Вид документа : прочееСтатья из журнала
Шифр издания : 372.8/М 482
Автор(ы) : Мельников О.И.,
Заглавие : Графы в обучении математике
/ О.И. Мельников
Место публикации : Математика в школе. - 2003. - N8. - ISSN 0130-3358. - ISSN 0130-3358
Примечания : Библиогр.: 10 назв.
УДК : 372.8
ББК : 74.26
Предметные рубрики: Образование. Педагогика-- Методика преподавания учебных предметов
Ключевые слова (''Своб.индексиров.''): урок математики--математическая логика--графы--графовые модели--логические задачи--алгебра--младшие классы--теория графов--внеклассная работа--факультативные занятия--функции
Аннотация: Об использовании графов в качестве вспомогательного средства, позволяющего облегчить процесс обучения математике и подготовить учеников младших классов к восприятию сложных тем в старших. Конечное число точек, изображенных на плоскости, некоторые пары которых соединены линиями, называется графом.
Найти похожие
|
5.
|
Вид документа : прочееСтатья из журнала
Шифр издания : 74.2/Х 122
Автор(ы) : Хабибуллин К.Я.,
Заглавие : Формирование общелогических умений учащихся
/ К.Я. Хабибуллин
Место публикации : Школьные технологии. - 2002. - N1
ББК : 74.2
Предметные рубрики: Педагогика-- Теория и методика обучения
Ключевые слова (''Своб.индексиров.''): 20 в.--внеклассная работа--занимательная логика--логика--математическая логика--межпредметная связь
Аннотация: Воспитание культуры мышления учащихся, их логической грамотности, доказательности в объяснениях, точности в рассуждениях имеет важное значение в учебно-познавательной деятельности учащихся
Найти похожие
|
6.
|
Вид документа : прочееСтатья из журнала
Шифр издания : 167/168/Е 760
Автор(ы) : Еровенко-Риттер В. (д-р физ.-мат.наук),
Заглавие : Феномен "Пигмалиона" в социологии современного языка математики
/ В. Еровенко-Риттер
Место публикации : Alma mater: Вестник высшей школы. - 2002. - N6. - ISSN 0321-0383. - ISSN 0321-0383
Примечания : Библиогр.: с. 31 (3 назв.)
УДК : 167/168
ББК : 87.252
Предметные рубрики: Философия-- Философские вопросы и методология отдельных наук
Ключевые слова (''Своб.индексиров.''): математическая логика--философия науки--философия образования--язык математики
Аннотация: Статья о языке математики в сравнении с естественным языком. Важнейшее отличие языка математики от других языков в том, что он представляет возможности для максимальной точности.
Найти похожие
|
7.
|
Вид документа : Статья из журнала
Шифр издания : 16/Ч-494
Автор(ы) : Черноскутов Ю. Ю.,
Заглавие : Логическая теория предмета
: история и перспективы/ Ю. Ю. Черноскутов
Место публикации : Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология, социология, психология и право. - 2008. - Вып. 1. - С. С. 126-132. - ISSN 1995-0055. - ISSN 1995-0055
Примечания : Библиогр. в сносках
УДК : 16
ББК : 87.4
Предметные рубрики: Логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): геометрия--логика--математика--математическая логика--платонические сущности--теория предмета--предложения в себе--предметный стиль мышления
Аннотация: В работе предпринимается попытка показать место и роль теории предмета в становлении современной логики. Описывается процесс развития теории предмета в рамках австрийской логико-философской традиции, начиная с ее родоначальника Б. Больцано. Освещается неявное влияние австрийского предметного стиля мышления, через школу Брентано, на Г. Фреге (Б. Керри и К. Штурмпф) и Б. Рассела. Отмечается связь теории предмета с современными исследованиями в области неологицизма.
Найти похожие
|
8.
|
Вид документа : Статья из журнала
Шифр издания : 681.5/Б 649
Автор(ы) : Бирюков Б. В.,
Заглавие : У истоков отечественных исследований по поиску логического вывода
: о двух симпозиумах 60-х годов ХХ века, состоявшихся в г. Тракае (Литовская ССР/ Б. В. Бирюков
Место публикации : Вопросы философии. - 2006. - N 12. - С. С. 99-119. - ISSN 0042-8744. - ISSN 0042-8744
Примечания : Библиогр. в сносках. - Заглавия симпозиумов не указаны.
УДК : 681.5 + 004.8 + 167/168
ББК : 87.252 + 32.813 + 32.81
Предметные рубрики: Философия-- Философские вопросы и методология отдельных наук
Радиоэлектроника-- Искусственный интеллект. Экспертные системы-- Кибернетика, 20 в. 60-е гг.
Ключевые слова (''Своб.индексиров.''): симпозиумы--всесоюзные симпозиумы--тракайские симпозиумы--логика--логические выводы--алгебро-логические исследования--философия математики--математика (философия)--предикаты--машинный поиск (кибернетика)--математическая логика
Аннотация: Тракайские симпозиумы не получили должного отражения в литературе. Настоящая публикация и служит восполнению этого пробела в историографии отечественной логики.
Найти похожие
|
9.
|
Вид документа : Статья из журнала
Шифр издания : 1/Б 435
Автор(ы) : Белоногов Г. Г.,
Заглавие : [Рецензия]
/ Г. Г. Белоногов
Место публикации : Вопросы философии. - 2007. - N 4. - С. С. 183-185. - ISSN 0042-8744. - ISSN 0042-8744
Примечания : Рец. на кн.: Пирс Ч. С. Рассуждение и логика вещей : лекции для Кембриджских конференций 1898 года ; пер. с англ. / Ч. С. Пирс. М.: Изд. центр РГГУ, 2005. 371 с.
УДК : 1
ББК : 87
Предметные рубрики: Философия-- Общие вопросы философии
Ключевые слова (''Своб.индексиров.''): философия математики--рецензии--семиотика--логика--математическая логика--методология философии
Найти похожие
|
10.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Хаханян В. Х.
Заглавие : Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой
Серия: Логика
Разночтения заглавия :: Краткая история развития теори множеств с интуиционистской логикой: философские аспекты: Базисный вариант теории множеств с подлежащей интуиционистской логикой
Место публикации : Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С.92-105. - ISSN 0201-7385. - ISSN 0201-7385
Примечания : Библиогр. в примеч. - Примеч.: с. 104-105
УДК : 16
ББК : 87.4
Предметные рубрики: Логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): теория множеств--математическая логика--интуиционистская логика--интуиционизм--интуиционистская математика
Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств.
Найти похожие
|
11.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Керимов М. К.
Заглавие : Памяти Николая Макаровича Нагорного (1928 - 2007)
Место публикации : Журнал вычислительной математики и математической физики. - 2008. - Т. 48, N 6. - С.1140-1144. - ISSN 0044-4669. - ISSN 0044-4669
УДК : 51(091)
ББК : 22.1г
Предметные рубрики: Математика
История математики
Ключевые слова (''Своб.индексиров.''): информатика--математическая логика--некролог--ученый математик
Аннотация: Ушел из жизни один из старейших научных сотрудников Вычислительного центра им. А. А. Дородницына Николай Макарович Нагорный (30. 07. 1928-04. 11. 2007) - видный специалист по математической логике и информатики. Значительная часть научных работ Николая Макаровича относится к математической логике и конструктивной математике. Н. М. Нагорный много лет вел преподавательскую работу в различных высших учебных заведениях в качестве доцента, возглавлял научные работы многих студентов и аспирантов. Приводится список основных научных работ Н. М. Нагорного.
Найти похожие
|
12.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Окулов С. М. (д-р пед. наук, проф.), Лялин А. В.
Заглавие : Информатика и математика: пример точки соприкосновения
Место публикации : Информатика и образование. - 2008. - N 9. - С.67-72. - ISSN 0234-0453. - ISSN 0234-0453
Примечания : Библиогр.: с 12 (5 назв. )
УДК : 372.8
ББК : 74.26
Предметные рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Ключевые слова (''Своб.индексиров.''): задачи--задачи по информатике--информатика--информатика и математика--математика--математическая логика--слияние наук
Аннотация: В данной статье на примере изучения известной задачи о Ханойских башнях показан конкретный пример точки соприкосновения математики и информатики, в которой аппарат математической логики используется для получения не менее лаконичного, красивого и глубокого решения, чем рекурсивный вариант. В представленном конспекте занятия рассмотрены вопросы битовой арифметики (в том числе много задач на эту тему) и решение задачи о Ханойских башнях с применением битовой арифметики.
Найти похожие
|
13.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кузнецова Т. И. (канд. пед. наук)
Заглавие : "Свертывание" математического материала в учебном процессе на подготовительном факультете
Серия: Технология и практика обучения
Место публикации : Образовательные технологии. - 2007. - N 3. - С.125-131
Примечания : Библиогр.: с. 130-131 ( 22 назв. )
УДК : 378
ББК : 74.58 + 74.58
Предметные рубрики: Образование. Педагогика
Высшее профессиональное образование
Ключевые слова (''Своб.индексиров.''): подготовительный факультет--обучение математике--иностранные студенты--математические утверждения--свернутость информации--свертывание математических рассуждений--символические записи--математическая логика
Аннотация: Процесс развития математики, процесс усовершенствования ее изложения сопровождается свертыванием информации, сокращением пути ее передачи, усовершенствование соответствующих записей. Особое место этому отводится в работе с иностранными студентами. Важную роль в формировании математических знаний играют символические записи математических утверждений, посредством которых в компактной и обозреваемой форме задается смысл этих утверждений. Простота восприятия символических записей достигатся за счет свернутости суждений, выраженных знаками, по сравнению с развернутыми словесными формулировками.
Найти похожие
|
14.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Левин В. И. (д-р техн. наук, проф.; Пенз. гос. технол. акад.)
Заглавие : Формирование культуры мышления
: логика и творчество
Серия: Образование: ракурсы и грани
Место публикации : Alma mater: Вестник высшей школы. - 2008. - N 10. - С.17-20. - ISSN 0321-0383. - ISSN 0321-0383
Примечания : Библиогр.: с. 20 (9 назв. )Библиогр. в сносках
УДК : 372.8 + 16 + 371.3 + 16
ББК : 74.26 + 87.42 + 74.202 + 87.4
Предметные рубрики: Образование. Педагогика --Россия --США, 21 в. нач.; 20 в.
Методика преподавания учебных предметов
Логика
Логические формы и законы
Теория и методика обучения
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): культура мышления--мышление--формирование культуры мышления--логическое мышление--математика--низкая культура мышления--обучение логике--математическая логика
Аннотация: Умение отстаивать свою точку зрения, быть услышанным, работая в коллективе, приведет к повышению конкурентоспособности и востребованности наших специалистов.
Найти похожие
|
15.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Григорьева И. С.
Заглавие : Чем мама похожа на синус
Место публикации : Математика в школе. - 2003. - N 1. - С.77. - ISSN 0130-3358. - ISSN 0130-3358
УДК : 372.8
ББК : 74.26
Предметные рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Ключевые слова (''Своб.индексиров.''): урок математики--математика--синус--алгебра--математическая логика--школьники
Аннотация: Занятие по теме "Синус", а также задания на развитие логики учащихся.
Найти похожие
|
16.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кузичева З. А.
Заглавие : Влияние теории релейно-контактных схем на развитие математической логики
Серия: Логика
Место публикации : Вестник Московского университета. Сер. 7. Философия . - 2009. - N 1. - С.53-62. - ISSN 0201-7385. - ISSN 0201-7385
Примечания : Библиогр. в примеч. - Примеч.: с. 61-62
УДК : 16
ББК : 87.42
Предметные рубрики: Логика
Логические формы и законы
Ключевые слова (''Своб.индексиров.''): логика и техника--логическая теория релейных систем--технические устройства--математическая логика--релейно-контактные схемы--алгебра логики
Аннотация: Статья посвящена исследованию взаимного влияния процесса математизации логики и идей построения технических устройств, позволяющих решать задачи логики, а затем и применения логических средств решения задач упрощения технических устройств.
Найти похожие
|
17.
|
Вид документа : Статья из журнала
Шифр издания : 1/Б 649
Автор(ы) : Бирюков Б. В., Борисова О. А., Левин В. И.
Заглавие : О вкладе В. И. Шестакова в создание логической теории релейных схем
Серия: Философия и наука
Место публикации : Вопросы философии. - 2009. - N 3. - С.83-92. - ISSN 0042-8744. - ISSN 0042-8744
Примечания : Библиогр. в сносках
УДК : 1
ББК : 87.25
Предметные рубрики: Философия
Философия науки
Ключевые слова (''Своб.индексиров.''): логические теории--математическая логика--теория релейных схем--кибернетика--ученые-кибернетики
Аннотация: Прослежена история создания В И. Шестаковым логической теории релейных схем, подтверждено, что именно он был первооткрывателем этой теории.
Найти похожие
|
18.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Недоступов Э. В., Саранча Д. А., Чигерев Е. Н., Юрезанская Ю. С.
Заглавие : О некоторых свойствах одномерных унимодальных отображений
Серия: Математика
Место публикации : Доклады Академии наук. - 2010. - Т. 430, N 1, январь. - С.23-28: 4 рис. - ISSN 0869-5652. - ISSN 0869-5652
Примечания : Библиогр.: с. 28 (6 назв. )
УДК : 510.6
ББК : 22.1
Предметные рубрики: Математика --4 рис.
Математическая логика
Ключевые слова (''Своб.индексиров.''): одномерные отображения--унимодальные отображения--разностные уравнения--моделирование популяций--математическая логика
Аннотация: Проведено исследование одномерных унимодальных отображений, полученных при описании динамики численности животных. Предложены оригинальные способы нахождения периодических траекторий одномерных унимодальных отображений.
Найти похожие
|
19.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Разумов В. И. (д-р филос. наук, профессор), Сизиков В. П.
Заглавие : Специфика объекта и метода социальной теории
Серия: В порядке дискуссии
.
Современная социальная теория
Разночтения заглавия :: Базовые мутации схемы развертки жизни
Место публикации : Личность. Культура. Общество. - 2008. - Т. 10, вып: вып. 3/4 (42/43). - С.107-117: 2 фот., 3 рис. - ISSN 1606-951X. - ISSN 1606-951X
Примечания : Библиогр.: с. 117 (16 назв. )
УДК : [1:316]:167
ББК : 60.000
Предметные рубрики: Социальная философия
Методология социальной философии
Ключевые слова (''Своб.индексиров.''): общество--происхождение общества--человек--мироздание--социальные теории--объекты социальной теории--междисциплинарный подход--философская логика--математическая логика--физическая логика--мировоззренческие триады--категориальные схемы--метод восхождения
Аннотация: Опыт применения методов, используемых в междисциплинарных исследованиях, к изучению общества. Формирование социальной теории с использованием логических систем трех типов: философской, физической, математической. Возможности трех категориальных схем в разработке основ социальной теории.
Найти похожие
|
20.
|
Вид документа : Статья из журнала
Шифр издания : 16/Б 161
Автор(ы) : Бажанов В. А.
Заглавие : Логическое сообщество в России и в СССР. Преодоление эффекта "колеи"
Серия: Философский форум
.
Российская логическая культура: особенности, состояние и перспективы
Разночтения заглавия :: Преодоление эффекта "колеи"
Место публикации : Философские науки. - 2009. - N 4. - С.33-46. - ISSN 0235-1188. - ISSN 0235-1188
Примечания : Библиогр. в сносках
УДК : 16
ББК : 87.4
Предметные рубрики: Логика --Россия --СССР, 19 в.; 20 в.
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): формальная логика--математическая логика
Аннотация: Развитие логической мысли в России в XIX веке, запрет на исследования по формальной логике после революции как враждебной диалектической логике, развитие только математической логики, перспективы сотрудничества логиков-философов и логиков-математиков.
Найти похожие
|
|
|
|
Электронные ресурсы
Электронный каталог
Стандартный