选择特殊符号
选择搜索类型
请输入搜索
建材归纳分类大致有如下几种:电线(强电线、弱电线)等内容。
建材归纳分类大致有如下几种:电线(强电线、弱电线);给水管道(冷水管、热水管);木材(木方材、木板材);瓷砖(墙砖、地砖;外墙砖、内墙砖);油漆、涂料;家电(灶具、灯饰、智能设备、空调等);部品设备(厨房、卫生间器具);紧固件材料(化学黏结剂、五金紧固件);装饰五金配件、玻璃、镜面等。
建材分类
建 材 分 类 o 基本建材 o 涂料 水管管材 隔音材料 雕花系列 板材 新 型装饰材料 玻璃系列 o 电子电工 o 插座 开关 接线板插头 断路器 电工配件 防盗 报警器及系统 电线系列 o 卫浴用品 o 卫浴五金用品 卫浴陶瓷用品 浴室家具浴缸拉门类 换气扇类 其他的卫浴用品 o 地板瓷砖 o 强化地板 实木地板 实木复合地板 复合地板 釉面 砖 马赛克 玻璃砖 o 腰线砖 仿古砖 抛晶砖 o 灯饰照明 o 吊灯 顶灯 台灯 壁灯 落地灯 镜前灯 小 夜灯 筒灯 节能灯 o 射灯 LED 灯带 灯饰配件 o 阳台门窗 o 木门 金属窗 门窗密封条 门窗配件 卷闸门 防盗门 塑钢窗 板材:装饰板,装饰面板,宝丽板,三聚氢氨板,铝塑板,胶合板, 多层板,中纤板,细木工板,刨花板欧松板,防火板,密度板。装饰板 材类:铝塑板材,复合板,石膏板,人造饰面板,铝合金板,有色金属 板,铝
建筑建材分类
陶瓷:墙砖、地砖、腰线、抛光砖、艺术瓷、仿古瓷砖 石材:文化石、大理石、花岗岩 艺术玻璃:彩绘玻璃、 雕刻玻璃、 镶嵌玻璃、 磨砂玻璃、 镭射玻璃、 彩 印玻璃、 平沙玻璃、 镀膜反光玻璃 油漆涂料等饰面材料: 乳胶漆、外墙乳胶漆、内墙乳胶漆、仿瓷涂料、防虫 涂 料、底漆、 单组成份漆、 双组成份漆、 油漆、喷漆、三组成份漆、 油漆 稀释剂、 万能胶、密封胶、白胶、双面胶、107 胶水、墙纸粉、防渗漏胶、塑料地板粘合、 粘合其他、上光蜡、汽车蜡、抛光漆、滑石粉液体蜡、 擦铜油、研磨沙、氧化铝、 滚筒刷、排笔刷、羊毛刷、玻璃纤维布、地板漆、腻子粉、滑石粉 卫浴洁具:浴缸、钢板、按摩缸、生铁缸、玻璃浴缸、压克力缸、台面盆、陶 瓷盆、人造玛瑙盆、洁晶石盆、陶瓷便器、人造玛瑙便器、妇洗器、蹲厕 、便 斗、冲淋房、电脑蒸气冲淋房、桑拿浴房、淋浴盆 、木桶 水槽卫浴配件: 浴缸配件、水箱配件、面盆配件
结构递归和结构归纳法的关系就象普通的递归和普通的数学归纳法一样。
结构归纳法 是应用在数学逻辑、计算机科学、图论和一些其他数学领域中的一种证明方法 (比如, Los's 定理的证明). 他是一种特殊化的数学归纳法。
通常, 他用来证明一些命题P(x), x是一些递归定义的结构(例如树和表)中的一种. 一个良基 偏序 是定义在这种结构上的.结构归纳法的证明是由证明命题对于所有的极小结构成立,以及如果他在一个结构S的基础结构中成立, 那么他一定也在整个S中成立这些组成. 比如, 如果一个结构是个这样一个表,含有偏序 '<',只要表 L 在表M的尾部,那么L < M. 在这样的排序中,空的list[ ]是唯一的最小元素.结构归纳法中,一些命题P(l) 的证明由两个部分组成:
证明P([])成立
如果P(L) 在表L中成立, 如果L 是表 M的底部, 那么P(M) 也成立。
通常,它用来证明一些命题P(x),x是一些递归定义的结构(例如树和表)中的一种。一个良基偏序是定义在这种结构上的。结构归纳法的证明是由证明命题对于所有的极小结构成立,以及如果他在一个结构S的基础结构中成立,那么它一定也在整个S中成立这些组成。比如,如果一个结构是个这样一个表,含有偏序 '<',只要表 L 在表M的尾部,那么L < M。在这样的排序中,空的list[ ]是唯一的最小元素。结构归纳法中,一些命题P(l) 的证明由两个部分组成:
证明P([])成立 如果P(L) 在表L中成立, 如果L 是表 M的底部, 那么P(M) 也成立。
和标准的数学归纳法等价于良序原理一样, 结构归纳法也等价于良序原理。如果某种整个结构的集容纳一个良基偏序, 那么每个非空子集一定都含有最小元素。(其实这也是良基的定义) 这个辅助定理用这种形式定义的意义在于他能够让我们推论出,如果这里有某个我们需要证明的定理的反例,那么就一定存在一个极小的反例。如果我们能够指出他的存在,也就意味着有一个更小的反例, 我们得到一个矛盾了(因为最小的反例不是最小的),因此反例的集一定是空集。
这种论证的一个实例:考虑一下所有二叉树的集合。我们将证明在完全二叉树中叶子的数目比内部节点的数目多一个。假设这里有一个反例;那么就一定存在含有极小可能数目的内部节点的一个树。这个反例 C 有 n 个内部节点和 l 个叶子,这里有 n 1 ≠ l。而且 C要是非平凡的,因为平凡的树 n = 0 而且l = 1 因此不具有反例的条件。因此 C 至少含有其亲代交点是一个内部节点的一个叶子。从树上删掉这个叶子和他的父辈, 将被删叶子的节点的兄弟节点提升到被删叶子从前父辈节点所占有的位置。 这样做将 n 和 l 减少了 1,因此新的树也有 n 1 ≠ l,这样就得到了一个更小的反例。但是在归纳假设中, C已经是最小的反例了;因此,开始的或许有些反例的猜想被证明了是错误的。 '更小'的偏序意味着只要 S 比T 的节点少那么 S < T。