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