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