Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 40
Показаны документы с 1 по 20 |
|
1. 
|
Тейт, У.
Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева // Философия науки. - 2007. - N 4. - С. 183-191. - Зональная научная библиотека Южного федерального университета. - code, phna. - year, 2007. - no, 4. - ss, 183. - ad. - d, 2007, ####, 0. - RUMARS-phna07_no4_ss183_ad1
. - ISSN 1560-7488ББК 87.252 + 22.12
Рубрики: Философия
Философские вопросы и методология отдельных наук
Математика
Математическая логика
Кл.слова (ненормированные):
множества (математика) -- числа -- трансфинитные числа -- теория множеств
Аннотация: О теории трансфинитных чисел.
Доп.точки доступа:
Целищев, В. В. \.\; Кантор, Георг (немецкий математик ; 1845-1918) \г.\
Найти похожие
|
2.
|
Бессонов, А. В.
Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )
. - ISSN 1560-7488ББК 22.12 + 87.4
Рубрики: Логика
Математика
Математическая логика
Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.
Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, А. (американский логик и математик)
Найти похожие
|
3.
|
Жирабок, Алексей Нилович (д-р техн. наук; профессор).
Канонические формы нелинейных динамических систем [Текст] / А. Н. Жирабок ; ст. представлена к публ. В. Ю. Рутковским // Проблемы управления. - 2008. - N 6. - С. 11-17. - Библиогр.: с. 17 (12 назв. )
. - ISSN 1819-3161ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
динамические системы -- нелинейные динамические системы -- математический аппарат -- конструкции математического аппарата -- канонические формы -- наблюдаемые канонические формы -- алгебра функций -- управляемые канонические формы
Аннотация: Рассмотрена задача построения канонических форм нелинейных систем, описываемых непрерывными и дискретными динамическими моделями.
Доп.точки доступа:
Рутковский, В. Ю. (член редколлегии) \.\
Найти похожие
|
4.
|
Мулянова, Л. П.
Предел в математике и идеал в литературе [Текст] / Л. П. Мулянова, Л. В. Смоланова // Вестник Мордовского университета. - 2008. - N 3. - С. 289-291. - Библиогр.: с. 291 (3 назв. )
. - ISSN Вест-ник ББК 22.12 + 83.00
Рубрики: Математическая логика
Математика
Литературоведение
Теория литературы
Кл.слова (ненормированные):
достижение идеала -- идеал -- литература -- математика -- межнаучная интеграция -- предел (математика)
Аннотация: В рамках проблемы интеграции различных научных сфер рассматривается вопрос о связи понятия идеалов в литературе и предела в математике. Отмечается важность общего гармонического развития личности и стремления к идеалу для воспитания настоящего человека.
Доп.точки доступа:
Смоланова, Л. В.
Найти похожие
|
5.
|
Черепанов, Е. М.
Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. )
. - ISSN 1560-7488ББК 87.42 + 22.12
Рубрики: Логика
Логические формы и законы
Математика
Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm
Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
6.
|
Самохвалов, К. Ф.
Физический тезис Черча [Текст] / К. Ф. Самохвалов // Философия науки. - 2010. - N 2. - С. 34-61. - Библиогр.: с. 60-61 (25 назв. )
. - ISSN 1560-7488ББК 87.4 + 22.12
Рубрики: Логика
Общие вопросы логики
Математика
Математическая логика
Кл.слова (ненормированные):
сверхзадачи -- Черча Тезис -- Тезис Черча -- гипервычисление
Аннотация: В статье дается методологический анализ физического тезиса Черча.
Доп.точки доступа:
Черч, А. (американский логик и математик)
Нет сведений об экземплярах (Нет сведений об источнике)
Найти похожие
|
7.
|
Белякин, Н. В.
Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. )
. - ISSN 1560-7488ББК 87.42 + 22.12
Рубрики: Логика
Логические формы и законы
Математика
Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.
Доп.точки доступа:
Черепанов, Е. М.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
8.
|
Сметанин, Ю. М. (канд. физ. -мат. наук).
Сопоставление расширенной алгебры множеств и алгебры логики с точки зрения проблем полисиллогистики [Текст] / Ю. М. Сметанин // Менеджмент: теория и практика. - 2010. - N 3/4. - С. 12-27 : 1 табл., 3 рис. - Библиогр.: с. 27 (8 назв. )
ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
алгебра множеств -- понятия -- логика -- алгебра логики -- полисиллогистика -- Жергонновы отношения -- отношения Жергонновы -- полисиллогизмы -- универсум
Аннотация: Освещаются основные понятия алгебры множеств. Рассматриваются Жергонновы отношения, классические и расширенные. Дается сопоставление соотношений двух множеств на фоне универсума.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
9.
|
Лобанов, В. И.
Алгебра 6-значной логики [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 2. - С. 64. - Библиогр.: с. 64 (1 назв. )
. - ISSN 1680-2721ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
логика -- общеразговорная логика -- логика здравого смысла -- математический анализ -- комплементарность -- комплементарная логика -- взаимоинверсность
Аннотация: Комплементарность логики здравого смысла.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
10.
|
Лобанов, В. И. (канд. техн. наук).
О несовместимости посылок [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 2. - С. 65-66. - Библиогр.: с. 66 (2 назв. )
. - ISSN 1680-2721ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
логика -- вероятностная логика -- логические равенства -- диаграммы Лобанова -- Лобанова диаграммы
Аннотация: Решение логических уравнений.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
11.
|
Лобанов, В. И. (канд. техн. наук).
Разложение логических уравнений на множители [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 2. - С. 67-68 : ил. - Библиогр.: с. 68 (2 назв. )
. - ISSN 1680-2721ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
логика -- логические уравнения -- логические задачи -- решение логических задач -- силлогизмы
Аннотация: Способы решения логических задач.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
12.
|
Лобанов, В. И.
Алгебра 6-значной логики [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 2. - С. 64. - Библиогр.: с. 64 (1 назв. )
. - ISSN 1680-2721ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
логика -- общеразговорная логика -- логика здравого смысла -- математический анализ -- комплементарность -- комплементарная логика -- взаимоинверсность
Аннотация: Комплементарность логики здравого смысла.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
13.
|
Лобанов, В. И. (канд. техн. наук).
О несовместимости посылок [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 2. - С. 65-66. - Библиогр.: с. 66 (2 назв. )
. - ISSN 1680-2721ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
логика -- вероятностная логика -- логические равенства -- диаграммы Лобанова -- Лобанова диаграммы
Аннотация: Решение логических уравнений.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
14.
|
Лобанов, В. И. (канд. техн. наук).
Разложение логических уравнений на множители [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 2. - С. 67-68 : ил. - Библиогр.: с. 68 (2 назв. )
. - ISSN 1680-2721ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
логика -- логические уравнения -- логические задачи -- решение логических задач -- силлогизмы
Аннотация: Способы решения логических задач.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
15.
|
Иванов, Игорь Анатольевич (кандидат педагогических наук ; доцент ; декан факультета).
Историко-математический аспект применения рациональной логики в теоретической и прикладной математике [Текст] / И. А. Иванов // Образование и наука. - 2009. - N 2. - С. 22-27. - Библиогр.: с. 27 (11 назв. )
. - ISSN 1994-5639ББК 22.12 + 74.202
Рубрики: Математика
Математическая логика
Образование. Педагогика
Теория и методика обучения
Кл.слова (ненормированные):
обучение математике -- личностно-ориентированная направленность -- прикладная математика -- теоретическая математика -- математические модели -- рациональная логика -- рациональные рассуждения -- рационализм -- формальная логика -- конструктивная логика -- конструктивизм -- историко-математические аспекты -- история математики
Аннотация: Рассматривается исторический аспект, состояние и перспективы развития вопроса привлечения логики прикладной математики для построения математических моделей и использование ее в обучении математике как в школе, так и в вузе.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
16.
|
Лобовиков, Владимир Олегович.
Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем [Текст] / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 1 (88). - С. 14-28. - Библиогр.: с. 27-28 (17 назв. )
. - ISSN 0131-2227ББК 87.22 + 87.21 + 22.12
Рубрики: Философия
Теория познания
Метафизика. Онтология
Математика
Математическая логика
Кл.слова (ненормированные):
философия математики -- этика математики -- формально-логическая непротиворечивость -- формально-этическая противоречивость -- аналитическая философия
Аннотация: Статья посвящена формально-этическому аспекту философии математики. Автор выносит на обсуждение результаты исследования отношений между формально-логической непротиворечивостью и формально-этической противоречивостью.
Доп.точки доступа:
Гедель, К.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
17.
|
Суровцев, Валерий Александрович (доктор философских наук).
Л. Витгенштейн и Ф. П. Рамсей о тождестве [Текст]. [Ч. 2] / В. А. Суровцев // Вестник Томского государственного университета. Философия. Социология. Политология. - 2011. - N 2 (14). - С. 167-181. - Библиогр.: с. 181 (8 назв. )
ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
теория классов -- тождество -- уравнения -- тавтология -- понятие числа -- символическая система -- английские философы -- английские математики -- математические тавтологии -- тождество объектов
Аннотация: Рассматривается теория классов, основанная на концепции тождества объектов, предложенная Бертраном Артуром Вильямом Расселом и Альфредом Нортом Уайтхедом. Анализируется критика данной концепции Людвигом Витгенштейном и Франком Пеннинстоном Рамсеем, с точки зрения которой сравниваются предложенные ими решения возникающих в концепции тождества проблем.
Доп.точки доступа:
Витгенштейн, Л. (австрийский философ ; 1889-1951); Рамсей, Ф. П. (английский философ ; 1903-1930); Рассел, Б. А. В. (английский философ ; 1872-1970); Уайтхед, А. Н. (английский математик ; 1861-1947)
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
18.
|
Анкин, Д. В.
К эпистемологической интерпретации семантики [Текст] / Д. В. Анкин // Философия науки. - 2012. - № 3. - С. 29-35. - Библиогр.: с. 35 (5 назв. )
. - ISSN 1560-7488ББК 87.25 + 22.12
Рубрики: Философия
Философия науки
Математика
Математическая логика
Кл.слова (ненормированные):
эпистемология -- интерпретации -- истина -- семантика -- теория истины -- истины теория -- логика
Аннотация: В статье обосновывается тезис, согласно которому эпистемологическая интерпретация собственных результатов в духе корреспондентной (классической) теории истины, которую предлагает Тарский, вовсе не является обязательной.
Доп.точки доступа:
Тарский, А. (польско-американский математик; логик ; 1901-1983)
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
19.
|
Ладов, В. А.
"Principia Mathematica" о природе логических парадоксов [Текст] / В. А. Ладов // Философия науки. - 2012. - № 3. - С. 36-44. - Библиогр.: с. 43-44 (7 назв. )
. - ISSN 1560-7488ББК 87.25 + 22.12
Рубрики: Философия
Философия науки
Математика
Математическая логика
Кл.слова (ненормированные):
логика -- парадоксы -- основания -- порочные круги -- классы -- принципы
Аннотация: Статья посвящена исследованию природы логических парадоксов. Утверждается, что принцип порочного круга, который авторы "Principia Mathematica" рассматривали как универсальное основание парадоксальности, не является таковым по отношению по крайней мере к некоторым парадоксам. В частности, парадокса класса всех стандартных классов, сформулированный Б. Расселом, имеет иную природу и должен получить объяснение своего появления исходя из иного основания, отличного от принципа порочного круга.
Доп.точки доступа:
Рассел, Б. (английский математик; философ ; 1872-1970)
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
20.
|
Ламберов, Л. Д.
Дефляционизм и неконсервативность: проблема релевантности? [Текст] / Л. Д. Ламберов // Философия науки. - 2012. - № 3. - С. 45-52. - Библиогр.: с. 51-52 (16 назв. )
. - ISSN 1560-7488ББК 87.25 + 22.12
Рубрики: Философия
Философия науки
Математика
Математическая логика
Кл.слова (ненормированные):
дефляционизм -- истина -- неконсервативность -- адекватность -- теория истины -- истины теория
Аннотация: Статья посвящена рассмотрению дефляционных теорий истины и проблемы неконсервативности. Ставится вопрос о релевантности аргументов от неконсервативности при рассмотрении дефляционизма.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
|
|
|
Главная
Описание
Шлюз Z39.50
Книги фонда НБ СГЮА
Стандартный