《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
《跑赢小古文:给小学生的小古文漫画故事(全4册)》内容简介:这是一套专门为6—12岁的小学生编撰的古文学习综合辅导书。全套书共
你是否从事Android操作系统开发,会创建简单的Android应用,但想进一步提升自己的开发技巧?你是否想深入挖掘Android操作系统的特
《五子连珠必胜法》经日本国虹有社授权,译自日本连珠社已故理事长新井华石九段经典著作《连珠必胜法》一书。内容阐述和介绍五子
《赢在运营》内容简介:这是一个产品高度同质化的时代。为什么有的企业,明明产品并不是最好的,但投放市场却更受欢迎?因为他们的
《鲁迅自编文集:汉文学史纲要》内容简介:该书原系鲁迅于1923年厦门大学讲授中国文学史课程时编写的讲义,题为《中国文学史略》;
《Python青少年趣味编程》内容简介:Python是现在非常流行的计算机编程语言,它功能强大,应用场景广泛,但其语言却简洁,非常适合
《GPU精粹:实时图形编程的技术技巧和技艺》汇集了当今国际上前沿开发者们经多年研究和实践得出的实用的实时图形技术成果。《GPU精
《设计思维:建筑设计过程解析(原书第3版)》第二版于1990年出版,之后第三版就一直在不停的改写当中。布莱恩·劳森一直在努力了解
《汉字王国:让中国走向现代的语言革命》内容简介:在地铁上,超市排队时,上班办公的空当,我们都能用大拇指以惊人的速度在手机上
《通信系统》(第4版)对通信系统的基础理论和关键环节进行了深入分析,力图让学生在讨论中领会通信的精髓。全书首先给出通信系统的
INSIDEAPPLErevealsthesecretsystems,tacticsandleadershipstrategiesthatallowedStev...
《上海表情》内容简介:2020年,一场“新冠肺炎”疫情席卷全球……年初,作家何建明因疫情意外被留在了上海。在这“被留”的百余天
《李小龙信札:功夫、表演和生命》内容简介:这本信札集记载了李小龙从赴美国求学到在香港逝世之间的十五年珍贵时光。在这些寄给家
版式设计原理,ISBN:9787500677390,作者:(日)佐佐木刚士目录 第1章页面构成的理论总觉得效果有点奇怪根据理论修改之后Spec
本书由一个团队编写而成,这个团队的成员都是一些经验丰富且专注于JavaScript的开发者。TomHallett是一位高级Ruby和JavaScript工
就像报纸、杂志等媒体无处不在一样,电脑了已经被应用于日常生活的各种场合。这个远处不在的电脑世界已成为艺术表现的媒体,带着
《琼美卡随想录》内容简介:“还是每天去散步,琼美卡夏季最好……”木心散文小说系列之《琼美卡随想录》,依据木心晚年定稿,第一
《体育赛事信息化与网络安全》内容简介:大型综合性体育赛事的信息系统与通信网络的安全,与其他活动有许多不同之处。体育赛事信息
《写给老板的法律课》内容简介:企业自从登记注册的那一刻,就与法律事务密不可分。这就对老板的法律知识储备、法律思维养成提出了
《ASP.NET4高级程序设计(第4版)》,本书是ASP.NET领域的鸿篇巨制,全面讲解了ASP.NET4的各种特性及其背后的工作原理,并给出了许