Формальные модели вычислений связываются с вопросами разрешимости и вычислительной сложности. Материал помогает различать задачи, для которых существует алгоритм, и ограничения эффективного вычисления. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.
Проверенных отсылок пока нет. Добавить их можно в редакторе страницы.
Комментариев пока нет. Здесь появится первое реальное сообщение читателя.
Насколько хорошо этот материал помогает разобраться в каждом вопросе?
Краткие аннотации и разные подходы к содержанию. Выше показываются описания с лучшими оценками полезности.
Разбор трудных мест, понятные примеры и ссылки для дальнейшего изучения.
Здесь можно объяснить непонятное слово, обычай или предмет из этого произведения.