5 отличных англоязычных книг по теоретическому Computer Science

0
11251

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

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 книги, которые разбудят в вас математика
Математические основы анализа данных: подборка материалов по вузовской математике

РУБРИКИ В СТАТЬЕ

Комментарии 0

ВАКАНСИИ

Unity 3D developer
по итогам собеседования
Unity Developer
по итогам собеседования
Middle\Senior .Net разработчик
от 120000 RUB до 165000 RUB
Ведущий программист Unity3D
Москва, по итогам собеседования

ЛУЧШИЕ СТАТЬИ ПО ТЕМЕ

BUG