Научные труды и учебные материалы. От конкретного вопроса — к книге и собственному маршруту обучения.
Карта областей знаний · Математика: 51 тема и 235 книг
Учебное издание в тематической подборке «Теория вычислений». Имена в источнике: Herbert Enderton. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Теория вычислений». Имена в источнике: John C. Martin. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Теория вычислений». Имена в источнике: Michael Sipser. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Курс структур данных и алгоритмов с примерами на Java. Практические задачи поиска информации используются для связи методов с разработкой программ. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.
Теоретический курс о конечных автоматах, формальных языках и моделях вычислений. От описания распознаваемых языков он переходит к вопросам вычислимости и ресурсных ограничений алгоритмов. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.
Практический курс численной оптимизации с инженерной постановкой задач. Рассматривает поиск решений, ограничения и неопределённость; алгоритмы сопровождаются реализациями на Julia. Оригинальное название: Algorithms for Optimization. Здесь представлена библиографическая карточка; полный текст не перепубликуется.
Учебник рассматривает автономность робота как результат совместной работы механики, датчиков, исполнительных устройств и алгоритмов. Теория связана с задачами проектирования, моделирования и управления роботами. Оригинальное название: Introduction to Autonomous Robots: Mechanisms, Sensors, Actuators, and Algorithms. Здесь представлена библиографическая карточка; полный текст не перепубликуется.
Алгоритмы и структуры данных рассматриваются как способы решать вычислительные задачи с измеримыми затратами. Курс соединяет математическое моделирование, программирование и анализ эффективности решений. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.
Курс фундаментальных идей информатики, рассчитанный на начало изучения вычислительных дисциплин. Связывает алгоритмическое мышление, представление информации и программирование с более широкими вопросами устройства вычислительных систем. Оригинальное название: Introduction to Computer Science. Учебник на английском языке; здесь представлена библиографическая карточка со ссылкой на официальный ресурс.
Курс дискретной математики с ориентацией на информационные технологии. Связывает математические структуры и способы доказательства с задачами вычислений. Материал на английском языке; доступ к оригиналу указан в источниках.
Вводный курс информатики с общей частью и языковыми дополнениями. В указанной библиотекой версии представлены примеры на C, Java и PHP. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.
Обзор способов представления знаний, поиска решений и обучения в системах искусственного интеллекта. Материал показывает, как формализовать интеллектуальную задачу и выбрать подход к её решению. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.
Основы дискретной математики рассматриваются через задачи информатики. Курс соединяет логику доказательств, множества и отношения с графами, подсчётом вариантов и дискретной вероятностью. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.
Курс теоретических основ информатики: доказательства, множества и отношения, регулярные выражения, конечные автоматы и формальные грамматики. Завершающие разделы посвящены машинам Тьюринга и границам вычислимости. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.
Практический учебник по созданию компилятора через последовательное добавление возможностей языка. Объясняет структуры данных, преобразования программы и связь программного представления с выполнением на компьютере. Оригинальное название: Essentials of Compilation: An Incremental Approach in Python. Здесь представлена библиографическая карточка; полный текст не перепубликуется.
Введение в структуры данных и алгоритмы для студентов бакалавриата. Рассматриваются теоретические основания и вопросы реализации в программном коде. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.
Учебник о списках, хеш-таблицах, деревьях поиска, кучах и графах. Сравнивает устройство структур данных и стоимость операций, рассматривает сортировку и поиск во внешней памяти. Подходит для изучения реализации алгоритмов после знакомства с программированием. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.
Продолжение алгоритмической подготовки с упором на проектирование решений и доказательство их свойств. Обсуждаются общие подходы к построению алгоритмов и оценке времени их работы. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.
Формальные модели вычислений связываются с вопросами разрешимости и вычислительной сложности. Материал помогает различать задачи, для которых существует алгоритм, и ограничения эффективного вычисления. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.