Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Ершов А.П. — Математическая теория и практика систем программного обеспечения. Труды советско-болграрского совещания
Ершов А.П. — Математическая теория и практика систем программного обеспечения. Труды советско-болграрского совещания



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


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

Автор: Ершов А.П.

Аннотация:

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


Язык: ru

Рубрика: Математика/

Серия: Сделано в холле

Статус предметного указателя: Нет и не будет

ed2k: ed2k stats

Год издания: 1982

Количество страниц: 166

Добавлена в каталог: 15.12.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте