¥13.50定价:¥18.00 (7.5折)
形式语言与自动机 “形式语言与自动机”是计算机科学与技术专业的重要理论基础课程,它不仅是计算机科学的核心课程,而且已成为电子信息类专业的热门课程
本书具有如下特色: (1)对递归定义3要素(基础条款、归纳条款、*小性条款)知识点延伸拓展,培养学生递归子程序的形式化描述方法,解决程序开发过程中软件设计的完备性问题。 (2)对语言的形式化表示进行延伸拓展,培养学生算法的形式化表示能力,解决程序开发过程中程序自动生成问题。 (3)对问题描述进行延伸拓展,培养学生从实例计算到模型计算(类计算)演化的能力,解决程序开发过程中抽象建模问题。 (4)对图灵机知识进行延伸拓展,培养学生底层算法设计能力,解决程序开发过程中算法的可行性证明问题。
¥19.10定价:¥25.00 (7.64折)
¥16.50定价:¥21.00 (7.86折)
离散数学 离散数学以研究离散量的结构和相互间的关系为主要目标,旨在介绍离散数学的各个分支的基本概念、基本理论和基本方法。
本教材以离散数学课程重要知识点为纽带,夯实程序设计思路,拓展数据结构中数据和关系的表示方法,提高学生从实例计算到类计算的应用能力。使学生充分掌握 问题-形式化-自动化(计算机化) 方法,结合*知识分类方法和图论的相关研究成果拓展课程涉及的相关原理与方法,为培养创新研究型人才打下良好的基础。本教材为全国高等学校计算机教育研究会2018 年度课题。
¥41.60定价:¥49.00 (8.49折)
¥58.00定价:¥58.00
¥58.00定价:¥58.00
数据结构与算法分析 张琨 张宏 朱保平 人民邮电出版社【正版】
内容全面:介绍了数据结构的基本理论与方法,包括线性表、栈和队列、串、数组和广义表、树和二叉树、图、查找、内部排序等,内容全面,循序渐进。案例丰富:从应用出发,结合大量实际案例,对概念与算法进行详尽描述,加深学生对数据结构基本概念、原理和方法的理解。插图易懂:在阐述基本概念、基本理论和算法原理时,配有丰富的插图,以直观的方式清晰解释复杂的算法程序,易于理解。代码详尽:基于C 语言,提供了详尽的算法代码,且所有算法和实例程序都在VC 6.0环境下编译通过并运行正确。习题完备:在每一章末尾都配有围绕知识点和难点的习题,且习题题型多样,难度适中,便于巩固理论知识。应用突出:倡导从实用性和实践性角度学习数据结构,强化算法的实践与应用,解决学生中普遍存在的“只懂概念,不会编程”的问题。
¥5.84定价:¥38.94 (1.5折)
¥69.00定价:¥100.00 (6.9折)
自主预学,确立学生主体地位。精心设计,注重学生预学效果。先学后教真正实现高效课堂。打造新一型教辅,推行预学模式。
¥12.00定价:¥16.00 (7.5折)
¥12.00定价:¥16.00 (7.5折)