|
-
Ключові слова:
конструювання програм, конструирование програм ; математичне доведення, математическое доказательство ; обчислювальні алгоритми, вычислительные алгоритмы ; пропозиційна логіка, пропозициональная логика
-
Анотація:
Для пропозиційної логіки сформульовано дві стратегії, задані у формі спеціальних секвенційних числень. Наведено деякі результати щодо їхньої коректності та повноти, та проведено порівняння запропонованих числень. Показано, що жодне з них не має перевагинад іншим з точки зору побудови мінімальних виводів.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
