本课程是以学习初阶逻辑为目标。初阶逻辑包括语句逻辑和述词逻辑,语句逻辑是以语句为单位所建构的逻辑,而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异,述词逻辑显然需要更多的考虑,然而...
优秀开发人员的十个习惯 讲师介绍 钱安川: 现任职于腾讯-搜搜,管理项目经理团队。5年以上ThoughtWorks敏捷开发和咨询经验,曾为阿里巴巴、华为、爱立信、阿郎等公司项目经理做过各种敏...
对于纪录片爱好者来说,追BBC(英国广播公司)题材广泛、制作精良的纪录片是人生一大乐事。看BBC的纪录片,既可以追溯上下数千年的历史文化,也可以欣赏从宇宙到地信深处的奇妙境界,而其其超级精彩的画面...
本课程第7-24课正在翻译中,敬请关注!课程教授高效率算法的设计及分析技巧,并着重在有实用价值的方法上。课程主题包含了:排序、堆积及散列;各个击破法、动态编程、网络流、计算几何、数字理论性算法、高速缓...
复杂的现实世界,计算机里应用程序是怎么表现的? 一个复杂的事物,又如何通过抽象以程序语言的方式表述? 这就是抽象的魅力。斯坦福大学给我们分享了这么课程,并给我们诠释了如何进行程序设计的抽象...
本课程将介绍基于android平台上的应用开发,课程分为六个模块,分别涉及android平台概述和其基本构件、初次编写android应用程序及接收和显示网络数据等内容。通过本课程,你将很好地了解and...