第一次班会总结

时间:2019年11月20日

主持人:班主任

对象: J175班全体成员

活动形式: 观看视频,游戏

首先看这个视频的原因是让我们大家更好的认识到逻辑上的知识，编程跟逻辑的关系。

逻辑编程的要点是将正规的逻辑风格带入计算机程序设计之中。数学家和哲学家发现逻辑是有效的理论分析工具。

很多问题可以自然地表示成一个理论。说需要解答一个问题，通常与解答一个新的假设是否跟现有的理论无冲突等价。

逻辑提供了一个证明问题是真还是假的方法。创建证明的方法是人所皆知的，故逻辑是解答问题的可靠方法。

逻辑编程系统则自动化了这个程序。人工智能在逻辑编程的发展中发挥了重要的影响。

标签：总结,视频,逻辑,理论,编程,第一次,问题,班会,解答
来源： https://www.cnblogs.com/ArrayStoreException/p/11911582.html