5 отличных англоязычных книг по теоретическому Computer Science
Подборка книг и курсов по информационным технологиям от лучших университетов и преподавателей планеты, которая поможет в углубленном изучении информатики.
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 книги, которые разбудят в вас математика
Математические основы анализа данных: подборка материалов по вузовской математике