|
Дискретная математика, 1990, том 2, выпуск 3, страницы 97–101
(Mi dm872)
|
|
|
|
Закон нуля и единицы для многосортной логики предикатов первого порядка
В. В. Князев
Аннотация:
Получены результаты об асимптотическом поведении доли выполнимости формул многосортного языка предикатов первого порядка.
Статья поступила: 21.11.1989
Образец цитирования:
В. В. Князев, “Закон нуля и единицы для многосортной логики предикатов первого порядка”, Дискрет. матем., 2:3 (1990), 97–101; Discrete Math. Appl., 2:2 (1992), 219–223
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm872 https://www.mathnet.ru/rus/dm/v2/i3/p97
|
Статистика просмотров: |
Страница аннотации: | 338 | PDF полного текста: | 178 | Первая страница: | 1 |
|