悟空视频

    在线播放云盘网盘BT下载影视图书

    铁臂阿童木 - 图书

    1981
    导演:手冢治虫
    铁臂阿童木
    搜索《铁臂阿童木》
    图书

    源自动机的道德 - 图书

    2020哲学宗教·哲学著作
    导演:迈克尔·斯洛特
    当代大部分对德性伦理的复兴,都是朝着亚里士多德的方向前进的。斯洛特提出,亚里士多德的道德理论缺少对全体人类的关切,德性伦理学需要从18世纪英国的道德情感主义中寻求灵感。通过求助于休谟和哈奇森的理论,他不仅填补了亚里士多德理论的缺陷,还以此拓展了伦理学疆界,展示了基于动机的“纯”德性理论如何有助于理解人类福祉和实践理性。
    源自动机的道德
    搜索《源自动机的道德》
    图书

    源自动机的道德 - 图书

    2020哲学宗教·哲学著作
    导演:迈克尔·斯洛特
    当代大部分对德性伦理的复兴,都是朝着亚里士多德的方向前进的。斯洛特提出,亚里士多德的道德理论缺少对全体人类的关切,德性伦理学需要从18世纪英国的道德情感主义中寻求灵感。通过求助于休谟和哈奇森的理论,他不仅填补了亚里士多德理论的缺陷,还以此拓展了伦理学疆界,展示了基于动机的“纯”德性理论如何有助于理解人类福祉和实践理性。
    源自动机的道德
    搜索《源自动机的道德》
    图书

    自动机械事务所 - 小说

    魔幻
    导演:爱摸鱼的某人
    “虽然没什么客人,不过欢迎光临!”
    自动机械事务所
    搜索《自动机械事务所》
    图书

    自动机械事务所 - 小说

    魔幻
    导演:爱摸鱼的某人
    “虽然没什么客人,不过欢迎光临!”
    自动机械事务所
    搜索《自动机械事务所》
    图书

    机器人: 机器人 - 图书

    导演:罗伯特·梅隆
    本书将为大家展示各种各样的机器人。最早的机器人是早期电影中虚构出来的并且动起来叮当作响的人形机械,或是那些眼睛能发光、关节能转动的彩色玩偶。现在的机器人则已变成以计算机为大脑、构造精美的机体,这些人造装置能像人类一样行走、跑步和交谈。甚至那些机械玩偶也都变成了体态小巧、能和小朋友们一起玩耍的真正的机器人。今天,数字技术的飞速发展正把我们的很多幻想变成现实。我们儿时梦想的机器人正一步步进入我们的工厂、办公室和家庭,它们不仅能认出、识别我们,还能用语言和我们交流。
    机器人: 机器人
    搜索《机器人: 机器人》
    图书

    形式语言与自动机导论 - 图书

    导演:林兹
    本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。  本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。  本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统...(展开全部)
    形式语言与自动机导论
    搜索《形式语言与自动机导论》
    图书

    形式语言与自动机导论 - 图书

    2004
    导演:林茨
    本书精辟地阐述了计算课程的入门理论,简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明,同时避免过多数学细节,这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现,这样学生就能够通过对比式的研究加强理解。
    形式语言与自动机导论
    搜索《形式语言与自动机导论》
    图书

    形式语言与自动机导论 - 图书

    导演:林兹
    本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。  本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。  本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统...(展开全部)
    形式语言与自动机导论
    搜索《形式语言与自动机导论》
    图书

    自动机理论、语言和计算导论 - 图书

    导演:John E. Hopcroft
    本书是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。
    自动机理论、语言和计算导论
    搜索《自动机理论、语言和计算导论》
    图书
    加载中...