形式语言文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：620KB　文档页数：22

宗教信仰者内在的宗教体验和宗教观念通过外在的身体动作和语言形式表现出来就是宗教行为。表现形式多种多样，各种形式在各种宗教中都经历了自发到自觉，从分散化到规范化、从无序到有序的过程。归结起来，主要的宗教行为有巫术、宗教禁忌、祈祷献祭、宗教祈祷等

文档格式：DOC　文档大小：49KB　文档页数：5

高考复习：抓住语言形式，快速辨识语病_辨析语病

文档格式：PDF　文档大小：707.43KB　文档页数：193

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

文档格式：PDF　文档大小：379.12KB　文档页数：50

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）06_Denotational Semantics

文档格式：PDF　文档大小：462.23KB　文档页数：106

《程序设计语言的形式语义》课程教学资源（文献资料）Lecture Notes on the Lambda Calculus

文档格式：PDF　文档大小：329.44KB　文档页数：85

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）05_Operational Semantics

文档格式：PPTX　文档大小：356.78KB　文档页数：76

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）04_Lambda Calculus

文档格式：PDF　文档大小：2.15MB　文档页数：38

Sets Relations Functions Products Sums

文档格式：PPTX　文档大小：131.06KB　文档页数：10

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）02_CoqOverview

文档格式：PPT　文档大小：1.23MB　文档页数：20

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（3/3）