论文部分内容阅读
我们花了整整四讲的篇幅，来细致地建立了一套有别于我们日常所用的形式系统。如果认真地阅读了我前几讲的内容，那末目下诸位应该脑子里面很清楚如下的几个观念。
推理和证明——C、C＋＋和Java串讲之第五讲
【摘 要】
：
我们花了整整四讲的篇幅，来细致地建立了一套有别于我们日常所用的形式系统。如果认真地阅读了我前几讲的内容，那末目下诸位应该脑子里面很清楚如下的几个观念。
【机 构】
：
交通大学
【出 处】
：
计算机教与学
【发表日期】
：
2003年3期
其他文献
目的:通过产后的饮食指导,以探讨饮食护理指导对于孕妇产后减重的影响,为临床饮食护理干预措施的制定提供参考依据与数据支持。方法:通过对72例产妇的产后饮食护理指导,观察
针对越来越多的气泡混合轻质土在市政工程和公路工程中的回填应用,文章结合绍诸高速公路SZTJ04合同段工程气泡混合轻质土回填工程,试验分析了各种常用外掺料对气泡混合轻质土