剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 262 与巡逻 相关的结果,耗时0 ms rss sitemap
标签:计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS, 原作名:Logic in Computer Science:Modelling and Reasoning about Systems
作者:胡思 出版年月:2020-02-20 … 页数: 427页 最新访问:2020-04-04 … 网友评分: 8.6
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
标签:哲学,黑格爾,黑格尔,全集&文集,西方哲学,张世英,哲学研究,古典观念论, 原作名:
作者:张世英 出版年月:2020-02-20 … 页数:None页 最新访问:2020-04-06 … 网友评分:
经典好书《黑格尔小逻辑绎注》读书内容简介: 作者简介详情
标签:土地,社会学,历史, 原作名:
作者:钟怀宇 出版年月:2020-02-20 … 页数: 226页 最新访问:2020-04-17 … 网友评分:
经典好书《中国土地制度变革的历史与逻辑》读书内容简介:》在史料选择上以土地制度是否发生重大变革为标准,主要目的是要通过对土地制度变革的重大事件的梳理和回顾,建立起一个比较完整的土地制度变迁脉络,从而发现土地制度变迁的内在逻辑。另外,应该指出的是,所谓中国土地制度,主要是指农村土地制度。在中国古代,农村土...详情
标签:数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测, 原作名:
作者:哈斯 出版年月:2020-02-20 … 页数: 277页 最新访问:2020-05-23 … 网友评分: 7.1
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情

数理逻辑 书籍

标签:数理逻辑,数学,逻辑学,哥德尔,逻辑,大三下,高分,画画, 原作名:
作者:汪芳庭 出版年月:2020-02-20 … 页数: 204页 最新访问:2020-05-23 … 网友评分: 9.4
经典好书《数理逻辑》读书内容简介:版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情
标签:哲学,分析哲学,语言哲学,逻辑哲学,逻辑学,A.C.格雷林,西方哲学,逻辑, 原作名:
作者:[英]A·C·格雷林 出版年月:2020-02-20 … 页数: 452页 最新访问:2020-05-27 … 网友评分: 9.3
经典好书《哲学逻辑引论》读书内容简介: A.C.格雷林,伦敦大学伯克贝学院哲学高级讲师、牛津大学圣安妮学院特约研究员。著有《哲学逻辑导论》(1982)、《驳怀疑论》(1986)、《贝克莱:中心论证》(1986)等书。担任《卫报》专栏作者多年,并为《观察家》、《经济学人》等刊物撰稿。作者简介详情
标签:编程,C语言,C语言入门,入门,编程教育,计算机,编程语言,计算机科学, 原作名:
作者:啊哈磊 出版年月:2020-02-20 … 页数: 212页 最新访问:2020-05-28 … 网友评分: 8.5
经典好书《啊哈C语言!逻辑的挑战(修订版)》读书内容简介:常有趣的编程启蒙书,《啊哈C语言!逻辑的挑战(修订版)》从中小学生的角度来讲述,没有生涩的内容,取而代之的是生动活泼的漫画和风趣幽默的文字。配合超萌的编程软件,《啊哈C语言!逻辑的挑战(修订版)》从开始学习与计算机对话到自己独立制作一个游戏,由浅入深...详情

逻辑研究 书籍

标签:胡塞尔,哲学,西方哲學,西方哲学,现象学,φωτίζω,@译本,=B, 原作名:Logische Untersuchungen
作者:[德] 胡塞尔 出版年月:2020-02-20 … 页数: 1398页 最新访问:2020-05-29 … 网友评分:
经典好书《逻辑研究》读书内容简介:粹逻辑学导引”发表于1900年;第二卷“现象学和认识论研究”发表于1901年,由六项研究组成,前五项研究构成第二卷的上册,第六项研究单独构成第二卷的下册。全书的德文原版共有一千三百多页。1913年,在经胡塞尔本人做了较大程度的修改之后,《逻辑研究》又...详情

数理逻辑 书籍

标签:数理逻辑,逻辑学,数学,逻辑,哲学,教材,符号学,语义, 原作名:
作者:邢滔滔 出版年月:2020-02-20 … 页数: 274页 最新访问:2020-05-31 … 网友评分: 7.2
经典好书《数理逻辑》读书内容简介: 本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义,针对逻辑学的初学者,尤其是初学逻辑的学生,介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。作者简介邢滔滔,北京大学哲学系副教授详情
标签:逻辑思维,逻辑,思维方法,自我提升,思维,个人成长,自我完善,日本, 原作名:
作者:(日)下地宽也 出版年月:2020-02-20 … 页数:None页 最新访问:2020-06-09 … 网友评分: 7.5
经典好书《逻辑思维,只要五步(新版)》读书内容简介:维是一项处理工作和生活问题的必备技能。我们很多的时间都浪费在无效沟通和不停返工中。学会逻辑思维,就能快速表达自己、理清头绪和关系、找到切入点和关键点、问题迎刃而解!★★简单——简单易行的逻辑思考术,短时间内让你让你解决问题...详情