621.398 Р 980 Рябинин, И. А. (д-р техн.наук). Логико-вероятностное исчисление как аппарат исследования надежности и безопасности структурно-сложных систем [Текст] / И. А. Рябинин // Автоматика и телемеханика. - 2003. - N7. - Библиогр.:c.185-186(26назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника--Автоматика и телемеханика Логика--Общие вопросы логики Математика--Математическая логика Кл.слова (ненормированные): исчисления -- логико-вероятностные исчисления -- надежность -- системы -- сложные системы -- структурно-сложные системы -- математические исследования -- дискретная математика -- вероятностная логика -- алгебра логики Аннотация: Кратко излагается понятие вероятностной логики как развитие индуктивной логики. Подчеркивается существенная разница между вероятностной логикой и логико-вероятностным исчислением - разделом математики, трактующим правила вычисления и оперирования с высказываниями, принимающими только два значения истинности (истина и ложь). Логико-вероятностные исчисления базируются на алгебре логики и правилах замещения логических аргументов в функциях алгебры логики вероятностями их истинности и логических операций арифметическими операциями. Перейти: www:http://www.apr.ru |
510.6 Л 363 Левин, В. И. Методы непрерывной логики в задачах управления [Текст] / В. И. Левин // Автоматика и телемеханика. - 2003. - N3. - Библиогр.:c.50-51(21назв.) . - ISSN 0005-2310
Рубрики: Математика--Математическая логика Радиоэлектроника--Автоматика и телемеханика Кл.слова (ненормированные): методы непрерывной логики -- дискретная логика -- непрерывная логика -- непрерывно-логические функции -- двузначная логика Аннотация: Дано общее описание непрерывной логики, ее задач и методов и определены ее основные операции. Описана алгебра непрерывной логики, перечислены ее основные функции с 1, 2 и 3 переменными. Изложены законы этой логики, отмечено их отличие от законов дискретной двузначной логики. Представлены проблемы перечисления всех непрерывно-логических функций в стандартной форме. Перейти: www:http://www.apr.ru |
621.398 П 683 Правильщиков, П. А. (канд. техн. наук). Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике [Текст] [Текст] / П. А. Правильщиков // Автоматика и телемеханика. - 2004. - N 7. - Библиогр.: с. 154-156 (43 назв. ). - Часть текста на англ. яз. . - ISSN 0005-2310
Рубрики: Радиоэлектроника--Автоматика и телемеханика Математика--Математическая логика Кл.слова (ненормированные): техническая диагностика -- построение тестов -- моделирование -- D-алгоритмы -- естественный параллелизм -- закон сохранения перебора -- тесты -- алгоритмы Аннотация: Вводятся графические модели процессов построения тестов и моделирования с помощью D-алгоритмов типичные и минимальные диагностические лабиринты. |
510.6 Б 394 Безель, Я. В. Можно ли улучшить работу ума? [Текст] : Новый взгляд на проблему / Я. В. Безель // Вестник Российской академии наук. - 2003. - Т.73,N4. - Библиогр.:4 назв. - Как улучшить работу ума?Алгоритмы без программистов - это очень просто!. - Рец. на кн.:Паронджанов В.Д.Как улучшить работу ума?Алгоритмы без программистов - это очень просто!-М.:Дело,2001.-360 с. . - ISSN 0869-5873
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ДРАКОН (искусственный язык) -- алгоритмы -- интеллект -- искусственные языки -- книги -- прикладная математика -- работа ума -- рецензии -- ум Аннотация: Уже само название "Как улучшить работу ума"? приглашает читателя к серьезному разговору о тайнах человеческого интеллекта.Автор демонстрирует новый подход на проблему создания искусственных языков. Доп.точки доступа: Паронджанов, В.Д. |
165 Б 649 Бирюков, Б. В. Герман Вейль [Текст] : К 85-летию знаменитого "Континуума" / Б. В. Бирюков, Л. Г. Бирюкова // Вестник Московского университета. Сер. 7, Философия. - 2004. - N 2. - Библиогр. в примеч. - Вейль Герман . - ISSN 0201-7385
Рубрики: Философия--Гносеология Логика--Общие вопросы логики Математика--Математическая логика Кл.слова (ненормированные): 20 в. нач. -- предикативизм -- биографии -- ученые -- математики -- познание (филос. ) -- теория познания Аннотация: В 1918 г. в Лейпциге увидела свет небольшая книжка, явившаяся вехой в развитии философии математики прошлого столетия - это было сочинение математика-универсала, внесшего значительный вклад также и в теоретическую физику, Германа Вейля. Называлось оно - "Континуум". Эпохальное значение труда определялось тем, что в нем были сформулированы основные положения нового неклассического направления в логическом основании математики, которое впоследствии получило название предикативизм. Доп.точки доступа: Бирюкова, Л. Г.; Вейль, Герман |
510.6 Н 192 Назаров, А. И. К вопросу об экспериментальном определении местоположения [Текст] / А. И. Назаров // Вестник Московского университета. Сер.20, Педагогическое образование. - 2003. - N2 . - ISSN ХХХХ-ХХХХ
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): определение местоположения -- математическое ожидание -- случайные величины -- столицы -- различия -- улицы -- нумерация Аннотация: Статья перепечатана из журнала "Третий полюс". (СПб., 1997. N1(10)). Предложены два метода решения задачи определения местонахождения. |
510.6 К 662 Кордина, Н. Е. Нестандартные задания по теме "Системы линейных уравнений" [Текст] / Н. Е. Кордина // Математика в школе. - 2001. - N3. - Библиогр.:с.39 (2 назв.) . - ISSN 0130-3358
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): задача по математике -- квадратное уравнение -- линейное уравнение -- логическое упражнение -- математическая задача -- урок математики Аннотация: Подборка заданий по теме "Системы линейных уравнений", направленных на развитие умения анализировать, сравнивать, подмечать определенные закономерности |
510.6 А 861 Артемов, С. Н. Подход Колмогорова и Геделя к интуиционистской логике и работы последнего десятилетия в этом направлении [Текст] / С. Н. Артемов // Успехи математических наук. - 2004. - Т. 59, N 2. - Библиогр.: с. 33-36 (87 назв. ). - Подход Колмогорова-ГеделяЛогика доказательствДве модели доказуемостиДальнейшее развитие . - ISSN 0042-1316
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): подход Колмогорова-Геделя -- Геделя-Колмогорова подход -- интуиционистская логика -- доказуемостное исчисление -- полиномы доказательств -- язык логики доказательств -- модальная логика -- логика -- свидетельские функции -- рефлексивная комбинаторная логика -- системы верификации -- рефлексивная логика -- комбинаторная логика Аннотация: Интуиционистская математика была создана Брауэром на основе конструктивных способов рассуждений, при которых критерием истинности является наличие доказательства. В работах Колмогорова и Геделя была предложена идея интерпретации интуиционистской логики на основе классических понятий задачи и ее решения и понятия доказуемости. В 1933 году Гедель сделал первое существенное продвижение в этом направлении. Несмотря на большие успехи в исследовании интуиционизма точной модели интуиционистской логики на основе этого подхода не было построено вплоть до работы автора 1995 года. |
510.6 Д 151 Дален, Д. ван Колмогоров и Брауэр о конструктивной импликации и правило противоречия [Текст] : [перевод] / Д. ван Дален // Успехи математических наук. - 2004. - Т. 59, N 2. - Библиогр.: с. 63-64 (35 назв. ). - Брауэр и гипотетическое суждениеПринятие правила противоречия . - ISSN 0042-1316
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): интуиционистская логика -- импликации -- гипотетические суждения -- принципы Брауэра -- Брауэра принципы -- принципы противоречия -- интерпретации импликаций -- правила противоречия -- принцип Гейтинга -- Гейтинга принцип Аннотация: Анализируется роль импликации и отрицания в принципе противоречия в трудах Брауэра, Колмогорова и Гейтинга. Утверждается, что точка зрения Брауэра 1907 года слишком жестка для создания удовлетворительной логики в своем чтении импликации. Сравниваются перечисленные выше взгляды и дается заключение, что проблема интерпретации доказательств, будучи правильно понятыми, допускают полную интуиционистскую логику. |
510.6 П 896 Пустыльников, Л. Д. О представлении дзета-функции Римана в критической полосе через бесконечное произведение матриц второго порядка и об одной динамической системе [Текст] / Л. Д. Пустыльников // Успехи математических наук. - 2004. - Т. 59, N 4. - Библиогр.: с. 198 (1 назв. ) . - ISSN 0042-1316
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): дзета-функции Римана -- Римана дзета-функции -- динамические системы -- произведения матриц -- матрицы -- гипотеза Римана -- Римана гипотеза Аннотация: Доказывается, что в критической полосе функция представляется через бесконечное произведение конкретных матриц второго порядка. |
371.3 Т 41 Тимофеева, И. Л. Размышления об обратных теоремах и кванторах [] / И. Л. Тимофеева // Математика в школе. - 2005. - N 5. - С. 64-68. - Библиогр.: с. 68 (4 назв. ) . - ISSN 0130-9358
Рубрики: Математика--Математическая логика Образование. Педагогика--Теория и методика обучения Кл.слова (ненормированные): математика; теоремы; обратные теоремы; прямые теоремы; методы построения обратных утверждений; обратные утверждения; кванторы; математическая логика; построения доказательств; логические средства; эвристические средства; импликации Аннотация: Приводятся способы доказательства обратных теорем и примеры использования кванторов в обучении математике. |
510.6 К 59 Козлов, В. В. Равномерное распределение и сходимость по Вороному [] / В. В. Козлов // Математический сборник. - 2005. - Т. 196, N 10. - С. 103-110. - Библиогр.: с. 110 (6 назв. ) . - ISSN 0368-8666
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): метод Вороного; Вороного метод; теоремы; задачи; логарифмы; методы суммирования; равномерные распределения; метод Чезаро; Чезаро метод Аннотация: Имеется широкое обобщение равномерно распределенной последовательности по Вейлю, когда частота попадания элементов этой последовательности в интервал определяется с использованием матричного метода суммирования общего вида. В работе указаны условия равномерного распределения в случае, когда в качестве метода суммирования берется регулярный метод Вороного. Доп.точки доступа: Мадсен, Т. |
510.6 З-38 Захаров, В. К. Локальная теория множеств [] / В. К. Захаров // Математические заметки. - 2005. - Т. 77, N 2. - С. 194-212. - Библиогр.: с. 212 (19 назв. ) . - ISSN 0025-567Х
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): теория множеств; категории; теория категорий; локальная теория множеств; аксиоматическая теория множеств Аннотация: В 1945 г. Эйленбергом и Маклейном было введено новое математическое понятие категории. В 1959 г. Маклейн поставил общую проблему построения новой и более гибкой аксиоматической теории множеств, которая могла бы служить адекватным логическим основанием для всей наивной теории категорий. В данной работе даются аксиоматические основания локальной теории множеств. |
510.6 Ч-49 Чернов, А. В. Финитные задачи и логика слабого закона исключенного третьего [] / А. В. Чернов // Математические заметки. - 2005. - Т. 77, N 2. - С. 291-302. - Библиогр.: с. 302 (11 назв. ) . - ISSN 0025-567Х
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): финитные задачи; пропозициональная формула; мощность достаточного множества решений; ДМР; логика слабого закона исключенного третьего Аннотация: Определяется новая характеристика пропозициональной формулы как операции над финитными задачами - мощность достаточного множества решений (ДМР) . Доказывается, что если формула выводима в логике слабого закона исключенного третьего, то мощность ДМР ограничена константой, зависящей только от числа переменных; в противном случае достижимая мощность ДМР близка (больше корня некоторой степени) к тривиальной верхней оценке на нее. |
510.6 Х 40 Хессами Пилеруд, Т. Оценки снизу линейных форм от значений полилогарифмов [] / Т. Хессами Пилеруд, Х. Хессами Пилеруд // Математические заметки. - 2005. - Т. 77, N 4. - С. 623-629. - Библиогр.: с. 629 . - ISSN 0025-567Х
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): линейные формы; оценка снизу; полилогарифмы; значения полилогарифмов; аппроксимации Эрмита-Паде; Эрмита-Паде аппроксимации Аннотация: С помощью аппроксимаций Эрмита-Паде второго рода получена оценка снизу для модуля линейной формы с целыми коэффициентами от значений полилогарифмических функций в рациональной точке. Эта оценка учитывает рост всех коэффициентов линейной формы. Доп.точки доступа: Хессами Пилеруд, Х. |
510.6 Н 42 Нееман, Ю. Геометризация спонтанно нарушенных калибровочных симметрий [Текст] / Ю. Нееман // Теоретическая и математическая физика. - 2004. - Т. 139, N 3. - С. 355-362. - Библиогр.: с. 361-362 (37 назв. ) . - ISSN 0564-6162
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): спонтанные нарушения -- суперсимметрии -- калибровочные симметрии -- геометризации Аннотация: Дается обзор геометрического подхода к спонтанно нарушенным калибровочным симметриям. |
510.6 П 32 Пименов, А. Б. Четырехпетлевая проверка алгоритма суммирования диаграмм Фейнмана в N=1 суперсимметричной электродинамике [Текст] / А. Б. Пименов // Теоретическая и математическая физика. - 2006. - Т. 147, N 2. - С. 290-302. - Библиогр.: с. 302 (11 назв. ). - ил.: 3 рис. . - ISSN 0564-6162
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): суперсимметрия -- тождество Уорда -- Уорда тождество -- высшие ковариантные производные -- функции Грина -- Грина функции -- уравнения Швингера-Дайсона -- Швингера-Дайсона уравнения -- диаграмма Фейнмана -- Фейнмана диаграмма Аннотация: Проверяется метод суммирования диаграмм Фейнмана, основанный на использовании уравнений Швингера-Дайсона и тождеств Уорда. Для рассматриваемых диаграмм доказана справедливость дополнительного тождества для функции Грина, которое не сводится к калибровочному тождеству Уорда. |
519.22 М 31 Маслов, В. П. Уточнение закона Ципфа-Мандельброта и лакунарность в идеальном газе [Текст] / В. П. Маслов // Теоретическая и математическая физика. - 2006. - Т. 147, N 3. - С. 511-512. - Библиогр.: с. 512 (4 назв. ) . - ISSN 0564-6162
Рубрики: Математика--Математическая логика--Математическая статистика Кл.слова (ненормированные): закон Ципфа-Мандельброта -- Ципфа-Мандельброта закон -- идеальные газы -- префактор -- лакунарность Аннотация: Формула Ципфа-Мальденброта для частот встречаемости уточнена и применена к идеальному газу. Это уточнение сказывается на величине префактора и на величине лакунарности. |
510.6 З-78 Зобов, В. Е. О реализации стандартных квантовых вычислительных сетей посредством адиабатической эволюции [Текст] / В. Е. Зобов, авт. А. С. Ермилов // Теоретическая и математическая физика. - 2007. - Т. 150, N 3. - С. 461-472. - Библиогр.: с. 472 (13 назв. ). - ил.: 2 рис. . - ISSN 0564-6162
Рубрики: Физика--Теоретическая физика Математика--Математическая логика Кл.слова (ненормированные): квантовые алгоритмы -- адиабатическая эволюция -- ядерный магнитный резонанс Аннотация: Исследуется адиабатический эквивалент для стандартной квантовой сети из элементарных логических операторов. Предложена схема изменения гамильтониана во времени, допускающая простую реализацию на ядерных спинах, управляемых радиочастотными импульсами. Доп.точки доступа: Ермилов, А. С. |
519.21 В 57 Владимиров, В. С. О нелинейном уравнении p-адической открытой струны для скалярного поля [Текст] / В. С. Владимиров // Успехи математических наук. - 2005. - Т. 60, N 6. - С. 73-88. - Библиогр.: с. 87-88 (20 назв. ). - Полиномы ЭрмитаСвойства оператора КРазложение решений в ряды по полиномам ЭрмитаСвязь с решениями уравнения теплопроводностиСлучай четного p=2qСлучай p=2Случай нечетного p=2q+1. - Ил. . - ISSN 0042-1316
Рубрики: Математика--Математическая логика--Теория вероятностей Кл.слова (ненормированные): тахионы; одномерные нелинейные уравнения; краевые задачи; скалярные поля; скалярные поля тахионов; методы разложения решений; решения краевых задач; полиномы Эрмита; Эрмита полиномы; нелинейные уравнения; уравнения теплопроводности; p-адическая открытая струна; разрывные решения; псевдодифференциальные уравнения; одномерные нелинейные псевдодифференциальные уравнения Аннотация: Дается обзор результатов о структуре решений одномерного нелинейного псевдодифференциального уравнения, описывающего динамику (роллинг) p-адической открытой струны для скалярного поля тахионов. Применяются метод разложения решения в ряды по полиномам Эрмита и метод сведения к нелинейной краевой задаче для уравнения теплопроводности. Приведены некоторые нерешенные вопросы, в частности вопрос о существовании решения краевой задачи при p=2. |