Учебник, апдейт
Учебник версия 2
Учебник версия 2 другой шрифт
Исправил досадную опечатку - в таблицах, определяющих альфа-редукцию и альфа-конверсию, в правиле \nu был лишний штрих. Вычитывать такие тексты трудно, можно без глаз остаться, как Эйлер. Может быть, заменить M и M' на M_1 и M_2? По поводу другого шрифта -- у меня впечатление, что так немного, но явно легче читать (а я много их читал). Прав ли я? Бесполезная просьба: пожалуйста, не стесняйтесь говорить, если что-то непонятно. В предыдущем учебнике больше всего опечаток (после меня самого) нашёл один программист, который немедленно спрашивал, если чего-то не понимал.
Учебник версия 2 другой шрифт
Исправил досадную опечатку - в таблицах, определяющих альфа-редукцию и альфа-конверсию, в правиле \nu был лишний штрих. Вычитывать такие тексты трудно, можно без глаз остаться, как Эйлер. Может быть, заменить M и M' на M_1 и M_2? По поводу другого шрифта -- у меня впечатление, что так немного, но явно легче читать (а я много их читал). Прав ли я? Бесполезная просьба: пожалуйста, не стесняйтесь говорить, если что-то непонятно. В предыдущем учебнике больше всего опечаток (после меня самого) нашёл один программист, который немедленно спрашивал, если чего-то не понимал.