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