Проблемы передачи информации
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Пробл. передачи информ.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Проблемы передачи информации, 1996, том 32, выпуск 3, страницы 82–96 (Mi ppi348)  
Теория языков

О некоторых применениях метода семантического оценивания

В. А. Любецкий
PDF полного текста (1936 kB)
Аннотация: Предлагается компьютерно ориентированная система семантического оценивания суждений. Изучаются ее свойства и доказываются соответствующие утверждения. В частности, показана возможность конструирования объекта по доказательству его существования; показана возможность переносить свойства упорядоченных полей (в том числе теорем Гильберта и Артина, включая верхние числовые оценки в этих теоремах) на упорядоченные кольца специального вида.
Поступила в редакцию: 29.12.1994
Реферативные базы данных:
Тип публикации: Статья
УДК: 621.391.1:51
Образец цитирования: В. А. Любецкий, “О некоторых применениях метода семантического оценивания”, Пробл. передачи информ., 32:3 (1996), 82–96; Problems Inform. Transmission, 32:3 (1996), 290–302
Цитирование в формате AMSBIB
\RBibitem{Lyu96}
\by В.~А.~Любецкий
\paper О~некоторых применениях метода семантического оценивания
\jour Пробл. передачи информ.
\yr 1996
\vol 32
\issue 3
\pages 82--96
\mathnet{http://mi.mathnet.ru/ppi348}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=1441517}
\zmath{https://zbmath.org/?q=an:1039.03506}
\transl
\jour Problems Inform. Transmission
\yr 1996
\vol 32
\issue 3
\pages 290--302
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ppi348
  • https://www.mathnet.ru/rus/ppi/v32/i3/p82
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Проблемы передачи информации Problems of Information Transmission
    Статистика просмотров:
    Страница аннотации:337
    PDF полного текста:133
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026