python练习——老鼠打洞题目描述《九章算术》的“盈不足篇”里有一个很有意思的老鼠打洞问题。原文这么说的：今有垣厚十尺，两鼠对穿。大鼠日一尺，小鼠亦一尺。大鼠日自倍，小鼠日自半。问：何日相逢？各穿几何？翻译即为，有一堵十尺厚的墙，两只老鼠从两边向中间打洞。大老鼠第一天打一尺，小老鼠也是一尺。大老鼠每天的打洞进度是前一天的一倍，小老鼠每天的进度是前一天的一半。问它们几天可以相逢，相逢时各打了多少。

问题如下：解决办法：

离散数学(二）之谓词逻辑（内容来自冯伟森《离散数学》教材+课件）谓词与量词谓词量词谓词公式及其赋值谓词公式公式的解释谓词公式的类型谓词公式的等价与范式谓词公式的等价谓词演算的基本等价式谓词公式的范式谓词与量词虽然由V、Λ等连接词与原子命题结合可以完成一些命题的逻辑推理，但仅靠命题逻辑仍无法完成所有命题的推理，例如著名的苏格拉底命题“人都是要死的，苏格拉底是人，所以苏格拉底是要死的”，若按命题逻辑翻

python练习——统计学生平均成绩与及格人数题目描述编写程序，计算学生们的平均成绩，并统计及格（成绩不低于60分）的人数。题目保证输入与输出均在整型范围内。输入输出格式输入： 在一行中给出n个非负整数，即这n位学生的成绩，其间以空格分隔。输出：average = 成绩均值count = 及格人数代码注释# 通过map()和list()函数把用户输入转化成int列表score = list(map

python练习——统计学生平均成绩与及格人数题目描述编写程序，计算学生们的平均成绩，并统计及格（成绩不低于60分）的人数。题目保证输入与输出均在整型范围内。输入输出格式输入： 在一行中给出n个非负整数，即这n位学生的成绩，其间以空格分隔。输出：average = 成绩均值count = 及格人数代码注释# 通过map()和list()函数把用户输入转化成int列表score = list(map