《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
《且介亭杂文》内容简介:本书是鲁迅1934年所作杂文三十六篇,1935年末经作者亲自编定,1937年7月由上海三闲书屋初版。包括《拿来主
《文徵明琵琶行二种(中华碑帖精粹)》内容简介:文徵明,初名壁(也作璧),字徵明,后以字行,更字徵仲;祖籍衡山,自号衡山居士
NicholasC.Zakas是一名前端开发顾问、作者和演讲家。在Yahoo!供职超过5年时间,在这期间他曾是Yahoo!首页首席前端工程师和YUI库
《大学生社会责任感培育的实践与探索》内容简介:本书围绕如何培育大学生的社会责任感,基于“全人教育”理念,即通过“社会学习”
《人工神经网络理论.设计及应用》系统地论述了人工神经网络的主要理论和设计基础,给出了大量应用实例,旨在使读者了解神经网络的
《区块链原理、设计与应用》内容简介:本书由超级账本核心设计和开发者撰写,是区块链开发落地专业指南。由浅入深,系统化介绍超级
《Python高级编程》通过大量的实例,介绍了Python语言的最佳实践和敏捷开发方法,并涉及整个软件生命周期的高级主题,诸如持续集
被咬过一口的苹果残缺低调但却难掩光芒无论是偏执狂还是是残忍的完美主义者无论是创新迷还是神一样的传奇都不重要他就是乔布斯不
人体通信的建模、仿真与实现 本书特色宋勇、郝群*的《人体通信的建模仿真与实现》主要结合作者已完成和正在进行的研究工作,系统阐述人体通信的建模、仿真及实现问题,具...
《解密SEO:搜索引擎优化与网站成功战略》帮助读者建立搜索营销的概念,分析搜索营销中的几种形式的手段,并从认识搜索引擎的原理
Thisbookexplorestheintuitiveappealofneuralnetworksandthegeneticalgorithminfinanc...
《系统安装、维护及故障排除实战》内容简介:本书由资深计算机硬件工程师精心编写,讲解了安装操作系统前的准备、分区与格式化硬盘
非光滑控制理论与应用 本书特色 从方法的对象来看,与传统控制律相比,非光滑控制律的适用范围不同,正如李世华和丁世宏等编著的《非光滑控制理论与应用》中将提...
Wanttoaddmoreinteractivityandpolishtoyourwebsites?DiscoverhowjQuerycanhelpyoubui...
《地方公务员能力框架与能力建设研究》内容简介:本书在国家公务员九项能力框架和项目组调研的基础上,细分、构建了H省地方公务员的
开放环境下图像源识别技术 内容简介 本书主要介绍开放环境下的图像源识别技术, 包括六章: **章、绪论 ; 第二章、图像源识别技术概述 ; 第三章、有未知模型的...
B.约瑟夫•派恩二世与詹姆斯H.吉尔摩那部经典名作《体验经济》在商界引起了震动性的大转变:让你不会在参与的竞争中失去自我,你需
自從數位科技介入當代藝術,一連串最啟人疑竇的問題諸如:怎樣的作品可以被稱為(當代)藝術?挪用與剽竊之間的區別為何?藝術的
《Odoo快速入门与实战:Python开发ERP指南》内容简介:本书包括基础篇、研发技术篇和实战篇,按照由基础到进阶,再到实战的顺序讲解
《唐诗三百首》内容简介:本书是清代蘅塘退士编选的唐诗普及读物。自乾隆二十八年问世以来,“风行海内,几至家置一编”,时至今日