本课程是以学习初阶逻辑为目标。初阶逻辑包括语句逻辑和述词逻辑,语句逻辑是以语句为单位所建构的逻辑,而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异,述词逻辑显然需要更多的考虑,然而...
软件工程 (Software Engineering,简称为SE)是一门研究用工程化方法构建和维护有效的、实用的和高质量的软件的学科。它涉及到程序设计语言,数据库,软件开发工具,系统平台,标准,设计模...
Oracle Database,又名Oracle RDBMS,或简称Oracle。是甲骨文公司的一款关系数据库管理系统。到目前仍在数据库市场上占有主要份额。本视频为中科院新科海学校和v512工作室共同...
课程是针对电影艺术的哲学分析研讨会,重点是通过创造技术的方式,定义一个正式的影片结构。 特别关注外表与现实,文学和视觉效果,交流和隔阂诸如此类电影中的美学问题。...
我和我们——关于自我和个性的一点哲学思考讲师:张世英,哲学家。1921年生于湖北武汉一书香门第,从小熟读论孟,中学时修理科,1941年秋考入昆明西南联合大学经济系,后转入哲学系,1949年毕业,取得哲...
John Conway和Simon Kochen在三年前明了这个结论,他们的表达更加精确一些:“如果人类有自由意志,那么基本粒子就有自由意志。”事实上,这甚至说明了我们的自由意志更像是我们聚集粒子的原...
本课程将介绍基于android平台上的应用开发,课程分为六个模块,分别涉及android平台概述和其基本构件、初次编写android应用程序及接收和显示网络数据等内容。通过本课程,你将很好地了解and...