Поисковый запрос: (<.>S=Математика -- Математическая логика<.>) |
Общее количество найденных документов : 31
Показаны документы с 1 по 20 |
|
1. 
| 510.6
К 662
Кордина, Н. Е.
Нестандартные задания по теме "Системы линейных уравнений" [Текст] / Н. Е. Кордина // Математика в школе. - 2001. - N3. - Библиогр.:с.39 (2 назв.)
. - ISSN 0130-3358ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
задача по математике -- квадратное уравнение -- линейное уравнение -- логическое упражнение -- математическая задача -- урок математики
Аннотация: Подборка заданий по теме "Системы линейных уравнений", направленных на развитие умения анализировать, сравнивать, подмечать определенные закономерности
Найти похожие
|
2.
| 510.6
Б 394
Безель, Я. В.
Можно ли улучшить работу ума? [Текст] : Новый взгляд на проблему / Я. В. Безель // Вестник Российской академии наук. - 2003. - Т.73,N4. - Библиогр.:4 назв. - Как улучшить работу ума?Алгоритмы без программистов - это очень просто!. - Рец. на кн.:Паронджанов В.Д.Как улучшить работу ума?Алгоритмы без программистов - это очень просто!-М.:Дело,2001.-360 с.
. - ISSN 0869-5873ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
ДРАКОН (искусственный язык) -- алгоритмы -- интеллект -- искусственные языки -- книги -- прикладная математика -- работа ума -- рецензии -- ум
Аннотация: Уже само название "Как улучшить работу ума"? приглашает читателя к серьезному разговору о тайнах человеческого интеллекта.Автор демонстрирует новый подход на проблему создания искусственных языков.
Доп.точки доступа:
Паронджанов, В.Д.
Найти похожие
|
3.
| 510.6
Н 192
Назаров, А. И.
К вопросу об экспериментальном определении местоположения [Текст] / А. И. Назаров // Вестник Московского университета. Сер.20, Педагогическое образование. - 2003. - N2
. - ISSN ХХХХ-ХХХХББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
определение местоположения -- математическое ожидание -- случайные величины -- столицы -- различия -- улицы -- нумерация
Аннотация: Статья перепечатана из журнала "Третий полюс". (СПб., 1997. N1(10)). Предложены два метода решения задачи определения местонахождения.
Найти похожие
|
4.
| 510.6
Л 363
Левин, В. И.
Методы непрерывной логики в задачах управления [Текст] / В. И. Левин // Автоматика и телемеханика. - 2003. - N3. - Библиогр.:c.50-51(21назв.)
. - ISSN 0005-2310ББК 22.12 + 32.96
Рубрики: Математика--Математическая логика
Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
методы непрерывной логики -- дискретная логика -- непрерывная логика -- непрерывно-логические функции -- двузначная логика
Аннотация: Дано общее описание непрерывной логики, ее задач и методов и определены ее основные операции. Описана алгебра непрерывной логики, перечислены ее основные функции с 1, 2 и 3 переменными. Изложены законы этой логики, отмечено их отличие от законов дискретной двузначной логики. Представлены проблемы перечисления всех непрерывно-логических функций в стандартной форме.
Перейти: www:http://www.apr.ru
Найти похожие
|
5.
| 621.398
Р 980
Рябинин, И. А. (д-р техн.наук).
Логико-вероятностное исчисление как аппарат исследования надежности и безопасности структурно-сложных систем [Текст] / И. А. Рябинин // Автоматика и телемеханика. - 2003. - N7. - Библиогр.:c.185-186(26назв.)
. - ISSN 0005-2310ББК 32.96 + 87.4 + 22.12
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Логика--Общие вопросы логики
Математика--Математическая логика
Кл.слова (ненормированные):
исчисления -- логико-вероятностные исчисления -- надежность -- системы -- сложные системы -- структурно-сложные системы -- математические исследования -- дискретная математика -- вероятностная логика -- алгебра логики
Аннотация: Кратко излагается понятие вероятностной логики как развитие индуктивной логики. Подчеркивается существенная разница между вероятностной логикой и логико-вероятностным исчислением - разделом математики, трактующим правила вычисления и оперирования с высказываниями, принимающими только два значения истинности (истина и ложь). Логико-вероятностные исчисления базируются на алгебре логики и правилах замещения логических аргументов в функциях алгебры логики вероятностями их истинности и логических операций арифметическими операциями.
Перейти: www:http://www.apr.ru
Найти похожие
|
6.
| 510.6
П 896
Пустыльников, Л. Д.
О представлении дзета-функции Римана в критической полосе через бесконечное произведение матриц второго порядка и об одной динамической системе [Текст] / Л. Д. Пустыльников // Успехи математических наук. - 2004. - Т. 59, N 4. - Библиогр.: с. 198 (1 назв. )
. - ISSN 0042-1316ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
дзета-функции Римана -- Римана дзета-функции -- динамические системы -- произведения матриц -- матрицы -- гипотеза Римана -- Римана гипотеза
Аннотация: Доказывается, что в критической полосе функция представляется через бесконечное произведение конкретных матриц второго порядка.
Найти похожие
|
7.
| 510.6
П 12
Павлов, А. Н.
Применение двойного вейвлет-анализа для исследования эффектов модуляции в динамике нефронов [Текст] / А. Н. Павлов, авт. О. В. Сосновцева // Известия вузов. Прикладная нелинейная динамика. - 2004. - Т. 12, N 6. - С. 105-117. - Библиогр.: с. 116-117 (23 назв. )
. - ISSN 0869-6632ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
нелинейная динамика -- вейвлет-анализ -- нестационарная многомодовая динамика -- двойной вейвлет-анализ -- крысы -- нефроны крыс -- проксимальные канальца
Аннотация: Предлагается метод исследования эффектов взаимодействия ритмических компонент в нестационарной многомодовой динамике, основанной на двойном вейвлет-анализе. Иллюстрируются возможности и ограничения этого метода. Рассматривается применение двойного вейвлет-анализа к сигналам давления в проксимальных канальцах нефронов крыс.
Доп.точки доступа:
Сосновцева, О. В.
Найти похожие
|
8.
| 510.6
Н 42
Нееман, Ю.
Геометризация спонтанно нарушенных калибровочных симметрий [Текст] / Ю. Нееман // Теоретическая и математическая физика. - 2004. - Т. 139, N 3. - С. 355-362. - Библиогр.: с. 361-362 (37 назв. )
. - ISSN 0564-6162ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
спонтанные нарушения -- суперсимметрии -- калибровочные симметрии -- геометризации
Аннотация: Дается обзор геометрического подхода к спонтанно нарушенным калибровочным симметриям.
Найти похожие
|
9.
| 510.6
Д 151
Дален, Д. ван
Колмогоров и Брауэр о конструктивной импликации и правило противоречия [Текст] : [перевод] / Д. ван Дален // Успехи математических наук. - 2004. - Т. 59, N 2. - Библиогр.: с. 63-64 (35 назв. ). - Брауэр и гипотетическое суждениеПринятие правила противоречия
. - ISSN 0042-1316ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
интуиционистская логика -- импликации -- гипотетические суждения -- принципы Брауэра -- Брауэра принципы -- принципы противоречия -- интерпретации импликаций -- правила противоречия -- принцип Гейтинга -- Гейтинга принцип
Аннотация: Анализируется роль импликации и отрицания в принципе противоречия в трудах Брауэра, Колмогорова и Гейтинга. Утверждается, что точка зрения Брауэра 1907 года слишком жестка для создания удовлетворительной логики в своем чтении импликации. Сравниваются перечисленные выше взгляды и дается заключение, что проблема интерпретации доказательств, будучи правильно понятыми, допускают полную интуиционистскую логику.
Найти похожие
|
10.
| 165
Б 649
Бирюков, Б. В.
Герман Вейль [Текст] : К 85-летию знаменитого "Континуума" / Б. В. Бирюков, Л. Г. Бирюкова // Вестник Московского университета. Сер. 7, Философия. - 2004. - N 2. - Библиогр. в примеч. - Вейль Герман
. - ISSN 0201-7385ББК 87.22 + 87.4 + 22.12
Рубрики: Философия--Гносеология
Логика--Общие вопросы логики
Математика--Математическая логика
Кл.слова (ненормированные):
20 в. нач. -- предикативизм -- биографии -- ученые -- математики -- познание (филос. ) -- теория познания
Аннотация: В 1918 г. в Лейпциге увидела свет небольшая книжка, явившаяся вехой в развитии философии математики прошлого столетия - это было сочинение математика-универсала, внесшего значительный вклад также и в теоретическую физику, Германа Вейля. Называлось оно - "Континуум". Эпохальное значение труда определялось тем, что в нем были сформулированы основные положения нового неклассического направления в логическом основании математики, которое впоследствии получило название предикативизм.
Доп.точки доступа:
Бирюкова, Л. Г.; Вейль, Герман
Найти похожие
|
11.
| 621.398
П 683
Правильщиков, П. А. (канд. техн. наук).
Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике [Текст] [Текст] / П. А. Правильщиков // Автоматика и телемеханика. - 2004. - N 7. - Библиогр.: с. 154-156 (43 назв. ). - Часть текста на англ. яз.
. - ISSN 0005-2310ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Математика--Математическая логика
Кл.слова (ненормированные):
техническая диагностика -- построение тестов -- моделирование -- D-алгоритмы -- естественный параллелизм -- закон сохранения перебора -- тесты -- алгоритмы
Аннотация: Вводятся графические модели процессов построения тестов и моделирования с помощью D-алгоритмов типичные и минимальные диагностические лабиринты.
Найти похожие
|
12.
| 510.6
А 861
Артемов, С. Н.
Подход Колмогорова и Геделя к интуиционистской логике и работы последнего десятилетия в этом направлении [Текст] / С. Н. Артемов // Успехи математических наук. - 2004. - Т. 59, N 2. - Библиогр.: с. 33-36 (87 назв. ). - Подход Колмогорова-ГеделяЛогика доказательствДве модели доказуемостиДальнейшее развитие
. - ISSN 0042-1316ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
подход Колмогорова-Геделя -- Геделя-Колмогорова подход -- интуиционистская логика -- доказуемостное исчисление -- полиномы доказательств -- язык логики доказательств -- модальная логика -- логика -- свидетельские функции -- рефлексивная комбинаторная логика -- системы верификации -- рефлексивная логика -- комбинаторная логика
Аннотация: Интуиционистская математика была создана Брауэром на основе конструктивных способов рассуждений, при которых критерием истинности является наличие доказательства. В работах Колмогорова и Геделя была предложена идея интерпретации интуиционистской логики на основе классических понятий задачи и ее решения и понятия доказуемости. В 1933 году Гедель сделал первое существенное продвижение в этом направлении. Несмотря на большие успехи в исследовании интуиционизма точной модели интуиционистской логики на основе этого подхода не было построено вплоть до работы автора 1995 года.
Найти похожие
|
13.
| 371.3
Т 41
Тимофеева, И. Л.
Размышления об обратных теоремах и кванторах [] / И. Л. Тимофеева // Математика в школе. - 2005. - N 5. - С. 64-68. - Библиогр.: с. 68 (4 назв. )
. - ISSN 0130-9358ББК 22.12
Рубрики: Математика--Математическая логика
Образование. Педагогика--Теория и методика обучения
Кл.слова (ненормированные):
математика; теоремы; обратные теоремы; прямые теоремы; методы построения обратных утверждений; обратные утверждения; кванторы; математическая логика; построения доказательств; логические средства; эвристические средства; импликации
Аннотация: Приводятся способы доказательства обратных теорем и примеры использования кванторов в обучении математике.
Найти похожие
|
14.
| 519.21
К 59
Козлов, В. В.
Весовые средние, равномерное распределение и строгая эргодичность [Текст] / В. В. Козлов // Успехи математических наук. - 2005. - Т. 60, N 6. - С. 115-138. - Библиогр.: с. 137-138 (44 назв. ). - Парадокс первых цифрВесовые средние и типы равномерного распределенияРавномерное распределение и сходимость по ВорономуРавномерное распределение на тореСтрогая эргодичностьВесовые средние и усиленный закон больших чиселИндивидуальная эргодическая теоремаНекоторые нерешенные задачи
. - ISSN 0042-1316ББК 22.12 + 22.171
Рубрики: Математика--Математическая логика
Математика--Теория вероятностей
Кл.слова (ненормированные):
таблицы Ньюкома; Ньюкома таблицы; методы суммирования Вороного и Рисса; Вороного и Рисса методы суммирования; методы суммирования; парадокс первых цифр; весовые средние; закон больших чисел; строгая эргодичность; равномерное распределение
Аннотация: Рассматривается круг вопросов, связанный с применением методов суммирования Рисса и Вороного в эргодической теории, теории чисел и теории вероятностей. Обсуждается парадокс первых цифр, указаны усиления классического результата Г. Вейля о равномерном распределении дробных долей значений многочлена, рассматривается возможность усиления эргодической теоремы Биркгофа-Хинчина. В заключение перечислены некоторые нерешенные задачи.
Найти похожие
|
15.
| 510.6
Х 40
Хессами Пилеруд, Т.
Оценки снизу линейных форм от значений полилогарифмов [] / Т. Хессами Пилеруд, Х. Хессами Пилеруд // Математические заметки. - 2005. - Т. 77, N 4. - С. 623-629. - Библиогр.: с. 629
. - ISSN 0025-567ХББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
линейные формы; оценка снизу; полилогарифмы; значения полилогарифмов; аппроксимации Эрмита-Паде; Эрмита-Паде аппроксимации
Аннотация: С помощью аппроксимаций Эрмита-Паде второго рода получена оценка снизу для модуля линейной формы с целыми коэффициентами от значений полилогарифмических функций в рациональной точке. Эта оценка учитывает рост всех коэффициентов линейной формы.
Доп.точки доступа:
Хессами Пилеруд, Х.
Найти похожие
|
16.
| 510.6
З-38
Захаров, В. К.
Локальная теория множеств [] / В. К. Захаров // Математические заметки. - 2005. - Т. 77, N 2. - С. 194-212. - Библиогр.: с. 212 (19 назв. )
. - ISSN 0025-567ХББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
теория множеств; категории; теория категорий; локальная теория множеств; аксиоматическая теория множеств
Аннотация: В 1945 г. Эйленбергом и Маклейном было введено новое математическое понятие категории. В 1959 г. Маклейн поставил общую проблему построения новой и более гибкой аксиоматической теории множеств, которая могла бы служить адекватным логическим основанием для всей наивной теории категорий. В данной работе даются аксиоматические основания локальной теории множеств.
Найти похожие
|
17.
| 510.6
К 59
Козлов, В. В.
Равномерное распределение и сходимость по Вороному [] / В. В. Козлов // Математический сборник. - 2005. - Т. 196, N 10. - С. 103-110. - Библиогр.: с. 110 (6 назв. )
. - ISSN 0368-8666ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
метод Вороного; Вороного метод; теоремы; задачи; логарифмы; методы суммирования; равномерные распределения; метод Чезаро; Чезаро метод
Аннотация: Имеется широкое обобщение равномерно распределенной последовательности по Вейлю, когда частота попадания элементов этой последовательности в интервал определяется с использованием матричного метода суммирования общего вида. В работе указаны условия равномерного распределения в случае, когда в качестве метода суммирования берется регулярный метод Вороного.
Доп.точки доступа:
Мадсен, Т.
Найти похожие
|
18.
| 510.6
Ч-49
Чернов, А. В.
Финитные задачи и логика слабого закона исключенного третьего [] / А. В. Чернов // Математические заметки. - 2005. - Т. 77, N 2. - С. 291-302. - Библиогр.: с. 302 (11 назв. )
. - ISSN 0025-567ХББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
финитные задачи; пропозициональная формула; мощность достаточного множества решений; ДМР; логика слабого закона исключенного третьего
Аннотация: Определяется новая характеристика пропозициональной формулы как операции над финитными задачами - мощность достаточного множества решений (ДМР) . Доказывается, что если формула выводима в логике слабого закона исключенного третьего, то мощность ДМР ограничена константой, зависящей только от числа переменных; в противном случае достижимая мощность ДМР близка (больше корня некоторой степени) к тривиальной верхней оценке на нее.
Найти похожие
|
19.
| 510.6
Р 98
Рябцев, Александр.
Суждение и вычисление [Текст] : не исключая третье / А. Рябцев // PC Magazine. - 2006. - N 11. - С. 130-134
. - ISSN 0869-4257ББК 32.973.26 + 22.12
Рубрики: Вычислительная техника--Персональные компьютеры
Математика--Математическая логика
Кл.слова (ненормированные):
многозначная логика; трехзначная логика; трехзначные множества; теория решеток; тернарные решетки; тернарные кольца; Булевы кольца; кольца Булевы; модальности; импликации Лукасевича; Лукасевича импликации; машина Фоулера; Фоулера машина; Сетунь; история компьютеров
Аннотация: Трехзначная логика и история попыток создать вычислительные машины на ее основе.
Перейти: http://pcmagazine.ru/?ID=619517
Доп.точки доступа:
Фоулер, изобретатель вычислительной машины (Томас); Брусенцов, Н. П.
Найти похожие
|
20.
| 510.6
О-74
Осипов, Ю. С.
Задачи динамического обращения [Текст] / Ю. С. Осипов, авт. А. В. Кряжимский // Вестник Российской академии наук. - 2006. - Т. 76, N 7. - С. 615-624. - Библиогр.: с. 624 (7 назв. ). - Ил.: 4 рис.
. - ISSN 0869-5873ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математические теории -- теории математические -- теория динамического обращения -- динамического обращения теория -- некорректные задачи -- динамическое обращение -- обращение динамическое -- аппроксимация -- вольтерровые операторы -- операторы вольтерровые -- динамические системы -- системы динамические -- телеметрия полета -- источники загрязнения -- манипуляторы
Аннотация: Развитие математической теории динамического обращения - интересный пример становления нового научного направления. В статье дан краткий обзор основных разделов теории динамического обращения. Посредством вновь созданной теории исходные теоретические концепции получили возможности иных приложений к реальным процессам управления в условиях дефицита информации.
Доп.точки доступа:
Кряжимский, А. В.
Найти похожие
|
|
|
|
Электронные ресурсы
Электронный каталог
Стандартный