Волин, Ю. М. (канд. техн. наук). О новых результатах, связанных с самоссылочными предложениями Геделя - 1 [Текст] / Волин Ю. М. // Актуальные проблемы современной науки. - 2007. - N 6. - С. 89-96. - Библиогр.: с. 96 (3 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): арифметика -- самоссылочные предложения -- теоремы -- арифметические формулы -- аксиомы -- математические доказательства -- методы Геделя -- Геделя методы -- истинность -- арифметика Пеано -- Пеано арифметика Аннотация: Математические доказательства результата Геделя. |
Волин, Ю. М. (канд. техн. наук). О новых парадоксах в теории множеств и топологическом подходе к их исследованию - 4 [Текст] / Волин Ю. М. // Актуальные проблемы современной науки. - 2008. - N 2. - С. 184-193. - Библиогр.: с. 193 (2 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): топологические подходы -- трансфинитные деревья -- теория множеств -- изоморфизм -- аксиоматическая теория множеств -- теоремы -- парадокс интуиции -- интуитивный парадокс Аннотация: Доказательство существования "странных" трансфинитных деревьев. |
Иванова, Е. А. (канд. физ.-мат наук; доц.). О парадоксе математической индукции [Текст] / Иванова Е. А., Локшин А. А. // Актуальные проблемы современной науки. - 2008. - N 2. - С. 194-195. - Библиогр.: с. 195 (1 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): математическая индукция -- метод математической индукции -- парадокс математической индукции -- парадоксы -- истинность -- математические доказательства -- математические преобразования Аннотация: Формулировка метода математической индукции. Доп.точки доступа: Локшин, А. А. (д-р физ.-мат. наук; проф.) |
Данилов, И. А. Фрагменты элементарной теории чисел [Текст] / Данилов И. А. // Актуальные проблемы современной науки. - 2008. - N 6. - С. 66-84. - Библиогр.: с. 84 (1 назв. ) . - ISSN 1680-2721
Рубрики: Математика Математическая логика Кл.слова (ненормированные): теория чисел -- элементарная теория чисел -- трисекция угла -- числовая ось -- аддитивные пары -- парные простые -- нечетные числа -- теорема Ферма -- Ферма теорема -- проблема Гольдбаха -- Гольдбаха проблема -- уравнение Пелля -- Пелля уравнение Аннотация: Множество вариантов взаимодействия чисел на бесконечной числовой оси. |
Лобанов, В. И. (канд. техн. наук). Снова о Русской логике [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2008. - N 4. - С. 55-57. - Библиогр.: с. 57 (6 назв. ) . - ISSN 1680-2721
Рубрики: Математика Математическая логика Кл.слова (ненормированные): логика -- алгебра -- теория чисел -- Русская логика -- импликативные законы -- дедуктивная логика -- индуктивная логика -- логические уравнения Аннотация: Математическое доказательство импликативных законов Русской логики. |
Снятков, А. С. Разрешимость теории Тс = Th (w, 0, 1. , +, cx, ex) [Текст] / А. С. Снятков // Вестник Тверского государственного университета. - 2007. - N 5 (Прикладная математика). - С. 113-120. - Библиогр.: с. 121 (3 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): натуральные числа -- алгебраические системы -- гипреэкспонента Аннотация: Обобщение результатов А. Л. Семенова для показательных функций. Доп.точки доступа: Семенов, А. Л. |
Сметанин, Ю. М. Ортогональный базис силлогистики или какая логика нужна экономистам [Текст] / Ю. М. Сметанин // Менеджмент: теория и практика. - 2009. - N 3/4. - С. 25-42 : 5 рис. - Библиогр.: с. 42 (10 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): экономисты -- логика -- силлогистика -- множества -- алгебра множеств -- ортогональный базис -- Жергонновы отношения -- отношения Жергонновы -- диаграммы Лобанова -- Лобанова диаграммы -- скалярные диаграммы -- мышление -- логическое мышление Аннотация: Логика, которая нужна экономистам, должна давать возможность однозначно задавать исходные посылки для рассуждений и иметь набор инструментов для наглядного получения выводов из них. Эта логика должна быть легко усваиваемой при изучении и такой, чтобы с помощью ее можно было выражать здравый смысл и легко распознавать неправильные рассуждения. |
Лобанов, В. И. (канд. техн. наук). Решение уравнений в двойничной логике [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2009. - N 3. - С. 122-124. - Библиогр.: с. 124 (3 назв. ) . - ISSN 1680-2721
Рубрики: Математика Математическая логика Кл.слова (ненормированные): логика -- логические уравнения -- логические равенства -- равенства -- алгоритмы -- двоичная логика -- вероятностная логика -- уравнения Аннотация: Способы решения логических равенств. |
Лобанов, В. И. (канд. техн. наук). Достижения и неудачи П. С. Порецкого [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2009. - N 2. - С. 103-107 : ил. - Библиогр.: с. 107 (5 назв. ) . - ISSN 1680-2721
Рубрики: Математика Математическая логика Кл.слова (ненормированные): ученые -- российские ученые -- астрономы -- логические уравнения -- алгоритмы -- силлогистические функторы -- силлогизмы -- сориты -- логические равенства -- комплементарная логика Аннотация: Достижения русского ученого в области решения логических равенств. Доп.точки доступа: Порецкий, П. С. |
Структурная модель повышения эффективности образовательной системы [Текст] / И. Н. Корнфельд [и др. ] // Инженерная физика. - 2010. - N 3. - С. 26-28
Рубрики: Математика Математическая логика Кл.слова (ненормированные): процесс обучения -- образовательные системы -- повышение эффективности -- структурные модели -- учебный материал -- перегруженность учебного процесса -- учебный процесс Аннотация: Изменения в системе образования невозможно осуществить без нового подхода к описанию процесса обучения. Поиск эффективных моделей организации образовательного процесса происходит непрерывно, для этого используются различные подходы - теоретико-системный, деятельностный, синергетический. Предлагается структурная модель образовательного процесса, рассматривающая стратегии повышения эффективности образовательной системы. Доп.точки доступа: Корнфельд, И. Н.; Зацепина, Т. В.; Коровина, О. В.; Енина, Н. В. Нет сведений об экземплярах (Источник в БД не найден) |
Курченкова, Т. В. Информационная технология взаимодействия технологических систем [Текст] / Т. В. Курченкова, О. А. Курченков, Е. Ю. Никулина // Инженерная физика. - 2010. - N 3. - С. 30-33
Рубрики: Математика Математическая логика Кл.слова (ненормированные): технологические системы -- информационные технологии -- структурные модели -- планирование расписаний -- системные связи -- оптимальное планирование Аннотация: В статье рассматривается разработка структурных моделей, а также синтез информационной технологии для задачи планирования расписаний технологических систем. Доп.точки доступа: Курченков, О. А.; Никулина, Е. Ю. Нет сведений об экземплярах (Источник в БД не найден) |
Волин, Ю. М. (канд. техн. наук). О новых парадоксах в теории множеств и топологическом подходе к их исследованию - 5 [Текст] / Волин Ю. М. // Актуальные проблемы современной науки. - 2010. - N 4. - С. 98-123. . - Библиогр.: с. 123 (4 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): теория множеств -- автоморфизмы -- последовательности -- парадокс интуиции -- изоморфизмы -- транзитивность Аннотация: Построение "родственных" последовательностей автоморфизмов. Нет сведений об экземплярах (Источник в БД не найден) |
Лобанов, В. И. (канд. техн. наук). Базовые силлогизмы [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 4. - С. 124-130. : ил. - Библиогр.: с. 130 (2 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): силлогизмы -- решение силлогизмов -- силлогистика -- логика -- формальная логика -- искусственный интеллект -- логические равенства -- вероятностная логика Аннотация: Шаблоны решения силлогизмов. Нет сведений об экземплярах (Источник в БД не найден) |
Лобанов, В. И. (канд. техн. наук). Силлогистика с вероятностными посылками [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2009. - N 5. - С. 165. . - Библиогр.: с. 165 (1 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): силлогистика -- алгоритмы -- вероятностная логика -- силлогистические системы Аннотация: Решение задачи нахождения заключения из двух заданных вероятностных посылок. Нет сведений об экземплярах (Источник в БД не найден) |
Сметанин, Ю. М. (канд. физ. -мат. наук). Сопоставление расширенной алгебры множеств и алгебры логики с точки зрения проблем полисиллогистики [Текст] / Ю. М. Сметанин // Менеджмент: теория и практика. - 2010. - N 3/4. - С. 12-27. : 1 табл., 3 рис. - Библиогр.: с. 27 (8 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): алгебра множеств -- понятия -- логика -- алгебра логики -- полисиллогистика -- Жергонновы отношения -- отношения Жергонновы -- полисиллогизмы -- универсум Аннотация: Освещаются основные понятия алгебры множеств. Рассматриваются Жергонновы отношения, классические и расширенные. Дается сопоставление соотношений двух множеств на фоне универсума. Нет сведений об экземплярах (Источник в БД не найден) |
Рейзлин, Валерий Израилевич. Эффективный метод построения псевдослучайных векторов, равномерно распределенных в гиперконусе [Текст] / В. И. Рейзлин // Известия Томского политехнического университета. - 2010. - Т. 316, N 5 : Управление, вычислительная техника и информатика. - С. 41-43. : ил. - Библиогр.: с. 43 (6 назв. ).
Рубрики: Математика Математическая статистика Математическая логика Кл.слова (ненормированные): псевдослучайные векторы -- равномерное распределение -- эффективность алгоритмов -- метод исключения -- гиперконусы -- компьютерные эксперименты Аннотация: Разработан алгоритм эффективного получения псевдослучайных векторов, равномерно распределенных в n-мерном гиперконусе. Показана его более высокая эффективность по сравнению с методом исключения в случае больших n. Приведены результаты компьютерного эксперимента, подтверждающие теоретические построения. Нет сведений об экземплярах (Источник в БД не найден) |
Лобанов, В. И. Алгебра 6-значной логики [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 2. - С. 64. . - Библиогр.: с. 64 (1 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): логика -- общеразговорная логика -- логика здравого смысла -- математический анализ -- комплементарность -- комплементарная логика -- взаимоинверсность Аннотация: Комплементарность логики здравого смысла. Нет сведений об экземплярах (Источник в БД не найден) |
Лобанов, В. И. (канд. техн. наук). О несовместимости посылок [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 2. - С. 65-66. . - Библиогр.: с. 66 (2 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): логика -- вероятностная логика -- логические равенства -- диаграммы Лобанова -- Лобанова диаграммы Аннотация: Решение логических уравнений. Нет сведений об экземплярах (Источник в БД не найден) |
Лобанов, В. И. (канд. техн. наук). Разложение логических уравнений на множители [Текст] / Лобанов В. И. // Актуальные проблемы современной науки. - 2010. - N 2. - С. 67-68. : ил. - Библиогр.: с. 68 (2 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): логика -- логические уравнения -- логические задачи -- решение логических задач -- силлогизмы Аннотация: Способы решения логических задач. Нет сведений об экземплярах (Источник в БД не найден) |
Иванов, Игорь Анатольевич (кандидат педагогических наук ; доцент ; декан факультета). Историко-математический аспект применения рациональной логики в теоретической и прикладной математике [Текст] / И. А. Иванов // Образование и наука. - 2009. - N 2. - С. 22-27. . - Библиогр.: с. 27 (11 назв. )
Рубрики: Математика Математическая логика Образование. Педагогика Теория и методика обучения Кл.слова (ненормированные): обучение математике -- личностно-ориентированная направленность -- прикладная математика -- теоретическая математика -- математические модели -- рациональная логика -- рациональные рассуждения -- рационализм -- формальная логика -- конструктивная логика -- конструктивизм -- историко-математические аспекты -- история математики Аннотация: Рассматривается исторический аспект, состояние и перспективы развития вопроса привлечения логики прикладной математики для построения математических моделей и использование ее в обучении математике как в школе, так и в вузе. Нет сведений об экземплярах (Источник в БД не найден) |