«Математическая логика и теория алгоритмов для программистов. (Бакалавриат, Специалитет). Учебное пособие.» kitobiga sharhlar

В ряду современных учебников появилась книга по введению в дискретную математику и теорию алгоритмов.

К чести авторов надо признать, что за последние полвека эта книга является примерно сотой или более попыткой дать изложение основ теории, которую так не любят изучать студенты младших курсов. Практических примеров сравнительно немного, к теории Поста дано только введение. Анализа алгоритмов практически нет. Лекционный план отсутствует, нет плана рекомендуемых упражнений, точнее - они вынесены как приложения. К сожалению, книга не дает достаточного представления и о других вопросах, входящих в рекомендованную программу учебных предметов. Упоминание языка Пролог тоже сделано вскользь - современные представления ушли заметно дальше предполагающихся для тезисного изучения набора вопросов. В конечном тезисе введения авторы немного промахнулись, такую книгу считать "вопросами оснований математики и теории доказательств", считать практически нельзя.