本课程是以学习初阶逻辑为目标。初阶逻辑包括语句逻辑和述词逻辑,语句逻辑是以语句为单位所建构的逻辑,而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异,述词逻辑显然需要更多的考虑,然而...
本课程是以学习初阶逻辑为目标。初阶逻辑包括语句逻辑和述词逻辑,语句逻辑是以语句为单位所建构的逻辑,而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异,述词逻辑显然需要更多的考虑,然而...
微分方程论是数学的重要分支之一。大致和微积分同时产生,并随实际需要而发展。含自变量、未知函数和它的微商(或偏微商)的方程称为常(或偏)微分方程。它的研究来源极广,历史久远。