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