逻辑抽象相关论文
立体几何的教学，需要引导学生在直观感知、操作确认中发展空间想象能力，在度量计算、推理论证中提升逻辑抽象能力。以GeoGebra为平台......
Petri网是一种广泛应用于描述异步并发现象的图形化建模和分析工具，Petri网的可达性判定问题是进行Petri网建模和分析的基础。判定P......
