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