![Пунктирное содержание](https://img.alicdn.com/imgextra/i4/101450072/TB2uhKJhB0kpuFjSsppXXcGTXXa-101450072.png)
краткое введение
![](https://img.alicdn.com/imgextra/i2/101450072/TB2LvCmhxXkpuFjy0FiXXbUfFXa-101450072.png)
В этой книге используются строгое математическое определение, аксиомы и методы интерпретации, чтобы программировать дизайн, обсудить связь между процедурами и абстрактными математическими теориями, которые обеспечивают их правильную работу.В этой книге представлены теоретические правила, алгоритмы, написанные на основе этих правил, и принципы описания природы алгоритма читателям, чтобы помочь читателям разбить сложную систему на некоторые компоненты с конкретным поведением.Эта книга подходит для разработчиков программного обеспечения и ученых и инженеров, которым нужно читать программирование, а также может использоваться в качестве учителей и учеников из компьютеров и связанных с ними специальностей в колледжах и университетах.