Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення ...
Подається аналіз розвитку базових дисциплін Computer Science – кібернетика, інформатика, комп’юте-рна системна та програмна інженерія. Дано визначення цих дисциплін, їхній зміст і склад. Проаналізо-вано розвиток кожної ...