|
Дискретная математика, 1989, том 1, выпуск 3, страницы 104–110
(Mi dm929)
|
|
|
|
О доле выполнимости формул $k$-значной логики с кванторами MIN, MAX
В. В. Князев, В. А. Таланов
Аннотация:
При рассмотрении какого-либо свойства объектов из совокупности растущего объема часто оказывается, что доля объектов, обладающих этим свойством, стремится к нулю или единице. Известно, что для установления такого 0 – 1 закона можно использовать весьма общий подход, основанный на применении формальных логических языков, предназначенных для описания свойств рассматриваемых объектов и позволяющих
характеризовать поведение доли выполнимости на основе синтаксического анализа формулы, выражающей рассматриваемое свойство. В настоящей работе 0 – 1 закон устанавливается для формул многозначного аналога логики предикатов первого порядка.
Статья поступила: 26.01.1989
Образец цитирования:
В. В. Князев, В. А. Таланов, “О доле выполнимости формул $k$-значной логики с кванторами MIN, MAX”, Дискрет. матем., 1:3 (1989), 104–110
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm929 https://www.mathnet.ru/rus/dm/v1/i3/p104
|
Статистика просмотров: |
Страница аннотации: | 375 | PDF полного текста: | 251 | Первая страница: | 1 |
|