admin管理员组

文章数量:1567758

2024年3月22日发(作者:)

第一章 集合论、逻辑与算法基础

1.1集合

set(集合) power set(幂)

complement of a set(补集)

universalset set(全集)

set-builder method(集合构造方法)

ordered pair(有序对)

union of sets(并集)

superset(父集)

diagonal of a set(对角集)

disjoint sets(不相交集)

equal sets(相等集合)

n-flod Cartesian product(n次笛卡尔积)

roster method(枚举法)

symmetric difference(对称差集)

Venn diagrams(文氏图)

subset(子集)

Cartesian product(笛卡尔积)

intersection of sets(交集)

proper subset(真子集)

ordered n-tuples(有序n元组)

index set(索引集)

empty (null)set(空集) set difference(差集)

bit string(位串) finite set(有限集)

mutually disjoint(互不相交) length(长度)

infinite set(无限集) pairwise disjoint(互不相交)

singleton set(单体集合) relative complement(相对补集)

1.2数理逻辑

statement(命题) condition(条件)

converse(逆命题) proposition(命题)

biimplication(双向蕴涵) inverse(反命题)

truth value(真值) biconditional(双向条件)

contrapositive(逆否命题) negation(非)

logical connectives(逻辑连接词) statement formula(命题公式)

conjunction(合取) well-formed formulas(良态公式)

本文标签: 集合逻辑双向公式算法