全部
图书
动态
    找到 5 条结果 按相关性 按时间降序

    培养计算机类专业学生解决复杂工程问题的能力

    [图书] - 蒋宗礼 - 清华大学出版社 - 2018

    与国际等效的中国工程教育认证标准明确将解决复杂工程问题能力的培养作为本科工程教育的聚焦点。本书面向本科计算机类专业,讨论如何实现学生解决复杂工程问题能力的培养。首先讨论将这一任务分解到整个本科教育的过程中的基本思路和要求,然后分数学与自然科学类课程、专业类基础课程、专业基础和专业课程、课程设计、实习实训,以及毕业设计,以实例的形式给出落实案例。不仅为读者澄清了一些基本概念,还给读者提供可以实际操作的案例。考虑到相关需求,还简单介绍了相关的工程伦理道德要求和质量保障体系的构建。本书为计算机类专业系统设计培养方案,为教师设计和开展面向学生解决复杂工程问题能力培养的教学活动提供参考,也可以给计算机类专业学生学习课程以达成毕业要求提供指导。对其他工科专业的教师也具有参考价值。

    本科人才培养 从经验走向科学 从粗放走向精细

    [图书] - 蒋宗礼 - 清华大学出版社 - 2021

    本书基于作者多年来对人才培养从经验走向科学、从粗放走向精细的探索和实践,聚焦目前很多高校在专业建设中感到困惑的几个关键问题,包括人才培养标准意识的建立、毕业要求的内涵理解与表达、复杂工程问题的特征及其教学落实、培养方案的系统设计、面向支撑毕业要求达成的课程目标设计、面向产出的教学落实与评价,并将作者近40年来不断打磨的编译原理和形式语言与自动机理论两门课程的教学设计纳入其中。本书对于专业负责人和教师探索一流专业建设之路,强化以学生为中心、落实面向产出和持续改进三大理念,系统设计培养方案,选择、组织和实施课程教学,特别是对于如何分解落实专业毕业要求、分解落实学生解决复杂工程问题能力的培养等问题有重要的参考价值。

    形式语言与自动机理论(第4版)

    [图书] - 蒋宗礼、姜守旭 - 清华大学出版社 - 2023

    形式语言与自动机理论是计算机类专业的一门重要课程。本书是作者结合其近40年来在大学讲授该门课程的经验和体会,选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质,图灵机的基本知识。其内容特点是抽象和形式化,既有严格的理论证明,又具有很强的构造性。叙述中特别注意引导读者分析与解决问题,以培养学生的形式化描述和抽象思维能力,使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。为了便于学生对内容的掌握,附录A还给出了建议的教学设计。 本书配套出版有《形式语言与自动机理论教学参考书》(第4版),归纳各章知识点,解读主要内容,解析典型习题。 本书适合作为计算机学科研究生和高年级本科生的教材,也可供相关专业的学生、教师和科研人员参考。

    形式语言与自动机理论教学参考书(第4版)

    [图书] - 蒋宗礼 - 清华大学出版社 - 2023

    本书作为《形式语言与自动机理论(第4版)》(主教材)的配套教学辅导用书,按照主教材的结构编写而成。本书包括有关内容的讲解、学习要点、问题分析、求解思路和方法、注意事项。考虑到该课程习题求解具有相当的难度,以及给出全部习题解答又不利于学生学习,本书只给出了典型习题的解析。为了引导读者及时总结学习内容,按照小节给出知识点和主要内容解读,为读者学习和掌握主教材中的知识点和问题求解方法,体会问题求解的核心思想提供帮助,对教师和学生来说,阅读这些内容都是很有意义的。

    形式语言与自动机理论引论

    [图书] - 蒋宗礼、姜守旭 - 清华大学出版社 - 2017

    暂无简介

    • 1