УДК 519.716.3

Вопросы полноты для конкретных функциональных систем

вверх  домой
код УДК описание примечания
519.716.32 Конечнозначные логики

см. 510.644 Многозначные логики (и исчисления многозначных логик)

519.716.33 Бесконечнозначные логики
519.716.35 Автоматные отображения
519.716.37 Рекурсивные функции
519.716.39 Другие системы
 
Сгенерировано Флэнг-системой из метаописания УДК в формате Dublin Core
© 2004 TeaCode.com