Дано аналіз сучасного стану і застосування фабрик в індустріальному виробництві програмної проду-кції. Запропоновані базові складові фабрики наукового софтвера, обґрунтовано їх зміст і призначення у рішенні наукових завдань. ...
Досліджуються композиційно-номінативні модальні та темпоральні логіки функціонально-екваційного рівня. На основі властивостей відношення логічного наслідку для множин формул збудовані числення секвенційного типу для загальних ...