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