Тезисы докладов

Программирование

Проводится анализ системы базисных понятий информатики. Содержательная семантика понятий и их связей рассмотрена исходя из трактовки исполнения программы как онтологии конкретной деятельности. Особо отмечена значимость информационной замкнутости основных понятий и конструкций, как для анализа, так и при построении надёжных программно-аппаратных систем. Формулируются непременные условия, нарушение которых приводит к потере работоспособности компьютерных систем - "три священных коровы информатики". Рассмотрены следствия из указанных требований и вытекающие из них расщепления и уточнения многих общепринятых понятий, обсуждается важность относительного понимания рассматриваемых разделений и границы их полезной применимости. В том числе указывается граница для самого понятия программирование.

Дополнительные материалы:

HTML

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии

[Головная страница] [Конференции] [СО РАН]

© 2001, Сибирское отделение Российской академии наук, Новосибирск
© 2001, Объединенный институт информатики СО РАН, Новосибирск
© 2001, Институт вычислительных технологий СО РАН, Новосибирск
© 2001, Институт систем информатики СО РАН, Новосибирск
© 2001, Институт математики СО РАН, Новосибирск
© 2001, Институт цитологии и генетики СО РАН, Новосибирск
© 2001, Институт вычислительной математики и математической геофизики СО РАН, Новосибирск
© 2001, Новосибирский государственный университет
Дата последней модификации 06-Jul-2012 (11:45:21)