应用逻辑

应用逻辑

查阅电子书
手机扫码
  • 微信扫一扫

    关注微信公众号

因版权原因待上架

内容简介

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书,书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题(语法,语义,完备性和紧致性),但是书中大部分讨论的是其他主题,诸如消定理证明,逻辑式程序设计非经典逻辑(模态逻辑和直觉主义逻辑),而这些主题在现代计算机科学中变得越来越理要。另外,本书还系统介绍了集合论基础知识,并对该主题提供了历史综述。

应用逻辑是2006年由机械工业出版社出版,作者尼罗德。

得书感谢您对《应用逻辑》关注和支持,如本书内容有不良信息或侵权等情形的,请联系本网站。

购买这本书

你可能喜欢
政府会计制度详解与实务:条文解读+实务应用+案例讲解 电子书
1.内容前沿,版本知名 本书严格依据2018年3月《政府会计制度》编写而成。自2019年1月1日起,全新的《政府会计制度》将要在全国的行政事业单位内全面实施。新《政府会计制度》的变化很大,首先,将原来的9种会计制度全面合并成为《政府会计制度》;其次,一项业务,两笔分录,一本账簿,两套报表;结尾,将财务会计与预算会计融为一体。本书严格依据《政府会计制度》编写,帮助大家深度学习《政府会计制度》的规范与要求,帮助大家能够正确依据《政府会计制度》办理好本单位的会计核算工作。 2.清晰逻辑导图,学习更加便捷。 本书中充分发挥了逻辑导图的优势与优点。会计分录是会计工作中的一个核心问题,而用逻辑导图的方法来表现会计分录的前因后果及数字关系,具有天然的优势。本书充分发挥逻辑导图的优势,对各种会计规定进行了清晰条理的阐述,使得本书阅读体验感好于同类图书,这也成为本书的一个亮点和优点。 3.精选实务案例,提高分析能力。 由于先天的限制,《政府会计制度》具有“原则、笼统、条文化”等不足,将《政府会计制度》的要求应用于日常会计工作很是不易。本书非常重视案例的收录与讲解,把《政府会计制度》的要求具体化到日常的经济业务处理之中,是把准则与实务连接在一起的桥梁与纽带。 4.实务操作演练,快速提升是实操能力。 本书针对专业读者,旨在帮助读者解决实务工作中的具体问题。在很多情况下,只是被动的了解《政府会计制度》的规定,是很难理解其实质要求的,也很难做到灵活的应用。本书以实务操作为核心,处处进行深度分析,案例中不仅阐述怎么办,更是强调说明为什么这么做,帮助大家读透制度,准确应用制度。
德国哲学(2017年下半年卷) 电子书
《德国哲学》是由湖北大学哲学学院主办、湖北大学德国哲学研究所协办的专门研究德国哲学及相关问题的学术性刊物。本册是2017年下半年卷。
问,就对了!用提问掌控人生主动权 电子书
那些能让你更智慧更成功的答案,你不问,是不会有人告诉你的。
快乐编程:青少年思维训练 电子书
编程教育的目的不是掌握语言,而是锻炼编程思维,让孩子更爱思考的编程书。
麦肯锡结构化战略思维 电子书
适读人群 :想提升思维能力的职场人、管理者 源自麦肯锡的高效思维方法,带你摆脱焦躁而低效的状态,学会理性思考与决策。