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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

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

Антитеррор

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

Найдено в других БД:

БД "Книги" (28)

Труды АМГУ (1)

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

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

Поисковый запрос: (<.>K=логика предикатов<.>)

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

Дудаков, С. М.
Монадические состояния над упорядоченным универсальным случайным графом и конечные автоматы [Текст] / С. М. Дудаков // Известия РАН. Серия математическая. - 2011. - Т. 75, N 5. - С. 47-64. . - Библиогр.: с. 64 (18 назв. )

УДК

^a510.6

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

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

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

Шехтман, Валентин Борисович.
Квадраты модальных логик с дополнительными связками [Текст] / В. Б. Шехтман // Успехи математических наук. - 2012. - Т. 67, вып. 4 (406). - С. 129-186 : ил. - Библиогр.: с. 185-186 (21 назв.) . - ISSN 0042-1316

УДК

^a510.6

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

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

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

Вагин, В. Н.
Использование логики предикатов первого порядка в системах поддержки истинности на основе предположений [Текст] / В. Н. Вагин, Д. С. Зарецкий // Программные продукты и системы. - 2013. - № 4. - С. 127-133. - Библиогр.: с. 132-133 (8 назв.) . - ISSN 0236-235X

УДК

^a16

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

Доп.точки доступа:
Зарецкий, Д. С.

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

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

Педагогическое моделирование индивидуальной цели физического развития студента с использованием логики предикатов [Текст] / М. В. Слепцова, С. И. Филимонова, Л. В. Андрющенко, П. В. Галочкин // Теория и практика физической культуры. - 2022. - № 3. - С. 61-63 : ил. - Библиогр.: с. 63 (8 назв.) . - ISSN 0040-3601

УДК

^a378

ББК 74.58
Рубрики: Образование. Педагогика
Высшее профессиональное образование--Россия
Кл.слова (ненормированные):
индивидуальные цели -- логика предикатов -- педагогическое моделирование -- студенты вузов -- физическое развитие
Аннотация: Обоснование применения логики предикатов в проектировании педагогической модели индивидуальной цели физического развития студента.

Доп.точки доступа:
Слепцова, М. В.; Филимонова, С. И.; Андрющенко, Л. Б.; Галочкин, П. В.

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

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

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

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

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