Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989
Авторы: Князев В.В.
Об итеративных расширениях логики первого порядка
Аннотация:
В предлагаемой работе закон 0 и 1 распространен на класс расширений языка ℒ0, названных итеративными расширениями. Введено понятие аппроксимации формулы расширенного языка формулами первого порядка. Задача вычисления предельного значения доли выполнимости формул в итеративных расширениях сведена к вычислению предела доли выполнимости аппроксимирующих ее формул. Для иллюстрации использовано свойство связности графа и некоторые его обобщения.
Ключевые слова:
математическая логика, итеративные расширения логики, аппроксимация формулы
Язык публикации: русский,  страниц: 8 (с. 123-130)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст на русском языке: Сведения об авторах:
  • Князев В.В.