剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 11587 与汉魏至唐五代小说佚文辑证 相关的结果,耗时4 ms rss sitemap
标签:数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测, 原作名:
作者:哈斯 出版年月: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定理及...详情
标签:古希腊,宗教,神话,经典与解释,吴雅凌,神秘学,文化,希腊, 原作名:
作者:吴雅凌 编译 出版年月:2020-02-20 … 页数: 473页 最新访问:2020-05-24 … 网友评分: 8.1
经典好书《俄耳甫斯教辑语》读书内容简介:中的一个古老的教派:“俄耳甫斯诗教”,它是与荷马—赫西俄德教派相并列,甚至更幽古的教派(一般研究者倾向于认定,荷马—赫西俄德的诗教是政制性的宗教,俄耳甫斯秘教则似乎是如今所谓“民间”宗教),集诗歌和宗教教义与宗教生活实践为一体。译著者搜集整理了各种文...详情
标签:哲学,分析哲学,语言哲学,逻辑哲学,逻辑学,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
经典好书《数理逻辑》读书内容简介: 本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义,针对逻辑学的初学者,尤其是初学逻辑的学生,介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。作者简介邢滔滔,北京大学哲学系副教授详情
标签:逻辑学,逻辑思维,逻辑入门,哲学,逻辑科学,麦克伦尼,逻辑思考力,思维, 原作名:BEING LOGICAL: A Guide to Good Thinking
作者:[美]D·Q·麦克伦尼 出版年月:2020-02-20 … 页数: 162页 最新访问:2020-06-09 … 网友评分: 7.9
经典好书《简单的逻辑学(精装版)》读书内容简介:名逻辑学家、哲学教授D.Q.麦克伦尼,将一门宽广、深奥的逻辑科学以贴近生活、通俗易懂、妙趣横生的语言娓娓道来。它既没有刻板的理论教条,也不是正规的教科书,而是一本必不可少的现实指南。生活中,逻辑无处不在。无论我们是有意还是无意,逻辑每时...详情
标签:电影系列(中国电影出版社), 原作名:
作者:李艾东 出版年月:2020-02-20 … 页数: 281页 最新访问:2020-06-15 … 网友评分:
经典好书《电影(第3辑)》读书内容简介: 《电影:我们共同的记忆(第3辑)》是一部访谈录,访谈的嘉宾都是些与电影有着不解之缘的人,但他们并非全部都是名人,他们来自各个不同的行业。他们为我们讲述一些小故事,他们的那些故事、那些感情都是从内心之泉流淌出来的,常常令人感动异常。作者简介详情
标签:电影系列(中国电影出版社), 原作名:
作者:李艾东 出版年月:2020-02-20 … 页数: 271页 最新访问:2020-06-15 … 网友评分:
经典好书《电影(第4辑)》读书内容简介:位嘉宾对于电影的共同记忆,他们在这里回味、思索、欢笑、感伤,不仅为我们带来了无数个精彩的观影故事,也为我们留下了无数个令人难忘的感人瞬间。有一种印记,时光荏苒却依然透明清晰;有一种情感,岁月蹉跎却总能温暖甜蜜;有一种幸福,从来不需要想起却永远也不会忘...详情