С курсом по ТК есть такая проблема (главная, мне кажется). Нет внятной книги по теме CT in TCS («теоркат в информатике»). Я знаю пару книг с названиями (сейчас глянул в папочке: 10 файлов, но тем не менее), претендующими на это (Пирса, Барра-Уэлша и т. п.), но они не выдерживают никакой критики (основная проблема: есть CT, нет TCS).
То есть качественный и доступный учебник для студентов по CT, может, и есть (хотя функторы на 150 странице у Авуди это как-то грустно), а вот по CT in TCS…
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2016-01-09 01:24 pm (UTC)То есть качественный и доступный учебник для студентов по CT, может, и есть (хотя функторы на 150 странице у Авуди это как-то грустно), а вот по CT in TCS…