ИТМО - Государственный университет, С-Петербург, 120 стр.
Важная особенность данного учебника заключается в том, что изложение ведется
большей частью на неформальном уровне, с большим количеством примеров.
Основное внимание уделяется объяснению идей, а не формальным определениям.
Все излагаемые алгоритмы описываются с помощью неформального псевдокода.
Таким образом, предполагается, что читатель уже обладает достаточно
программисткой интуицией, чтобы понимать программы без формального
определения синтаксиса, и владеет языком исчисления предикатов первого порядка
достаточно свободно, чтобы понимать примеры.
Важная особенность данного учебника заключается в том, что изложение ведется
большей частью на неформальном уровне, с большим количеством примеров.
Основное внимание уделяется объяснению идей, а не формальным определениям.
Все излагаемые алгоритмы описываются с помощью неформального псевдокода.
Таким образом, предполагается, что читатель уже обладает достаточно
программисткой интуицией, чтобы понимать программы без формального
определения синтаксиса, и владеет языком исчисления предикатов первого порядка
достаточно свободно, чтобы понимать примеры.