Научная библиотека СГЮА

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

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

в найденном

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

Книги фонда НБ СГЮА (8)

Авторефераты (1)

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

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

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

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

1-20 21-41 41-41

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

УДК

^a167/168

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

Доп.точки доступа:
Кузичева, З. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

Яровой, Г. П.
О новом прочтении "Оснований математики" А. Уайтхеда и Б. Рассела [Текст] / Г. П. Яровой, Ю. Н. Радаев // Вестник Самарского государственного университета. - 2004. - N 4. - С. . 5-19. - Библиогр.: с. 16-17. - RUMARS-vssu04_000_004_0005_1

УДК

^a51(09)

ББК 22.1
Рубрики: Математика--История математики
Кл.слова (ненормированные):
математическая литература -- логика -- математическая логика
Аннотация: В статье обсуждается современное прочтение фундаментальной трехтомной монографии А. Уайтхеда и Б. Рассела " Principia Mathematica Ф в связи с окончанием перевода на русский язык первого тома и перспективным проектом, реализуемым Самарским государственным университетом, по полному переводу и комментированию указанного сочинения с целью приобщения всего научного сообщества к этому выдающемуся образцу творческой мысли. Предполагается, что современный перевод на русский язык " Principia Mathematica Ф восполнит также существующий пробел в литературе по математической логике и основаниям математики, а также будет способствовать развитию формальной математики в духе ее основоположников.

Доп.точки доступа:
Радаев, Ю. Н.; Уайтхед \а.\; Рассел \б.\
Нет сведений об экземплярах (Источник в БД не найден)

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

Оныкий, Б. Н.
Памяти Г. Н. Поварова [Текст] / Б. Н. Оныкий [и др. ] // Вопросы философии. - 2005. - N 5. - С. . 190. - s, 2005, , rus. - RUMARS-voph05_000_005_0190_1. - Зональная научная библиотека им. В. А. Артисевич Саратовского государственного университета. - N 5. - С. 190. - voph05_000_005_0190_1, 5, 190

УДК

^a1(091)

ББК 87.3
Рубрики: Философия--История философии, 20 в.
СССР
Россия
Кл.слова (ненормированные):
философы -- некрологи -- кибернетика -- математическая логика
Аннотация: Памяти профессора кафедры кибернетики МИФИ, академика МАИ, автора статей в журнале "Вопросы философии" и "Новой философской энциклопедии".

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

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

Щербин, В. К. (канд. филол. наук).
Роль социальных и гуманитарных наук в развитии логики научного познания [Текст] / В. К. Щербин // Социология. - 2006. - N 2. - С. . 22-38. - Библиогр.: с. 35-38 (148 назв. ). - s, 2006, , rus. - RUMARS-sclg06_000_002_0022_1. - Фундаментальная библиотека Белорусского государственного университета. - N 2. - С. 22-38. - sclg06_000_002_0022_1, 2, 22-38

УДК

^a16

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

Нет сведений об экземплярах (Источник в БД не найден)

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

Белова, В. В.
Авторская программа среднего (полного) общего образования по информатике и информационным технологиям для информационно-технологического и физико-математического профилей [Текст] / В. В. Белова, Р. А. Еннер, Е. Н. Ермакова // Информатика и образование. - 2006. - N 11. - С. . 34-43. - Библиогр.: с. 39 (20 назв. ). - c, 2006, 9999, rus. - RUMARS-inio06_000_011_0034_1. - МУК "ЦБС г. Тольятти". - Окончание следует. - N 11. - С. 34-43. - inio06_000_011_0034_1, 11, 34-43

УДК

^a372.8

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

Доп.точки доступа:
Еннер, Р. А.; Ермакова, Е. Н.
Нет сведений об экземплярах (Источник в БД не найден)

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

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

УДК

^a681.5

^a004.8

^a167/168

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

Доп.точки доступа:
Шанин \н. А.\; Яновская \с. А.\; Тракайский симпозиум; Тракайский симпозиум
Нет сведений об экземплярах (Источник в БД не найден)

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

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

УДК

^a1

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

Доп.точки доступа:
Пирс \ч. С.\

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

Самсонов, А. Л.
Обратные истины [Текст] / А. Л. Самсонов // Экология и жизнь. - 2006. - N 6. - С. . 3-9. - RUMARS-eizh06_000_006_0003_1

УДК

^a51(09)

^a1(091)

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

Доп.точки доступа:
Лейбниц, Готфрид Вильгельм \г. В.\

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

Лебецкая, Е. А.
Развитие интеллектуальных способностей учащихся в курсе "Элементы логики и логические игры" [Текст] / Е. А. Лебецкая // Информатизация образования. - 2007. - N 3. - С. . 64-82. - Библиогр.: с. 81-82 (14 назв. ). - s, 2007, , rus. - RUMARS-iobr07_000_003_0064_1. - Фундаментальная библиотека Белорусского государственного университета. - iobr07_000_003_0064_1

УДК

^a372.8

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

Нет сведений об экземплярах (Источник в БД не найден)

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

10.

Кузнецова, Т. И. (канд. пед. наук).
"Свертывание" математического материала в учебном процессе на подготовительном факультете [Текст] / Т. И. Кузнецова // Образовательные технологии. - 2007. - N 3. - С. 125-131. - Библиогр.: с. 130-131 ( 22 назв. ). - Научная библиотека государственного образовательного учреждения высшего профессионального образования Новосибирского государственного педагогического университета. - code, obte. - year, 2007. - no, 3. - ss, 125. - ad. - d, 2007, ####, 0. - RUMARS-obte07_no3_ss125_ad1

УДК

^a378

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

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

11.

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

УДК

^a16

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

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

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

12.

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

УДК

^a372.8

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

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

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

13.

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

УДК

^a16

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

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

14.

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

УДК

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

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

15.

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

УДК

^a16

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

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

16.

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

УДК

^a16

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

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

17.

Рефлексируя проблему [Текст] / В. Бажанов [и др. ] // Философские науки. - 2009. - N 4. - С. 74-86 . - ISSN 0235-1188

УДК

^a16

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

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

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

18.

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

УДК

^a1

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

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

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

19.

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

УДК

^a16

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

Нет сведений об экземплярах (Источник в БД не найден)

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

20.

Борисов, Евгений Васильевич (кандидат философских наук).
Проблема Крипке и ее прямое решение [Текст] / Е. В. Борисов // Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 4 (12). - С. 5-14. - Библиогр.: с. 14 (5 назв. ) . - ISSN 1998-863X

УДК

^a16

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

Доп.точки доступа:
Крипке, С. А. (философ); Суровцев, В. А.; Ладов, В. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

1-20 21-41 41-41

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

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