Шелезяка — Первый русскоязычный журнал про роботов и робототехнике. На его страницах вы найдете интересную информацию о новинках мировой робототехники. Сможете узнать о том, как построить роботов любой сложности. Начиная от простейших колесных роботов, управляемых контроллером Arduino, до сложнейших андроидов. ... Читать дальше »

Типы в языках программирования — Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. ... Читать дальше »