Библиотека Омского государственного университета им. Ф.М. Достоевского

Электронные ресурсы

Базы данных

Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска

Электронный каталог

Статьи из журналов: 2001-2014

Труды ОмГУ

История ОмГУ

Сводный каталог периодических изданий вузовских библиотек г.Омска

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Математика -- Математическая логика<.>)

Общее количество найденных документов : 31
Показаны документы с 1 по 20

1-20 21-31

621.398
Р 980

Рябинин, И. А. (д-р техн.наук).
Логико-вероятностное исчисление как аппарат исследования надежности и безопасности структурно-сложных систем [Текст] / И. А. Рябинин // Автоматика и телемеханика. - 2003. - N7. - Библиогр.:c.185-186(26назв.) . - ISSN 0005-2310

УДК

621.398

510.6

ББК 32.96 + 87.4 + 22.12
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Логика--Общие вопросы логики
Математика--Математическая логика
Кл.слова (ненормированные):
исчисления -- логико-вероятностные исчисления -- надежность -- системы -- сложные системы -- структурно-сложные системы -- математические исследования -- дискретная математика -- вероятностная логика -- алгебра логики
Аннотация: Кратко излагается понятие вероятностной логики как развитие индуктивной логики. Подчеркивается существенная разница между вероятностной логикой и логико-вероятностным исчислением - разделом математики, трактующим правила вычисления и оперирования с высказываниями, принимающими только два значения истинности (истина и ложь). Логико-вероятностные исчисления базируются на алгебре логики и правилах замещения логических аргументов в функциях алгебры логики вероятностями их истинности и логических операций арифметическими операциями.

Перейти: www:http://www.apr.ru

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

510.6
Л 363

Левин, В. И.
Методы непрерывной логики в задачах управления [Текст] / В. И. Левин // Автоматика и телемеханика. - 2003. - N3. - Библиогр.:c.50-51(21назв.) . - ISSN 0005-2310

УДК

510.6

621.398

ББК 22.12 + 32.96
Рубрики: Математика--Математическая логика
Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
методы непрерывной логики -- дискретная логика -- непрерывная логика -- непрерывно-логические функции -- двузначная логика
Аннотация: Дано общее описание непрерывной логики, ее задач и методов и определены ее основные операции. Описана алгебра непрерывной логики, перечислены ее основные функции с 1, 2 и 3 переменными. Изложены законы этой логики, отмечено их отличие от законов дискретной двузначной логики. Представлены проблемы перечисления всех непрерывно-логических функций в стандартной форме.

Перейти: www:http://www.apr.ru

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

621.398
П 683

Правильщиков, П. А. (канд. техн. наук).
Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике [Текст] [Текст] / П. А. Правильщиков // Автоматика и телемеханика. - 2004. - N 7. - Библиогр.: с. 154-156 (43 назв. ). - Часть текста на англ. яз. . - ISSN 0005-2310

УДК

621.398

510.6

ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Математика--Математическая логика
Кл.слова (ненормированные):
техническая диагностика -- построение тестов -- моделирование -- D-алгоритмы -- естественный параллелизм -- закон сохранения перебора -- тесты -- алгоритмы
Аннотация: Вводятся графические модели процессов построения тестов и моделирования с помощью D-алгоритмов типичные и минимальные диагностические лабиринты.

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

510.6
Б 394

Безель, Я. В.
Можно ли улучшить работу ума? [Текст] : Новый взгляд на проблему / Я. В. Безель // Вестник Российской академии наук. - 2003. - Т.73,N4. - Библиогр.:4 назв. - Как улучшить работу ума?Алгоритмы без программистов - это очень просто!. - Рец. на кн.:Паронджанов В.Д.Как улучшить работу ума?Алгоритмы без программистов - это очень просто!-М.:Дело,2001.-360 с. . - ISSN 0869-5873

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
ДРАКОН (искусственный язык) -- алгоритмы -- интеллект -- искусственные языки -- книги -- прикладная математика -- работа ума -- рецензии -- ум
Аннотация: Уже само название "Как улучшить работу ума"? приглашает читателя к серьезному разговору о тайнах человеческого интеллекта.Автор демонстрирует новый подход на проблему создания искусственных языков.

Доп.точки доступа:
Паронджанов, В.Д.

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

165
Б 649

Бирюков, Б. В.
Герман Вейль [Текст] : К 85-летию знаменитого "Континуума" / Б. В. Бирюков, Л. Г. Бирюкова // Вестник Московского университета. Сер. 7, Философия. - 2004. - N 2. - Библиогр. в примеч. - Вейль Герман . - ISSN 0201-7385

УДК

165

510.6

ББК 87.22 + 87.4 + 22.12
Рубрики: Философия--Гносеология
Логика--Общие вопросы логики
Математика--Математическая логика
Кл.слова (ненормированные):
20 в. нач. -- предикативизм -- биографии -- ученые -- математики -- познание (филос. ) -- теория познания
Аннотация: В 1918 г. в Лейпциге увидела свет небольшая книжка, явившаяся вехой в развитии философии математики прошлого столетия - это было сочинение математика-универсала, внесшего значительный вклад также и в теоретическую физику, Германа Вейля. Называлось оно - "Континуум". Эпохальное значение труда определялось тем, что в нем были сформулированы основные положения нового неклассического направления в логическом основании математики, которое впоследствии получило название предикативизм.

Доп.точки доступа:
Бирюкова, Л. Г.; Вейль, Герман

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

510.6
Н 192

Назаров, А. И.
К вопросу об экспериментальном определении местоположения [Текст] / А. И. Назаров // Вестник Московского университета. Сер.20, Педагогическое образование. - 2003. - N2 . - ISSN ХХХХ-ХХХХ

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
определение местоположения -- математическое ожидание -- случайные величины -- столицы -- различия -- улицы -- нумерация
Аннотация: Статья перепечатана из журнала "Третий полюс". (СПб., 1997. N1(10)). Предложены два метода решения задачи определения местонахождения.

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

510.6
К 662

Кордина, Н. Е.
Нестандартные задания по теме "Системы линейных уравнений" [Текст] / Н. Е. Кордина // Математика в школе. - 2001. - N3. - Библиогр.:с.39 (2 назв.) . - ISSN 0130-3358

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
задача по математике -- квадратное уравнение -- линейное уравнение -- логическое упражнение -- математическая задача -- урок математики
Аннотация: Подборка заданий по теме "Системы линейных уравнений", направленных на развитие умения анализировать, сравнивать, подмечать определенные закономерности

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

510.6
А 861

Артемов, С. Н.
Подход Колмогорова и Геделя к интуиционистской логике и работы последнего десятилетия в этом направлении [Текст] / С. Н. Артемов // Успехи математических наук. - 2004. - Т. 59, N 2. - Библиогр.: с. 33-36 (87 назв. ). - Подход Колмогорова-ГеделяЛогика доказательствДве модели доказуемостиДальнейшее развитие . - ISSN 0042-1316

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
подход Колмогорова-Геделя -- Геделя-Колмогорова подход -- интуиционистская логика -- доказуемостное исчисление -- полиномы доказательств -- язык логики доказательств -- модальная логика -- логика -- свидетельские функции -- рефлексивная комбинаторная логика -- системы верификации -- рефлексивная логика -- комбинаторная логика
Аннотация: Интуиционистская математика была создана Брауэром на основе конструктивных способов рассуждений, при которых критерием истинности является наличие доказательства. В работах Колмогорова и Геделя была предложена идея интерпретации интуиционистской логики на основе классических понятий задачи и ее решения и понятия доказуемости. В 1933 году Гедель сделал первое существенное продвижение в этом направлении. Несмотря на большие успехи в исследовании интуиционизма точной модели интуиционистской логики на основе этого подхода не было построено вплоть до работы автора 1995 года.

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

510.6
Д 151

Дален, Д. ван
Колмогоров и Брауэр о конструктивной импликации и правило противоречия [Текст] : [перевод] / Д. ван Дален // Успехи математических наук. - 2004. - Т. 59, N 2. - Библиогр.: с. 63-64 (35 назв. ). - Брауэр и гипотетическое суждениеПринятие правила противоречия . - ISSN 0042-1316

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
интуиционистская логика -- импликации -- гипотетические суждения -- принципы Брауэра -- Брауэра принципы -- принципы противоречия -- интерпретации импликаций -- правила противоречия -- принцип Гейтинга -- Гейтинга принцип
Аннотация: Анализируется роль импликации и отрицания в принципе противоречия в трудах Брауэра, Колмогорова и Гейтинга. Утверждается, что точка зрения Брауэра 1907 года слишком жестка для создания удовлетворительной логики в своем чтении импликации. Сравниваются перечисленные выше взгляды и дается заключение, что проблема интерпретации доказательств, будучи правильно понятыми, допускают полную интуиционистскую логику.

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

10.

510.6
П 896

Пустыльников, Л. Д.
О представлении дзета-функции Римана в критической полосе через бесконечное произведение матриц второго порядка и об одной динамической системе [Текст] / Л. Д. Пустыльников // Успехи математических наук. - 2004. - Т. 59, N 4. - Библиогр.: с. 198 (1 назв. ) . - ISSN 0042-1316

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
дзета-функции Римана -- Римана дзета-функции -- динамические системы -- произведения матриц -- матрицы -- гипотеза Римана -- Римана гипотеза
Аннотация: Доказывается, что в критической полосе функция представляется через бесконечное произведение конкретных матриц второго порядка.

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

11.

371.3
Т 41

Тимофеева, И. Л.
Размышления об обратных теоремах и кванторах [] / И. Л. Тимофеева // Математика в школе. - 2005. - N 5. - С. 64-68. - Библиогр.: с. 68 (4 назв. ) . - ISSN 0130-9358

УДК

371.3

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Образование. Педагогика--Теория и методика обучения
Кл.слова (ненормированные):
математика; теоремы; обратные теоремы; прямые теоремы; методы построения обратных утверждений; обратные утверждения; кванторы; математическая логика; построения доказательств; логические средства; эвристические средства; импликации
Аннотация: Приводятся способы доказательства обратных теорем и примеры использования кванторов в обучении математике.

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

12.

510.6
К 59

Козлов, В. В.
Равномерное распределение и сходимость по Вороному [] / В. В. Козлов // Математический сборник. - 2005. - Т. 196, N 10. - С. 103-110. - Библиогр.: с. 110 (6 назв. ) . - ISSN 0368-8666

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
метод Вороного; Вороного метод; теоремы; задачи; логарифмы; методы суммирования; равномерные распределения; метод Чезаро; Чезаро метод
Аннотация: Имеется широкое обобщение равномерно распределенной последовательности по Вейлю, когда частота попадания элементов этой последовательности в интервал определяется с использованием матричного метода суммирования общего вида. В работе указаны условия равномерного распределения в случае, когда в качестве метода суммирования берется регулярный метод Вороного.

Доп.точки доступа:
Мадсен, Т.

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

13.

510.6
З-38

Захаров, В. К.
Локальная теория множеств [] / В. К. Захаров // Математические заметки. - 2005. - Т. 77, N 2. - С. 194-212. - Библиогр.: с. 212 (19 назв. ) . - ISSN 0025-567Х

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
теория множеств; категории; теория категорий; локальная теория множеств; аксиоматическая теория множеств
Аннотация: В 1945 г. Эйленбергом и Маклейном было введено новое математическое понятие категории. В 1959 г. Маклейн поставил общую проблему построения новой и более гибкой аксиоматической теории множеств, которая могла бы служить адекватным логическим основанием для всей наивной теории категорий. В данной работе даются аксиоматические основания локальной теории множеств.

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

14.

510.6
Ч-49

Чернов, А. В.
Финитные задачи и логика слабого закона исключенного третьего [] / А. В. Чернов // Математические заметки. - 2005. - Т. 77, N 2. - С. 291-302. - Библиогр.: с. 302 (11 назв. ) . - ISSN 0025-567Х

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
финитные задачи; пропозициональная формула; мощность достаточного множества решений; ДМР; логика слабого закона исключенного третьего
Аннотация: Определяется новая характеристика пропозициональной формулы как операции над финитными задачами - мощность достаточного множества решений (ДМР) . Доказывается, что если формула выводима в логике слабого закона исключенного третьего, то мощность ДМР ограничена константой, зависящей только от числа переменных; в противном случае достижимая мощность ДМР близка (больше корня некоторой степени) к тривиальной верхней оценке на нее.

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

15.

510.6
Х 40

Хессами Пилеруд, Т.
Оценки снизу линейных форм от значений полилогарифмов [] / Т. Хессами Пилеруд, Х. Хессами Пилеруд // Математические заметки. - 2005. - Т. 77, N 4. - С. 623-629. - Библиогр.: с. 629 . - ISSN 0025-567Х

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
линейные формы; оценка снизу; полилогарифмы; значения полилогарифмов; аппроксимации Эрмита-Паде; Эрмита-Паде аппроксимации
Аннотация: С помощью аппроксимаций Эрмита-Паде второго рода получена оценка снизу для модуля линейной формы с целыми коэффициентами от значений полилогарифмических функций в рациональной точке. Эта оценка учитывает рост всех коэффициентов линейной формы.

Доп.точки доступа:
Хессами Пилеруд, Х.

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

16.

510.6
Н 42

Нееман, Ю.
Геометризация спонтанно нарушенных калибровочных симметрий [Текст] / Ю. Нееман // Теоретическая и математическая физика. - 2004. - Т. 139, N 3. - С. 355-362. - Библиогр.: с. 361-362 (37 назв. ) . - ISSN 0564-6162

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
спонтанные нарушения -- суперсимметрии -- калибровочные симметрии -- геометризации
Аннотация: Дается обзор геометрического подхода к спонтанно нарушенным калибровочным симметриям.

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

17.

510.6
П 32

Пименов, А. Б.
Четырехпетлевая проверка алгоритма суммирования диаграмм Фейнмана в N=1 суперсимметричной электродинамике [Текст] / А. Б. Пименов // Теоретическая и математическая физика. - 2006. - Т. 147, N 2. - С. 290-302. - Библиогр.: с. 302 (11 назв. ). - ил.: 3 рис. . - ISSN 0564-6162

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
суперсимметрия -- тождество Уорда -- Уорда тождество -- высшие ковариантные производные -- функции Грина -- Грина функции -- уравнения Швингера-Дайсона -- Швингера-Дайсона уравнения -- диаграмма Фейнмана -- Фейнмана диаграмма
Аннотация: Проверяется метод суммирования диаграмм Фейнмана, основанный на использовании уравнений Швингера-Дайсона и тождеств Уорда. Для рассматриваемых диаграмм доказана справедливость дополнительного тождества для функции Грина, которое не сводится к калибровочному тождеству Уорда.

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

18.

510.6
З-78

Зобов, В. Е.
О реализации стандартных квантовых вычислительных сетей посредством адиабатической эволюции [Текст] / В. Е. Зобов, авт. А. С. Ермилов // Теоретическая и математическая физика. - 2007. - Т. 150, N 3. - С. 461-472. - Библиогр.: с. 472 (13 назв. ). - ил.: 2 рис. . - ISSN 0564-6162

УДК

510.6

530.1

ББК 22.31
Рубрики: Физика--Теоретическая физика
Математика--Математическая логика
Кл.слова (ненормированные):
квантовые алгоритмы -- адиабатическая эволюция -- ядерный магнитный резонанс
Аннотация: Исследуется адиабатический эквивалент для стандартной квантовой сети из элементарных логических операторов. Предложена схема изменения гамильтониана во времени, допускающая простую реализацию на ядерных спинах, управляемых радиочастотными импульсами.

Доп.точки доступа:
Ермилов, А. С.

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

19.

519.21
К 59

Козлов, В. В.
Весовые средние, равномерное распределение и строгая эргодичность [Текст] / В. В. Козлов // Успехи математических наук. - 2005. - Т. 60, N 6. - С. 115-138. - Библиогр.: с. 137-138 (44 назв. ). - Парадокс первых цифрВесовые средние и типы равномерного распределенияРавномерное распределение и сходимость по ВорономуРавномерное распределение на тореСтрогая эргодичностьВесовые средние и усиленный закон больших чиселИндивидуальная эргодическая теоремаНекоторые нерешенные задачи . - ISSN 0042-1316

УДК

519.21

510.6

ББК 22.12 + 22.171
Рубрики: Математика--Математическая логика
Математика--Теория вероятностей
Кл.слова (ненормированные):
таблицы Ньюкома; Ньюкома таблицы; методы суммирования Вороного и Рисса; Вороного и Рисса методы суммирования; методы суммирования; парадокс первых цифр; весовые средние; закон больших чисел; строгая эргодичность; равномерное распределение
Аннотация: Рассматривается круг вопросов, связанный с применением методов суммирования Рисса и Вороного в эргодической теории, теории чисел и теории вероятностей. Обсуждается парадокс первых цифр, указаны усиления классического результата Г. Вейля о равномерном распределении дробных долей значений многочлена, рассматривается возможность усиления эргодической теоремы Биркгофа-Хинчина. В заключение перечислены некоторые нерешенные задачи.

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

20.

510.6
Д 81

Дудаков, С. М.
Трансляционные результаты для языков запросов в теории баз данных [Текст] / С. М. Дудаков, авт. М. А. Тайцлин // Успехи математических наук. - 2006. - Т. 61, N 2. - С. 3-66. - Библиогр.: с. 65-66 (23 назв. ). - Предварительные сведения из теории множествПредварительные сведения из теории моделейОпределенияКритерий транслируемости расширенного запроса в ограниченныйОтносительные свойства псевдоконечной однородности и изолированностиСводимые теорииОграниченность сводимых теорийАктивные запросы. Трансляция локально генерического запроса в активный для сводимых теорийТеория с независимой формулой . - ISSN 0042-1316

УДК

510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
сводимые теории; активные запросы; локально генерические запросы; теорема Дудакова; Дудакова теорема; критерии транслируемости; псевдоконечные однородности; расширенные запросы; независимые формулы
Аннотация: Излагаются трансляционные результаты, полученные участниками тверского семинара "Теоретические основы информатики". В центре внимания относительные свойства изолированности и псевдоконечной однородности и универсумы без независимой формулы. Доказывается теорема Болдвина-Бенедикта о сводимости. Для сводимых теорий доказывается теорема об относителной изолированности и, как следствие, получается для сводимых теорий трансляционная теорема. Приводится пример Дудакова такого обогащения арифметики Пресбургера, для которого трансляционная теорема не имеет места, но элементарная теория которого разрешима.

Доп.точки доступа:
Тайцлин, М. А.

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

1-20 21-31

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)