计算机思维的本质是抽象和自动化。它涉及使用计算机科学的基础概念进行问题求解、系统设计以及人类行为理解等一系列思维活动。计算机思维的特点包括形式化、程序化和机械化，它要求人们能够在抽象的多个层次上思考，而不仅仅是编程。计算思维的自动化意味着可以将问题描述发送给计算机，由计算机自动执行得到结果。
计算机思维的形式化是如何体现的？
计算思维的自动化有哪些应用实例？
如何提高计算机思维能力？
