Лялецкий А. В. Эвиденциальная парадигма: логический аспект / А. В. Лялецкий // Кибернетика и систем. анализ. - 2003. - № 5. - С. 37-47. - Библиогр.: 21 назв. - рус.Описано логічний формалізм, який є частиною так званої евіденціальної парадигми автоматизованого доведення математичних теорем, запропонованої В. М. Глушковим у вигляді комплексної програми робіт "Алгоритм Очевидності". Наведено базові секвенційні числення та дано результати коректності й повноти числень, використаних у разі імплементації системи автоматизації дедукції. Ключ. слова: автоматизация поиска доказательств, дедукция, логика первого порядка, секвенциальное исчисление Індекс рубрикатора НБУВ: В124
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|