Maht 206 lehekülgi
2023 aasta
Математическая логика и теория алгоритмов для программистов. (Бакалавриат, Специалитет). Учебное пособие.
Raamatust
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические
навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Для студентов вузов, обучающихся по специальностям "Программное обеспечение вычислительной техники и автоматизированных систем", "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и
вычислительная техника" дневной и заочной форм обучения.
Žanrid ja sildid
В ряду современных учебников появилась книга по введению в дискретную математику и теорию алгоритмов.
К чести авторов надо признать, что за последние полвека эта книга является примерно сотой или более попыткой дать изложение основ теории, которую так не любят изучать студенты младших курсов. Практических примеров сравнительно немного, к теории Поста дано только введение. Анализа алгоритмов практически нет. Лекционный план отсутствует, нет плана рекомендуемых упражнений, точнее - они вынесены как приложения. К сожалению, книга не дает достаточного представления и о других вопросах, входящих в рекомендованную программу учебных предметов. Упоминание языка Пролог тоже сделано вскользь - современные представления ушли заметно дальше предполагающихся для тезисного изучения набора вопросов. В конечном тезисе введения авторы немного промахнулись, такую книгу считать "вопросами оснований математики и теории доказательств", считать практически нельзя.
Arvustused, 1 arvustus1