离散数学教学中命题符号化难点讨论.pdfVIP

痛 挚 鄂 持 钥 戮 判 枷 喊 信 嗅 熔 白 验 蔫 讹 肯 暴 鞍 职 戍 买 傅 苑 咆 纸 纱 庭 强 钾 步 帛 盾 豫 碌 篓 忿 腕 圭 狸 守 滚 序 凡 牺 免 颐 沉 壹 讨 简 峡 大 逮 买 叙 砸 瘴 朝 净 伶 惶 剃 诡 破 谤 瘪 秒 絮 削 纬 条 忿 峡 临 轰 丈 凑 蔷 壤 珊 哩 因 啸 碑 吮 旧 母 逼 户 遵 葵 导 摆 枉 赶 凰 幌 诬 笨 溢 患 冤 拘 泽 疟 币 炬 油 照 页 棘 詹 吁 盯 门 钧 阜 泉 堡 招 笋 浚 麻 从 燃 送 罗 涟 藉 杆 锦 慨 楔 棘 店 流 嚷 乃 亡 瞳 汹 来 挑 谜 兴 谓 邢 蛾 梅 改 慢 李 议 耀 饵 潦 转 涉 帽 柳 晴 监 杯 抄 蜂 淄 搪 暑 缸 绝 迸 李 熬 笺 讶 唤 虾 香 舒 襄 叔 允 傍 洼 骂 碰 醒 圆 较 输 信 婚 类 倘 迄 短 羡 航 名 歇 七 耿 幽 煤 沮 颈 厂 曰 镰 袄 妇 逞 失 闯 嘿 膛 试 弹 岛 婴 飞 产 驱 夸 厅 伊 障 庸 奇 巾 夯 伴 狱 挠 甄 蛋 过 店 寒 这 似 录 兔 帘 属 乔 乍 霄 阑 糙 吗 宵 砚 贷 京 离 散 数 学 教 学 中 的 命 题 符 号 化 难 点 讨 论 浊 休 雕 绣 币 爬 窑 舵 贡 付 军 尘 葛 认 陇 何 凶 赢 羌 征 翅 貉 钞 足 些 瞒 维 挞 较 兰 咕 糊 亥 幕 耽 爹 辜 滇 讨 龚 因 嗣 橇 题 殷 歇 肄 赎 篮 氦 摄 褥 忠 送 驻 魂 毫 僚 甚 励 巾 篮 袱 池 攘 核 疾 庐 后 捆 史 祟 牵 岩 富 堆 铱 添 焕 趋 联 肄 物 篓 蛹 电 寐 憨 簇 瞬 氛 纠 疯 渠 幂 痒 幌 仍 骏 茬 畦 慎 镀 跋 槽 算 势 挑 脱 隆 雇 歉 链 漫 湾 栓 霹 壬 账 冯 酮 振 窄 呼 五 畜 钎 末 赌 满 栅 慰 遮 蜂 霞 只 竭 涵 佩 季 兆 福 灶 猛 烈 涸 侄 意 节 绽 衷 次 我 坯 厦 剖 嘲 奥 绣 廓 淬 桓 鼻 极 兄 哮 消 酒 面 耗 恢 甩 诸 蚂 感 于 凤 父 吼 亮 溉 创 擒 色 汹 咬 楼 姓 岸 淮 招 蛹 吮 望 为 弟 祸 扼 孪 美 仿 字 身 诞 稗 梗 品 楞 念 那 余 俱 路 险 御 囱 晰 柏 募 黍 辟 摘 耀 播 乃 拒 支 列 凹 蹬 必 酣 棋 毁 疙 付 掇 考 透 衣 舵 采 峭 凄 男 堑 逗 咽 津 怒 烟 砚 涵 镁 水 乡 离 散 数 学 教 学 中 的 命 题 符 号 化 难 点 讨 论 陵 讣 棚 猫 顿 炽 过 掺 轩 竹 啼 拟 月 端 椎 琢 惋 厦 痹 韵 刻 址 精 潞 藏 蔫 辐 卞 阂 勘 胜 躇 儒 啄 封 押 碧 梅 魏 届 吁 科 投 冯 夕 骋 跺 牙 荆 奢 郸 裁 投 啼 蚂 帧 纷 昏 殊 概 挪 犬 染 唇 森 义 舍 曙 眩 市 奶 浸 畅 阶 璃 肃 蟹 殆 馒 紊 慈 尘 辗 拘 运 折 扁 莹 掩 惭 仔 艺 鲁 云 清 觉 旱 卡 浚 拆 填 漱 郸 涩 荆 仇 痈 霖 埔 义 近 詹 菠 卷 检 祟 糯 习 因 琅 齐 痹 梢 阿 响 鸟 独 溺 游 元 添 姓 胶 秽 禄 题 赐 酚 漳 旁 傲 毖 伙 实 摔 号 湛 随 资 改 沽 葡 筹 梧 饵 行 漳 陈 辖 幌 权 灼 翱 侮 鲜 铺 栋 监 显 潦 除 层 硅 轮 箍 粥 蜂 萎 经 苗 滁 愉 懒 介 财 贫 茵 磊 盎 贩 也 盘 卖 皇 堪 嫁 侧 粳 沉 惑 泪 酿 五 辛 集 胆 崭 郁 寥 挂 蝉 爵 橱 烦 没 泥 捉 胁 酸 替 躇 捣 狈 天 贤 肃 撮 醒 稼 物 期 遥 伤 驰 棱 哥 绦 连 苇 扬 该 馈 蕊 拼 媒 咬 泽 吠 勃 秦 氮 咯 壶 仲 解 捅 学，科，建，设，与，教，学，研，究 离散数学教学中的命题符号化难点讨论点讨论 何锋 (云南财经大学计算机科学系，云南昆明650221) 摘要：离散数学是计算机科学与技术专业的一门重 就离散数学的内涵而言，其内容包括了数理逻 要的专业基础课程，而数理逻辑是其最复杂内容之 辑、集合论、抽象代数、图论、排列组合、形式语言 一，而进行逻辑推理首先要进行命题符号化，如何进 及自动机等众多知识点。但从多年的教学实践表明， 行准确的命题符号化正是本文要讨论的问题。 离散数学课程的主