Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

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

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

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

Поисковый запрос: (<.>K=математические утверждения<.>)

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

Клещев, Александр Сергеевич (доктор физико-математических наук; главный научный сотрудник).
Операционная модель интуитивных доказательств [Текст] / А. С. Клещев ; ст. представлена к публ. С. Н. Васильевым // Проблемы управления. - 2011. - N 1. - С. 2-7. - Библиогр.: с. 7 (13 назв.) . - ISSN 1819-3161

УДК

^A621.398

^A519.7

ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика
   Математика
   Математическая кибернетика

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

Доп.точки доступа:
Васильев, С. Н. (член редколлегии; академик РАН) \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Клещев, А. С. (доктор физико-математических наук).
Задача применения подстановки для расширяемой модели математического диалекта [Текст] / А. С. Клещев, В. А. Тимченко // Информатика и системы управления. - 2011. - N 3 (29). - С. 80-88. - Библиогр.: с. 88 (5 назв.) . - ISSN 1814-2400

УДК

^A519.7

^A621.398

ББК 22.18 + 32.96
Рубрики: Математика
   Математическая кибернетика
   Радиоэлектроника
   Автоматика и телемеханика

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

Перейти: http://www.amursu.ru/attachments/ics/N29_10.pdf

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

Имеются экземпляры в отделах: всего 5 : н.з. (1), ч.з. (1), эн.ф. (1), аб. (2)
Свободны: н.з. (1), ч.з. (1), эн.ф. (1), аб. (2)

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

Клещев, Александр Сергеевич (доктор физико-математических наук).
Алгоритм унификации для расширяемой модели математического диалекта [Текст] / А. С. Клещев, В. А. Тимченко // Информатика и системы управления. - 2012. - № 1 (31). - С. 155-165 : рис. - Библиогр.: с. 165 (7 назв.) . - ISSN 1814-2400

УДК

^A510.6

ББК 22.12
Рубрики: Математика
Математическая логика

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

Перейти: http://www.amursu.ru/attachments/ics/N31_18.pdf

Доп.точки доступа:
Тимченко, Вадим Андреевич

Имеются экземпляры в отделах: всего 5 : эн.ф. (1), ч.з. (1), н.з. (1), аб. (2)
Свободны: эн.ф. (1), ч.з. (1), н.з. (1), аб. (2)

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

Очевидное - недоказуемое, или Почему теоремы Геделя о неполноте волнуют не только математиков [Текст] // Наука и жизнь. - 2012. - № 11. - С. 30-31 . - ISSN 0028-1263

УДК

^a510.6

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Клещев, Александр Сергеевич (доктор физико-математических наук).
Ограниченная синтаксическая эквивалентность и адаптивная унификация выражений в расширяемой модели математического диалекта [Текст] / А. С. Клещев, В. А. Тимченко // Информатика и системы управления. - 2013. - № 1 (35). - С. 132-143. - Библиогр.: с. 143 (6 назв.) . - ISSN 1814-2400

УДК

^A519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика

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

Перейти: http://ics.khstu.ru/media/2013/N35_16.pdf

Доп.точки доступа:
Тимченко, Вадим Андреевич (кандидат технических наук)

Имеются экземпляры в отделах: всего 5 : аб. (2), эн.ф. (1), ч.з. (1), н.з. (1)
Свободны: аб. (2), эн.ф. (1), ч.з. (1), н.з. (1)

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

Тематический навигатор

Статистика за 22.07.2024
Число запросов	135510
Число посетителей	1
Число заказов	0

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