离散数学及其应用——Python建模与实现--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥22.05

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

内容简介

本书是“基于系统能力培养的计算机专业课程建设研究”项目规划教材之一。本书系统介绍了数理逻辑、集合论、图论和代数系统相关内容，以计算为认知模型，重点给出概念、运算及关系的计算表示，并用计算验证性质与定理。以逻辑为认知模型，给出概念、运算及关系的逻辑表示，并证明性质与定理，既注重概念、运算及关系的理解，又注重探究性质及定理的验证；既以 Python作为认识离散数学知识的模型，同时，又以离散数学作为离散世界的模型，为复杂工程问题提供实际解决方法。本书可作为计算机科学与技术、软件工程专业必修课教材，也可以作为其他信息相关专业离散数学教材。同时，本书可作为其他专业技术人员或学生的参考读物。

绪论第一篇数理逻辑第1章逻辑语言 1.1 逻辑运算 1.2 命题逻辑合式公式 1.2.1 合式公式 1.2.2 公式变换 1.3 谓词逻辑合式公式 1.3.1 谓词与量词 1.3.2 合式公式 1.3.3 一阶谓词逻辑语言 1.4 自然语言命题 1.4.1 命题逻辑表示 1.4.2 谓词逻辑表示 1.4.3 自然语言命题符号化习题1 第2章命题逻辑语义 2.1 命题合式公式语义 2.1.1 合式公式语义 2.1.2 合式公式语义方法 2.2 推论式与等价式的语义 2.3 变换合式公式的语义 2.3.1 代换式语义 2.3.2 替换式语义 2.3.3 对偶式语义 2..3.4变换公式基本定理 2.4 命题公式范式 2.5 等式演算习题2 第3章谓词逻辑语义 3.1 合式公式语义 3.2 推论关系和相等关系语义 3.2.1 推论与等价关系的语义 3.2.2 推论判断的方法 3.2.3 重要定理 3.3 前束范式与斯科伦范式 3.4 一阶理论语言 3.5 解释、结构与模型习题3 第4章逻辑公理系统 4.1 形式系统 4.2 命题逻辑公理系统 4.3 一阶谓词逻辑公理系统 4.4 一阶理论公理系统 4.4.1 等词公理 4.4.2 自然数理论及群理论 …… 第二篇集合论第三篇图论第四篇代数系统

离散数学及其应用——Python建模与实现

库存： {{selectedSku?.stock}} 库存充足