Logic And Language Models For Computer Science, 4th Edition (2023) Автор: Dana Richards Количество страниц: 496 В этом уникальном сборнике освещаются вопросы теории вычислений, в частности логики и теории автоматов. Особое внимание уделено приложениям к информатике, включая инварианты циклов, корректность программ, логическое программирование и методы алгоритмического доказательства. Этот инновационный сборник отличается от стандартных учебников тем, что в нем понятия излагаются в другом порядке, используется меньшее количество теорем с более простыми доказательствами. В него добавлено множество новых примеров, задач и ответов. Скачать книгу