名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 蒋宗礼 , 检索到: 9 条结果, 检索时间: 0.04 秒 , 排序选项: 排序方式: 隐藏分类导航 隐藏趋势图
分类导航

T 工业技术 (9)

    图书馆

  1. 长沙理工大学图书馆 (5)

    馆藏地点

  1. A馆自科书库（二楼） (3)
  2. 云塘馆自科三库(二楼东) (3)
  3. B馆自科书库(三楼) (2)
  4. 云塘馆样本书阅览室(七楼)(不外借) (2)

    文献类型

  1. 图书 (9)

    主题

  1. 形式语言 (3)
  2. 本书是作者结合其近40年来在大学讲授该门课程的经验和体会, 选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质, 图灵机的基本知识。其内容特点是抽象和形式化, 既有严格的理论证明, 又具有很强的构造性。叙述中特别注意引导读者分析与解决问题, 以培养学生的形式化描述和抽象思维能力, 使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。为了便于学生对内容的掌握, 附录a 还给出了建议的教学设计。 (1)
  3. 程序设计-计算机 (1)
  4. 自动机理论 (1)

    著者

  1. 蒋宗礼 (4)
  2. 蒋宗礼, 姜守旭编著 (2)
  3. 蒋宗礼主编 (2)
  4. 蒋宗礼编著 (2)
  5. jiang zong li | 蒋宗礼 (1)
  6. 蒋宗礼 编著 (1)
  7. 蒋宗礼,姜守旭 编著 (1)
  8. 蒋宗礼、姜守旭编著 (1)

    出版日期

  1. 2024 (1)
  2. 2018 (1)
  3. 2007 (2)
  4. 2003 (2)
  5. 1994 (1)

    语言种类

  1. 汉语 (5)

    在馆

  1. 在馆 (5)
  2. 不在馆 (4)

    新到时间

  1. 过去7天 (0)
  2. 过去30天 (0)
  3. 过去60天 (0)
  4. 过去90天 (0)
  5. 过去180天 (0)
  6. 超过180天 (5)
保存至书单:
共 1 页 首页 <上一页 1 下一页>  尾页>>
1.
封面仅供参考
出版社: 清华大学出版社   出版日期: 2007
文献类型: 图书 , 索书号: TP301/J494/2/E.2
2.
封面仅供参考
出版社: 哈尔滨工业大学出版社   出版日期: 1994.12
文献类型: 图书 , 索书号: TP311.12/J494
3.
封面仅供参考
出版社: 清华大学出版社   出版日期: 2007
文献类型: 图书 , 索书号: TP301.2/J494/2/E.2
4.
封面仅供参考
出版社: 清华大学出版社   出版日期: 2003.1
文献类型: 图书 , 索书号: TP301/J494
5.
封面仅供参考
出版社: 清华大学出版社   出版日期: 2018.07
文献类型: 图书 , 索书号:
6.
封面仅供参考
出版社: 清华   出版日期: 39356
文献类型: 图书 , 索书号:
7.
封面仅供参考
出版社: 清华大学出版社   出版日期: 2003.8
文献类型: 图书 , 索书号: TP301.2/J494
8.
封面仅供参考
出版社: 清华大学出版社   出版日期: 2024-05-02
文献类型: 图书 , 索书号:
9.
封面仅供参考
出版社: 清华   出版日期: 39356
文献类型: 图书 , 索书号:
共 1 页 首页 <上一页 1 下一页>  尾页>>
© 2005－ www.interlib.com.cn, all rights reserved