Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
в найденном
 Найдено в других БД:Электронный каталог НТГСПИ (13)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 12
Показаны документы с 1 по 10
 1-10    11-12 
1.


    Ламберов, Л. Д.
    Дефляционизм и неконсервативность: проблема релевантности? [Текст] / Л. Д. Ламберов // Философия науки. - 2012. - № 3. - С. 45-52. - Библиогр.: с. 51-52 (16 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
ББК 87.25 + 22.12
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
Кл.слова (ненормированные):
дефляционизм -- истина -- неконсервативность -- адекватность -- теория истины -- истины теория
Аннотация: Статья посвящена рассмотрению дефляционных теорий истины и проблемы неконсервативности. Ставится вопрос о релевантности аргументов от неконсервативности при рассмотрении дефляционизма.


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


    Ладов, В. А.
    "Principia Mathematica" о природе логических парадоксов [Текст] / В. А. Ладов // Философия науки. - 2012. - № 3. - С. 36-44. - Библиогр.: с. 43-44 (7 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
ББК 87.25 + 22.12
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
Кл.слова (ненормированные):
логика -- парадоксы -- основания -- порочные круги -- классы -- принципы
Аннотация: Статья посвящена исследованию природы логических парадоксов. Утверждается, что принцип порочного круга, который авторы "Principia Mathematica" рассматривали как универсальное основание парадоксальности, не является таковым по отношению по крайней мере к некоторым парадоксам. В частности, парадокса класса всех стандартных классов, сформулированный Б. Расселом, имеет иную природу и должен получить объяснение своего появления исходя из иного основания, отличного от принципа порочного круга.


Доп.точки доступа:
Рассел, Бертран Артур Уильям (английский математик; философ ; 1872-1970) \б.\

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


    Анкин, Д. В.
    К эпистемологической интерпретации семантики [Текст] / Д. В. Анкин // Философия науки. - 2012. - № 3. - С. 29-35. - Библиогр.: с. 35 (5 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
ББК 87.25 + 22.12
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
Кл.слова (ненормированные):
эпистемология -- интерпретации -- истина -- семантика -- теория истины -- истины теория -- логика
Аннотация: В статье обосновывается тезис, согласно которому эпистемологическая интерпретация собственных результатов в духе корреспондентной (классической) теории истины, которую предлагает Тарский, вовсе не является обязательной.


Доп.точки доступа:
Тарский, Альфред (польско-американский математик; логик ; 1901-1983) \а.\

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


    Булычев, Владимир Александрович (кандидат физико-математических наук; доцент).
    Статистическое моделирование как средство развития информационной и математической культуры школьников [Текст] / В. А. Булычев // Информатика в школе. - 2020. - № 8. - С. 4-11 : ил. - Библиогр.: с. 11 (11 назв.) . - ISSN 2221-1993
УДК
^a371.69:004.3
^a372.8
^a510.6
ББК 74с + 74.26 + 22.12
Рубрики: Образование. Педагогика
   Применение вычислительной техники в педагогике
   Методика преподавания учебных предметов
   Математика
   Математическая логика
Кл.слова (ненормированные):
Монте-Карло метод -- интерактивная математическая среда -- компьютерные программы -- математические конструкторы -- метод Монте-Карло -- методика обучения математике -- обучение программированию -- случайные выборки -- случайные числа -- статистическое моделирование
Аннотация: Рассматривается использование статистического моделирования для развития информационной и математической культуры школьников. Приводится сравнительный анализ различных инструментов статистического моделирования: электронных таблиц, языков программирования, интерактивных математических сред. Выделено наиболее интересные теоретические вопросы, возникающие при проведении статистических экспериментов и доступные для изучения в школьном курсе математики. Рассмотрено несколько игр с вероятностным содержанием, демонстрирующих известные статистические парадоксы. Показано, как накопленные в процессе статистического моделирования навыки могут использоваться для изучения реальных ситуаций и выполнения на этой основе самостоятельных исследований и проектных работ.


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


    Кислов, А. Г.
    Динамическая логика и деонтические операторы "в строгом смысле" [Текст] / А. Г. Кислов // Философия науки. - 2012. - № 3. - С. 65-80. - Библиогр.: с. 79-80 (24 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
ББК 87.25 + 22.12
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
Кл.слова (ненормированные):
деонтическая логика -- динамическая логика высказываний -- логическая семантика -- секции -- степени ответственности
Аннотация: В данной статье стандартная семантика деонтической логики, выполненная на основе динамической логики высказываний, дополняется "строгими" операторами. Обсуждается понятие "степень ответственности".


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


    Лобовиков, В. О.
    Применение аппарата логических исчислений для анализа традиционных проблем философии права [Текст] : формально-этический закон контрапозиции правового закона в двузначной алгебре естественного права / В. О. Лобовиков // Философия науки. - 2012. - № 3. - С. 53-64. - Библиогр.: с. 63-64 (18 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
^a34
ББК 87.25 + 22.12 + 67
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
   Право
   Право. Юридические науки в целом
Кл.слова (ненормированные):
алгебра логики -- принцип двойственности -- алгебра естественного права -- морально-правовая ценностная переменная -- морально-правовая ценностная функция -- морально-этическая эквивалентность -- закон естественного права -- естественного права закон -- закон позитивного права -- позитивного права закон -- закон контрапозиции -- контрапозиции закон
Аннотация: В статье исследуется дискретная математическая модель формально-этического аспекта взаимоотношения систем естественного и позитивного права. На уровне модели дается точное определение, во-первых, того отношения, в котором системы естественного и позитивного права различны и подлежат разделению и, во-вторых, того отношения и условия, в котором они тождественны.


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


    Бессонов, А. В.
    Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488
УДК
^a510.6
^a16
ББК 22.12 + 87.4
Рубрики: Логика
   Математика
   Математическая логика
   Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.


Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\

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


    Николенко, Сергей.
    Истина в математике: от Египта к... Египту? [Текст] / С. Николенко // Знание-сила. - 2008. - N 6. - С. 63-69 . - ISSN 0130-1640
УДК
^a51(091)
^a510.6
ББК 22.1г + 22.12
Рубрики: Математика
   История математики
   Математическая логика
Кл.слова (ненормированные):
истина в математике -- математическая истина -- доказательства (математика)
Аннотация: О математической истине.


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


    Тейт, У.
    Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева // Философия науки. - 2007. - N 4. - С. 183-191 . - ISSN 1560-7488
УДК
^a167/168
^a510.6
ББК 87.252 + 22.12
Рубрики: Философия
   Философские вопросы и методология отдельных наук
   Математика
   Математическая логика
Кл.слова (ненормированные):
множества (математика) -- числа -- трансфинитные числа -- теория множеств
Аннотация: О теории трансфинитных чисел.


Доп.точки доступа:
Целищев, В. В. \.\; Кантор, Георг (немецкий математик ; 1845-1918) \г.\

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


    Белякин, Н. В.
    Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. ) . - ISSN 1560-7488
УДК
^a16
^a510.6
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы
   Математика
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.


Доп.точки доступа:
Черепанов, Е. М.

Найти похожие
 1-10    11-12 
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)