Подборка книг и курсов по информационным технологиям от лучших университетов и преподавателей планеты, которая поможет в углубленном изучении информатики.

Building Blocks for Theoretical Computer Science

Эта книга учит, как читать и писать математические доказательства. В ней разбираются основные математические обозначения и методы, которые будут полезны при дальнейшем изучении информационных технологий. Речь пойдет о пропозициональной и предикатной логике, множествах, функциях, модульной арифметике, графиках и деревьях. Также в книге имеется краткое введение в некоторые ключевые темы теоретической информатики: анализ и сложность алгоритма, теория автоматов.

Category Theory for Computing Science

Эта книга представляет собой учебник по базовой теории категорий, написанный специально для ученых и студентов в области компьютерных технологий. В ней излагаются те идеи, которые являются основными для теории категорий в контексте информатики.

Homotopy Type Theory: Univalent Foundations of Mathematics

Речь в этой книге пойдет о гомотопической теории типов. Гомотопическая теория типов – новая отрасль математики, которая удивительно сочетает в себе аспекты нескольких разных областей. Она основывается на связи между теорией гомотопий и теорией типов. Гомотопическая теория основывавается на алгебраической топологии и гомологической алгебре, а теория типов – это ветвь математической логики и теоретической информатики.

Introduction to Computing Explorations in Language, Logic, and Machines

В этой книге представлены наиболее важные идеи в области вычислений с использованием языков программирования Scheme и Python. Основное внимание уделяется тому, как описывать информационные процессы, определять процедуры и как анализировать затраты ресурсов, необходимые для выполнения этих процедур.

Introduction to Theory of Computation

Это бесплатный учебник для бакалавриата по курсу теории вычислений, который преподают в Карлтонском университете с 2002 года. До 2011-2012 учебного года эта программа предлагалась на втором курсе и была обязательной для всех студентов факультета компьютерных наук.

Также советуем к прочтению:

4 книги, которые разбудят в вас математика
Математические основы анализа данных: подборка материалов по вузовской математике