离散数文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：175KB　文档页数：43

1.2 集合Sets 1.2.1 集合的基本概念Concepts of Sets

浙江大学：《离散数学》课程教学资源（PPT课件讲稿）第一章命题逻辑（1.4-1.5）集合

文档格式：PPT　文档大小：335.5KB　文档页数：45

The objects in a set are also called the elements, or members, of the set. A set is said to contain its elements. Null Set: There are no anything in the set

北京大学：《离散数学 Discrete Mathematics》课程教学计划

文档格式：PDF　文档大小：118.97KB　文档页数：6

北京大学：《离散数学 Discrete Mathematics》课程教学计划

复旦大学：《离散数学》习题课讲义（李弋）05 Formation tree Parsing algorithm

文档格式：PDF　文档大小：49.3KB　文档页数：20

复旦大学：《离散数学》习题课讲义（李弋）05 Formation tree Parsing algorithm

复旦大学：《离散数学》习题课讲义（李弋）07 Tableau proof system

文档格式：PDF　文档大小：38.56KB　文档页数：14

复旦大学：《离散数学》习题课讲义（李弋）07 Tableau proof system

复旦大学：《离散数学》习题课讲义（李弋）09 Deduction from premises Compactness Applications

文档格式：PDF　文档大小：59.5KB　文档页数：25

复旦大学：《离散数学》习题课讲义（李弋）09 Deduction from premises Compactness Applications

复旦大学：《离散数学》习题课讲义（李弋）11 Terms Formuals Formation tree

文档格式：PDF　文档大小：72.64KB　文档页数：30

复旦大学：《离散数学》习题课讲义（李弋）11 Terms Formuals Formation tree

复旦大学：《离散数学》习题课讲义（李弋）13 Atomic tableaux Tableau proof Property of CST

文档格式：PDF　文档大小：73.6KB　文档页数：36

复旦大学：《离散数学》习题课讲义（李弋）13 Atomic tableaux Tableau proof Property of CST

复旦大学：《离散数学》习题课讲义（李弋）15 Application of Logic Limitation of First Order Logic

文档格式：PDF　文档大小：48.85KB　文档页数：16

复旦大学：《离散数学》习题课讲义（李弋）15 Application of Logic Limitation of First Order Logic

复旦大学：《离散数学》习题课讲稿（李弋）02 Lattice（II）

文档格式：PDF　文档大小：52.45KB　文档页数：6

复旦大学：《离散数学》习题课讲稿（李弋）02 Lattice（II）