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