Дискрет. матем.,
1990, том 2, выпуск 3, страницы 97–101
(Mi dm872)
|
Закон нуля и единицы для многосортной логики предикатов первого порядка
В. В. Князев
Аннотация:
Получены результаты об асимптотическом поведении доли выполнимости формул многосортного языка предикатов первого порядка.
УДК:
510.635+519.11
Статья поступила: 21.11.1989
Англоязычная версия:
Discrete Mathematics and Applications, 1992,
2:2,
219–223
Реферативные базы данных:
© , 2024
Полный текст:
PDF файл (606 kB)