南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）10_Simply-Typed Lambda Calculus

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）09_Shared-Variable Concurrency

《程序设计语言的形式语义》课程教学资源（文献资料）An Introduction to Separation Logic（Preliminary Draft）

Program Specifications using Hoare’s Notation Inference Rules of Hoare Logic Automated Program Verification Soundness and Completeness Discussions

程序设计语言：设计与实现(第四版)

◆ 11.1 软件实现概述 ◆ 11.2 程序设计语言与集成开发环境 ◆ 11.3 程序设计方法 ◆ 11.4 程序设计风格 ◆ 11.5 程序效率

1.1 程序设计语言的发展 1.2 面向过程的程序设计 1.3 面向对象的程序设计 1.4 C++的诞生 1.5 程序开发过程 1.6 简单的C++程序

第三章面向对象的程序设计 本章导读 一、掌握类与对象的概念,类与对象的定义方法及二者间的区别。 二、掌握类的成员函数的定义方法、保存方法及调用方法。掌握类中成员的访问机制和方法。 三、了解对象的作用域和生存期

一、 while结构及应用 格式: while(条件) 语句(循环体) 功能:条件为真,执行循环体,然后再判断条件,仍为真,继续 执行循环体,直到条件为假结束,执行结构下一语句。 说明:语句一般是复合语句,即由多个语句组成,称循环体,当多于一个语句时,要用花括号括起来

《程序设计语言课程设计》教学大纲. 3 《数据库系统原理课程设计》教学大纲. 8 《无线传感网与 RFID 技术课程设计》教学大纲.12 《单片机与嵌入式系统设计课程设计》教学大纲.15 《面向对象程序设计课程设计》教学大纲. 18 《物联网数据分析实践》教学大纲. 21 《毕业实习》教学大纲.24 《社会实践》教学大纲.28 《物联网工程实践》教学大纲. 32 《毕业设计（论文）》教学大纲. 36