qq_36161012的博客

3 Overview of Uppaal toolkitGUI of the Java client: the editor, the simulator, the verifier.3.1 The editorGlobal declaration Contains global integer variables, clocks, synchronisation channels, and constants.Templates Train, Gate, and IntQueue are

一、计算（机械而有效的方式获取问题答案）理论：中心从数学转至计算机科学1.1 核心问题：计算机的基本能力和限制是什么？可计算性理论：究竟哪些问题，可通过计算解决？计算和算法：一阶逻辑谓词可解决的话，就可以用数理逻辑一劳永逸的解决问题。有些问题是不存在算法的。计算复杂性理论：解决可计算的问题，究竟需要多少资源？到底是什么原因导致有些问题需要耗用大量资源才能解决？——可以对问题按照性质不同进行分类。形式语言与自动机理论：为了研究计算，要使用哪些计算模型？简单明确、功能强大。1.2