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

Базы данных


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

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


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


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

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


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


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

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


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


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

Найти похожие
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.


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


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

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


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


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


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


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


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


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


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


Доп.точки доступа:
Черч, Алонзо (американский логик и математик) \а.\

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