Logic And Language Models For Computer Science, 4th Edition
Автор: Dana Richards (2023)

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

Скачать книгу

👉 @bfbook