Юлия Ивановна Галушкина - Математическая логика и теория алгоритмов в примерах и задачах

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