Тейт, У. Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева // Философия науки. - 2007. - N 4. - С. 183-191
Рубрики: Философия Философские вопросы и методология отдельных наук Математика Математическая логика Кл.слова (ненормированные): множества (математика) -- числа -- трансфинитные числа -- теория множеств Аннотация: О теории трансфинитных чисел. Доп.точки доступа: Целищев, В. В. \.\; Кантор, Георг (немецкий математик ; 1845-1918) \г.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Бессонов, А. В. Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )
Рубрики: Логика Математика Математическая логика Общие вопросы логики Кл.слова (ненормированные): вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча. Доп.точки доступа: Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Калябин, Г. А. Условия расходимости средних Рисса от функций Радемахера [Текст] / Г. А. Калябин // Доклады Академии наук. - 2008. - Т. 419, N 2, март. - С. 151-154. - Библиогр.: с. 154 (8 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): функции Радемахера -- Радемахера функции -- теоремы -- доказательство теоремы -- метод Рисса -- Рисса метод Аннотация: Рассматриваются условия расходимости средних Рисса от функций Радемахера. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Николенко, Сергей. Истина в математике: от Египта к... Египту? [Текст] / С. Николенко // Знание-сила. - 2008. - N 6. - С. 63-69
Рубрики: Математика История математики Математическая логика Кл.слова (ненормированные): истина в математике -- математическая истина -- доказательства (математика) Аннотация: О математической истине. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Брусенцов, Н. П. (канд. техн. наук). Алгебраическая реконструкция силлогистики [Текст] / Н. П. Брусенцов // Информационные технологии. - 2008. - N 2. - С. 7-10. - Библиогр.: с. 10 (5 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): силлогистика -- логистика -- законы существования противоположностей -- теоретическая логика -- категоричекая силлогистика Аристотеля Аннотация: Данная исчерпывающая алгебраизация важнейшего фрагмента силлогистики убедительно подтверждает реальность воссоздания естественной, благоразумной логики Аристотеля на основе диалектического принципа существования противоположностей. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Махортов, С. Д. (канд. физ.-мат. наук). Алгебраический подход к исследованию и оптимизации баз знаний продукционного типа [Текст] / С. Д. Махортов, С. Л. Подвальный // Информационные технологии. - 2008. - N 8. - С. 55-60. - Библиогр.: с. 60 (11 назв. ) . - ISSN 1684-6400
Рубрики: Математика Математическая логика Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): логические системы -- алгебраизация логики -- интеллектуальные системы -- продукционно-логические системы -- теория булевых решеток -- оптимизация баз знаний Аннотация: Рассматривается алгебраическая система, содержащая семантику расширенной продукционной логики. Доп.точки доступа: Подвальный, С. Л. (д-р техн. наук, проф.) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Жирабок, Алексей Нилович (д-р техн. наук; профессор). Канонические формы нелинейных динамических систем [Текст] / А. Н. Жирабок ; ст. представлена к публ. В. Ю. Рутковским // Проблемы управления. - 2008. - N 6. - С. 11-17. - Библиогр.: с. 17 (12 назв.) . - ISSN 1819-3161
Рубрики: Математика Математическая логика Кл.слова (ненормированные): динамические системы -- нелинейные динамические системы -- математический аппарат -- конструкции математического аппарата -- канонические формы -- наблюдаемые канонические формы -- алгебра функций -- управляемые канонические формы Аннотация: Рассмотрена задача построения канонических форм нелинейных систем, описываемых непрерывными и дискретными динамическими моделями. Доп.точки доступа: Рутковский, В. Ю. (член редколлегии) \.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Шалак, Владимир Иванович (канд. филос. наук, ст. науч. сотрудник Ин-та философии РАН). Канон и органон [Текст] / В. И. Шалак // Эпистемология и философия науки. - 2008. - Т. 18, N 4. - С. 210-217. . - Библиогр. в сносках
Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): каноны -- интуиция -- древнегреческая философия -- логический субъект -- естественные науки Аннотация: Автор доказывает на примере математической логики, что она должна быть свободной не только от конкретного содержания, но и от конкретных форм, не гарантирующих выражения в них всякого будущего опыта. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Хомич, В. И. О свойстве простой подстановки для суперинтуиционистских и модальных пропозициональных логик [Текст] / В. И. Хомич // Доклады Академии наук. - 2008. - Т. 423, N 6, декабрь. - С. 740-742. . - Библиогр.: с. 742 (14 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): простая подстановка -- модальная логика -- модальное исчисление -- модальные пропозициональные формулы -- топологическая булева алгебра Аннотация: Изучены свойства простой подстановки. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Браун, Джеймс Роберт (проф. Ун-та Торонто (Канада)). Может ли математика объяснять? [Текст] / Дж. Р. Браун ; пер. с англ. Л. Г. Антипенко // Эпистемология и философия науки. - 2009. - Т. 19, N 1. - С. 16-32. . - Библиогр. в сносках
Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): математический реализм -- природа (философия) -- математическая репрезентация Аннотация: Автор доказывает, что математика моделирует и отслеживает естественный мир, а не описывает его непосредственно. Доп.точки доступа: Антипенко, Л. Г. \.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Семенов, А. А. Декомпозиционные представления логических уравнений в задачах обращения дискретных функций [Текст] / А. А. Семенов // Известия РАН. Теория и системы управления. - 2009. - N 5. - С. 47-61. . - Библиогр.: c. 61 (32 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): логические уравнения -- обращение дискретных функций -- системы логических уравнений Аннотация: Рассмотрены задачи обращения дискретных функций, вычислимых детерминированным образом за полиномиальное время. Используется пропозициональный подход, основой которого является техника представления алгоритмов вычисления функций в форме систем логических уравнений. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Адян, С. И. Оценка сложности вывода в одной системе подстановок [Текст] / С. И. Адян // Доклады Академии наук. - 2009. - Т. 428, N 3, сентябрь. - С. 295-299. . - Библиогр.: с. 299
Рубрики: Математика Математическая логика Кл.слова (ненормированные): оценка сложности вывода -- сложность вывода -- система подстановок -- подстановки в системе сигма -- система сигма Аннотация: Для системы подстановок сигма получена квадратичная верхняя оценка максимальной длины цепочек вывода из данного слова. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
О некоторых свойствах одномерных унимодальных отображений [Текст] / Э. В. Недоступов [и др. ] // Доклады Академии наук. - 2010. - Т. 430, N 1, январь. - С. 23-28 : 4 рис. - Библиогр.: с. 28 (6 назв. ) . - ISSN 0869-5652
Рубрики: Математика--4 рис. Математическая логика Кл.слова (ненормированные): одномерные отображения -- унимодальные отображения -- разностные уравнения -- моделирование популяций -- математическая логика Аннотация: Проведено исследование одномерных унимодальных отображений, полученных при описании динамики численности животных. Предложены оригинальные способы нахождения периодических траекторий одномерных унимодальных отображений. Доп.точки доступа: Недоступов, Э. В.; Саранча, Д. А.; Чигерев, Е. Н.; Юрезанская, Ю. С. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Махортов, С. Д. (канд. физ. -мат. наук). Интегрированная среда логического программирования LPEexpert [Текст] / С. Д. Махортов // Информационные технологии. - 2009. - N 12. - С. 65-66. - Библиогр.: с. 66 (5 назв. ) . - ISSN 1684-6400
Рубрики: Математика Математическая логика Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): программные пакеты -- LPEexpert -- логическое программирование -- алгебраические модели -- продукционные системы -- управление знаниями -- БЗ -- базы знаний Аннотация: В статье кратко представлены функциональные возможности пакета программ LPEexpert, предназначенного для разработки продукционных систем и содержащего компьютерную реализацию LP - структур. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Черепанов, Е. М. Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Хисамиев, А. Н. (Сигма) -ограниченные алгебраические системы и универсальные функции [Текст] / А. Н. Хисамиев // Доклады Академии наук. - 2010. - T.431, N 6. - С. 747-750. - Библиогр.: с. 750 . - ISSN 0869-5652
Рубрики: Математика Математическая логика Кл.слова (ненормированные): абсолютная теория вычислимости -- вычислимые фукции -- натуральные числа Аннотация: Введено понятие относительно конечного подмножества алгебраической системы. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Панов, В. Г. (канд. физ.-мат. наук). О понятии синергизма в исследованиях с бинарными факторами [Текст] / В. Г. Панов, Ю. В. Нагребецкая // Информатика и системы управления. - 2010. - N 2 (24). - С. 22-25. - Библиогр.: с. 24-25 (6 назв.) . - ISSN 1814-2400
Рубрики: Биология Биокибернетика Математика Математическая логика Кл.слова (ненормированные): синергизм -- антагонизм -- теория достаточных причин -- бинарные испытания -- бинарная теория -- теория булевых алгебр -- полиномы Жегалкина -- Жегалкина полиномы -- терминология Аннотация: Анализируется понятие синергизма (антагонизма)в контексте модели клинических испытаний с бинарными факторами. Для формализации использована концепция достаточных причин. Приведены аргументы, показывающие необходимость уточнения имеющейся классификации типов взаимодействия двух бинарных факторов. Перейти: http://test.amursu.ru/attachments/ics/N24_05.pdf Доп.точки доступа: Нагребецкая, Ю. В. (канд. физ.-мат. наук) Имеются экземпляры в отделах: всего 5 : н.з. (1), ч.з. (1), эн.ф. (1), аб. (2) Свободны: н.з. (1), ч.з. (1), эн.ф. (1), аб. (2) |
Самохвалов, К. Ф. Физический тезис Черча [Текст] / К. Ф. Самохвалов // Философия науки. - 2010. - N 2. - С. 34-61. . - Библиогр.: с. 60-61 (25 назв. )
Рубрики: Логика Общие вопросы логики Математика Математическая логика Кл.слова (ненормированные): сверхзадачи -- Черча Тезис -- Тезис Черча -- гипервычисление Аннотация: В статье дается методологический анализ физического тезиса Черча. Доп.точки доступа: Черч, А. (американский логик и математик) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Белякин, Н. В. Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. . - Библиогр.: с. 43-44 (8 назв. )
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями. Доп.точки доступа: Черепанов, Е. М. Нет сведений об экземплярах (Источник в БД не найден) |
Беклемишев, Л. Д. Теоремы Геделя о неполноте и границы их применимости. I [Текст] / Л. Д. Беклемишев // Успехи математических наук. - 2010. - Т. 65, вып. 5 (395). - С. 61-106. . - Библиогр.: с. 103-106 (68 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): теоремы Геделя -- Геделя теоремы -- неполнота -- недоказуемые утверждения -- алгоритмические проблемы Аннотация: Дан обзор результатов, связанных с теоремами Геделя о неполноте и границами их применимости. В первой части обсуждаются формулировки самого Геделя, а также современные усиления первой теоремы о неполноте. Сравниваются между собой различные формы и доказательства этой теоремы. Рассматриваются результаты о неполноте, связанные с алгоритмическими проблемами, и обсуждаются математически естественные примеры недоказуемых утверждений. Нет сведений об экземплярах (Источник в БД не найден) |