Ebook: Математическая теория и практика систем программного обеспечения. Труды советско-болграрского совещания

Одним из очень полезных результатов прямого сотрудничества между научными учреждениями является формирование общей научной идеологии, когда работа, даже выполняемая раздельно, приобретает когерентный и, стало быть, более продуктивный характер. Этому положению в полной мере отвечает программа научного сотрудничества Единого центра по математике и механике Болгарской Академии наук и Вычислительного центра Сибирского отделения Академии наук СССР.Программа, в целом относящаяся к решению проблем информатики, охватывает три темы:- математическая логика,- проблемы автоматизации программирования,- создание ВЦКП.