R-演算:一种信念修正的逻辑(英文版)(R-CALCULUS: A LOGIC OF BELIEF REVISION)

R-演算是非单调的Gentzen型演绎系统，是一种具体的信念修正算子，被证明满足AGM假设和DP假设。本书是为了扩展R演算（i）从一阶逻辑到命题逻辑，描述逻辑，模态逻辑和逻辑编程；（ii）从最小变化语义到子集最小变化，伪子公式最小变化和基于演绎的最小变化（最后两个最小变化是新定义的）；并针对这些极小值证明合理性和完整性定理。这些逻辑的变化。为了使R-演算可计算，我们在递归理论中给出了使用有限伤害优先级方法的近似R-演算。此外，R演算的

双语认知推拉机关书【全6册】

幼儿普遍喜欢能引起好奇心的事物，对孔洞、被盖住的、可以拉动的事物都有兴趣，都有反复探索的意愿。本套《双语认识推拉机关书》就是顺应幼儿的特点，把认知类事物、语言、习惯、情绪管理等内容融合在一起，边学边玩，在探索中学习。以中英双语的形式组成文字部分，家长在陪孩子“玩”书的同时，让孩子认识简单的汉字、英文单词和拼音，并配有音频领读。本书共有6个分册，分别为：《呀！危险》《天气变变变》《神奇词语》《四季》《真开心》《不高兴》。每一展页都包含两

我可以【全10册】

《我可以》10册，10个故事，10个好习惯，读故事养习惯的同时，认识191个词，244个字。 0-3岁宝宝通过《我可以》明白自己应该学会并做到哪些日常生活习惯，明白为什么要这样做和怎样做。 读故事的同时，提炼出画面里出现的字词，认识对应画面的字词。 生活好习惯养成+文字敏感期探索 10个生活好习惯：《我可以》洗澡、上厕所、刷牙、剪头发、不尿床、不挑食、睡觉、穿衣服、整理玩具、不怕打...

笑读成语故事(全6册)

成语就要用起来，将成语与古文和寓言及历史典故结合起来，掌握丰富的中国历史和传统文化，用漫画解读成语的本意，在轻松笑读中培养孩子的高尚品性，帮助孩子明辨是非。漫画解读成语释义、成语故事展读、成语接龙游戏、成语溯源和延伸、历史典故讲解，一套书让孩子在笑读成语的同时，真正将成语玩起来...

给孩子讲史记 全6册

给孩子讲史记”系列共分为六册，精选适合孩子阅读的史记故事进行编写，分为“朝臣将相”“帝王之路”“先古圣贤”“诸侯世家”“纵横天下”“风云际会”六个分册。 本套书主要叙述了上起黄帝，下至汉武帝三千年间帝王将相、儒林游侠等各个时期重要人物事迹。《史记》原著为文言文，内容庞杂，孩子读起来 吃力。因此，编者根据孩子的阅读习惯和特点，在忠于原著的基础上，添加注音和插图，对原作进行翻译和解读，为孩子献上一套能读得懂的史记故事...

写给孩子的山海经 全3册

《写给孩子的山海经》共三本，单册主题名别是《写给孩子的山海经·人神篇》、《写给孩子的山海经·异兽篇》和《写给孩子的山海经·鱼鸟篇》。本书将《山海经》原文中的那些想象奇特、精彩 伦但又让孩子难懂的兽、虫、鱼、神，通过小故事的形式，再辅以精致的插画，将它们活灵活现地呈现在孩子眼前，让孩子轻松就能读懂《山海经》，开启孩子们非凡的想象力；丰富孩子的知识，让孩子的脑洞大开...

北京寺院建筑

本书以传统的建筑史研究方法为基础，采用大量的历史和碑刻文献作为研究依据，并辅以建筑结构和特征的分析，厘清北京地区寺院建筑的发展脉络、布局特点和结构特征。在此基础上，综合艺术史、历史学等其他学科的研究手法，对于寺院建筑的形成原因、形象特点进行深入分析，力图在融合建筑史和艺术史学手法后进行更深刻的分析。在研究对象上，本书以北京寺院建筑及遗址为主要分析样本，通过分析各个时期寺院的布局形态和建筑形制，挖掘佛教建筑在北京乃至华北地区的演化规律。

小学语文词语积累训练【全8册】

词语积累训练 注音版重叠词成语量词近反义词多音字形近字书知识专项练习手册组词造句作文1-6年级 小学语文词语积累训练...

京津冀地区生产性服务业与制造业协同集聚研究

京津冀地区是我国一个非常重要的地区，无论从地理位置还是经济发展来看，北京、天津、河北都是一个紧密相连、不可分割的整体。本书内容包括：概念界定、理论基础、京津冀地区生产性服务业与制造业协同集聚现状、理论分析与实证检验、集聚效应、研究结论、对策建议与研究展望等。本书将生产性服务业与制造业协同集聚与京津冀地区协同发展相结合进行研究，试图从产业协同集聚的角度探究促进京津冀协同发展的路径，在理论上和现实上都具有重要的参考意义...

传感器应用技术 第2版

本书是“十二五”职业教育国家规划教材修订版，是根据《中等职业学校机电技术应用专业教学标准》，同时参考机电设备安装、调试与维修职业资格标准编写的。本书介绍了工业生产现场常用传感器的原理与应用技术，以传感器的检测对象为主线构建模块，选取工业生产中的实际检测任务，采用适合于项目教学的形式编写，力求让学生在“做中学”的学习情境中总结、理解传感器的工作原理、特性，学会传感器的选用、安装、使用，锻炼操作技能。全书共分为八个模块，包括认识传感器、温

中华上下五千年(全10册)

本书《中华上下五千年》共10册，全书精选了中华民族五千年历史长河中的一颗颗璀璨明珠，依托史书中的记载，以时间的发展为纲，以历史上的重大事件为轴，用文言引路、白话故事的形式带领中小学把我历史脉络...

写给少年的神话故事(4册)

《中国古代神话故事》十分丰富，本套书精选具有代表性的神话故事，为孩子们描绘了一个神奇绚烂的神话世界，给孩子们带来阅读的愉悦，拓展孩子们的知识面，把中华民族的古神话资料熔铸成一个有系统的整体，提供了一部具有民族神话特色与风格的文学作品。 《世界神话传说》精选荟萃了中外脍炙人口、广泛流传的精彩神话故事与传说，热情讴歌了远古时代世界各国人民群众的勤劳善良和机智勇敢。神话与传说不仅为我们提供了一个了解历史的平台，而且能让我们在感受神话王国魅力

四大名著(青少年版 带赠品)(4册)

一线名师导读——网罗一线名师以精练的语言简明扼要地讲述章节内容，让小读者对本章节内容有一个大致的了解，引起小读者深入阅读的兴趣。 名师精华批注——一线名师从背景交代、神态、语言、动作描写等方面对章节内容进行批注，对故事发生的背景进行简要补充，让小读者了解故事发生的起因，同时引出下文。同时，帮助小读者体会人物的内心世界，分析人物个性化的语言、动作，揭示出人物的性格，使小读者 加立体、多元地认识这一人物形象。 辅助延伸思考——在每个章节末

玩转数独【全6册】

数独游戏作为一种健康、科学且逻辑性非常强的数字推理益智游戏，它不仅具有很强的趣味性，而且对人的大脑非常有益，越来越多的人们把它作为训练思维的有效方式，如今它已经席卷了整个世界...

作文轻松学(全6册)

在闯关中游戏中轻松学写作文，思维导图，闯关游戏，全彩漫画，积累好词好句好段和课外知识，拓野思维视野...

米吴科学漫画·奇妙万象篇:5.怪事频发的温泉民宿

《米吴科学漫画·奇妙万象篇》由抖音头部科普自媒体原班人马倾力打造，讲述了科学少年米吴与意外闯入地球的太空神秘生物——科学小象的精彩故事。小象们拥有超能力又爱调皮捣蛋，制造了一个又一个令人头大的奇异现象与危机。米吴和小伙伴们借助科学知识，破解了小象制造的重重迷局和危机后，最后与小象们成了好朋友…… 本系列以《义务教育科学课程标准》为指导，在丰富、有趣的情节中融入了物质、生命、地球等相关知识，启蒙物理、化学、生物、地理学科知识，为课

职工之家

1983年, 中共中央书记处作出了要把工会 组织建成职工之家的重要指示。1984年, 中华全国总工会在基层广泛深入开展建设职工之家活动。 今天, 职工之家成为充分发挥广大职工积极 性主动性创造性的重要途径, 成为职工群众喜爱 的家的港湾。本书集中展现了，在各级工会组织、广大工会干部的共同努力下，职工之家如何历经组织整顿、深入推进、提高水平、创新发展、全面深化，成为亿万职工的认同工会品牌...

夏物语

"【内容简介】： 《夏物语》是川上未映子芥川奖获奖小说《乳与卵》的续作，分为上下两部。上半部改写了《乳与卵》，以原作为基础添加了新的情节，并划分了章节。下半部讲述了八年之后，立志成为作家的夏子终于出版了一本短篇小说集，开始通过写作维持生计。然而没有交往对象的三十八岁的夏子突然强烈地“想见自己的孩子”，她开始寻找未婚生子的方法。在此过程中，她遇到了形形色色的人，其中既有单身妈妈，也有通过人工授精诞生的人。这些人动摇了夏子期盼的心，

演讲与讲演

本书是文化学者马未都自选演讲作品集，囊括马未都近20年来的一系列公开演讲及文化类节目。 “一个人可以面对多少人，就代表他有多大成就。”当今社会，演讲能力已经成为每个人必不可少的能力之一，而好的演讲也可以使自己从人群中脱颖而出，增加个人的自信和勇气。本书中，马未都真诚分享了自己的演讲经历，以及一些演讲的技巧和注意事项，鼓励读者抓住演讲的机会，成就自己的高光时刻。可谓演讲艺术的教科书。 在本书中，你会如身临其境般感受文化大家马

国际汉语史研究.第一辑

近几十年来，国际汉语史研究已然成为国际中文学术发展的新热点。随着国际汉语史文献不断得到新发掘，国际汉语史研究新理论、新观念层出不穷，日新月异。本书以发掘全球汉语史文献为前提，以汉语史研究为基础，以求真务实的语言学理论为指导，展开一系列专题性前沿研究，主要栏目包括中外汉语音韵史及学史，中外汉语词汇史及学史，中外汉语语法史及学史，中外汉文字及相关文字史及学史，中外汉语史理论学史，跨学科、新文科与国际汉语史研究，国际汉语史的描写与解释等...

丝路寻踪

本书主要分三部分，上编主要探讨华侨华人在代中外关系尤其是在中外文化交流上的作用。中编内容较为丰富，涉及中国历史人物，世界历史现象，均与中外关系史有或多或少的联系。下编共收录3篇论文，主要探讨近现代华侨华人在的活动及其贡献...

为你沦陷

女主角路柔一直喜欢热爱古筝的男主角江漫，而江漫因姜寻十八岁进入娱乐圈，红了没多久，由于拒绝了领导安排的饭局，她在圈内销声匿迹。几年后，进入大众视线，成为当红明星，却重新遇上了前男友周途。周途本来是国家一级文物修复师，性格冷淡，工作的时候不准任何人打扰。可三年前，他忽然进入娱乐圈，并因为一部与文物相关的电影一举成为当红实力演员，频频拿奖。然而，对姜寻来说，周途只是一个欺骗她感情的渣男。这三年，两人不管出席什么场合都避着对方。姜寻不知道周

SCRATCH图形化编程:培养解决问题的逻辑思维

这是一本专为少年儿童打造的编程启蒙书，在这里你不仅可以掌握如何使用Scratch进行编程，更重要的是，你将学会分析和解决问题的逻辑思维。 本书以制作汉堡、打扫卫生、乘坐公交车等简单有趣，却又蕴含规律的生活化情景为例，将编程思维训练和Scratch编程教程巧妙融入其中，循序渐进、寓教于乐地启发大家的编程思维，如基础思维、函数思维、分析思维、建模思维等，讲授Scratch的编程方法和创新绘图、自制游戏等内容。 本书非常适合没有任何编程经验

人民就是江山:红色珍档见证中国共产党百年奋斗之路

《人民就是江山》大型档案文献图文集分为“开天辟地”“改天换地”“翻天覆地”“经天纬地”四个部分，以图文并茂的形式充分展现了从建党的开天辟地，到新中国成立的改天换地，到改革开放的翻天覆地，再到党的十八大以来党和国家事业取得的历史性成就、发生的历史性变革；重点展现了上海从中国共产党的诞生地到改革开放前沿阵地的沧桑巨变，特别是党的十八大以来，在以习近平总书记为核心的党中央的坚强领导下，上海始终以人民为中心，深入贯彻“人民城市人民建，人民城市

观复猫小学馆·寻找失窃的文物:布能豹大内探秘(彩图版)

为了寻找工艺馆中被盗的文物，观复猫蓝毛毛和麻条条前往清朝的皇家宫殿——紫禁城。不料，时空对穿门却错误地把她们投放到大海上。她们在暴风雨中苦苦挣扎、命悬一线之际，来自葛支里的“皇家使团最高指挥官”布能豹将她们救起。正巧，布能豹也要前往紫禁城，给那里的皇帝赠送国礼——麒麟兽。 在紫禁城之中，失窃的文物因巧夺天工的工艺受到贝勒爷的觊觎，同时火衣鼠一帮鼠盗也在悄悄寻找它们。在多方的较量之中，观复猫和布能豹是如何把文物完好无损地带回观复博

狗狗身体求救信号

权威兽医师及专家教你如何观察从五官异常到行为出现改变，找出狗狗生病原因，早发现、早治疗、提早预防！狗狗异常状况完全透视与解析全攻略...

新时代高校“学习与服务型”学生党支部建设探索与实践——以重庆工商大学人工智能学院

为深入贯彻落实习近平新时代中国特色社会主义思想和党的十九大精神，按照新时代党的建设总要求，教育部办公厅2018年起开展了新时代高校党建示范创建和质量创优工作。重庆工商大学各级党组织对标争先，其中人工智能学院学生一支部作为全国第三批新时代高校党建“双创”工作样板支部，在人才培养、社会服务等方面取得了突出的成效。本书以重庆工商大学人工智能学院学生一支部创建全国党建工作样板支部为主线，围绕新时代高校“学习与服务型”学生党支部教育党员有力、管

楼边人似玉

先婚后爱 X 《繁星降临除妖是他与生俱来的本能，为除妖而生，因除妖而死，直到遇上那个狐媚的老板娘。掌灯客栈的女掌柜贪财自恋，可惜长了一颗过于执着的心。点亮门前那盏灯，是她几百年来做惯了的事，直到有一天，门前银铃叮当作响，她知道，她等的人，来了。数千年转世轮回，无尽的等待带来的也许只有伤害。可我仍愿为你点亮一盏指引归家的灯盏，陪你抵挡途中的千辛万难...

著作权法的理念转变与制度重塑

创作行为的扩张，是一种无法阻止的趋势。著作权法作为利益分配工具，理应拥抱此种变化，在理念和制度上有所改变。理念转变时，需注重手段与价值的选取。功利主义的价值虚无和作者权至上的浪漫主义，都为我们描绘出了一幅鼓励创作的虚假景象。以公平分配作品利益为手段，以促进作品利用为价值追求，进行理念转变，可以缓和旧有理念带来的或扩张保护引发的权利失衡，或限制保护带来的利益失衡。制度重塑时，需要以赋权-限权并重的体系化思维进行思考...

趣学LINUX:基础篇

这是一本可以帮助初学者快速掌握Linux操作系统的有趣教程。 本书通过更符合新手视角的趣味性解读、丰富的实例演示和同步讲解视频，可帮助你了解并掌握Linux系统的使用与管理方法，比如文件结构、用户系统、文本处理、磁盘分区、软件管理、进程与任务、系统状态、网络与日志这些基础知识点与技术细节，以及vim编辑器、Shell编程等进阶技巧。 无论你是电子爱好者、计算机专业的学生，还是IT工程师，相信本书都会成为你了解和学习Linux的良师益友

吴未淳书法集

本书为《吴未淳书法集》，收录了吴未淳先生的多种书画作品...

百家讲坛:马未都说收藏．家具篇

近代爱国诗抄

电路：上册

本书内容包括电路的基本定律和定理，基本分析计算方法，交、直流电路，非正弦周期电流电路，即主要是集总参数线性电路中的稳态过程，并且以交、直流电路对比的方式进行讲述...

图说经典--圣经的故事(四色)

《圣经》作为犹太教和基督教的经典是全世界流传最广的书籍，是了解西方文化和思想的窗口，其中的神话、历史故事及其蕴含的哲理更是两千多年来人们力求索解的奥秘但是《圣经》是一部规模宏大.内容丰富、人物复杂的作品，再加上中西文化差异，对普通读者而言，在短时间内掌握它并非易事，鉴此，《青少年必读经典:圣经的故事(彩色图解)》精选100个经典圣经故事，并配以200余幅彩色插图，有机结合文字、图片、编写体例和艺术设计等多种要素，为读者打造出一个立体的

江苏历代方志全书·淮安府部(全30册)(共3箱)

为《江苏历代方志全书》之一种。包括《正德淮安府志》《天启淮安府志》《乾隆山阳县志》《乾隆山阳志遗》《咸丰清河县志》《康熙安东县志》等36种县志，共计30册。主要记述了历代淮安府、州、县所辖地区的政治、经济、文化、军事、交通等各方面的详细资料...

字体设计与表现

本书内容包括字体设计的基本概念、发展简史和风格演变、字体的基本结构和形式特点、字体的设计方法与实践应用以及中外优秀的字体设计案例欣赏。本书通过成熟的商业案例展示字体设计的应用与表现，力图通过此种方式，加强读者对字体设计的感受和认知。同时，本书强调传统与现代的结合，引导学生学习传统文化知识，用现代的设计方法和设计理念表现字体，以适应不断发展的社会需要...

明月如霜(上中下)

禅茶诗季

晚报新闻学

物理学导论

本书内容包括质点运动学、运动定律与守恒定律、气体动理论和热力学、静电场、稳恒磁场、电磁感应等...

中国农业文化遗产---3D立体梯田便签

江苏历代方志全书:徐州府部(全42册)

《江苏历代方志全书·徐州府部》包含《正统彭城志》《弘治重修徐州志》《顺治徐州志》《光绪沛县志》《万历宿迁县志》等37种方志。主要记述了历代徐州府、州、县所辖地区的政治、经济、文化、军事、交通等各方面的详细资料...

江苏历代方志全书:直隶州(厅)部(全62册)

本套书为《江苏历代方志全书》之一种。收录了江苏历代直隶州(厅)部太仓州、海州、通州、海门厅、泗州等五州(厅)志书，包括《弘治太仓州志》《隆庆海州志》等在内，共计79种。对于保存江苏方志文献，具有重要意义...

经典传承读本:圣经的故事(四色)

发现的乐趣(精装珍藏版)

动物生物化学

爱阅读·语文必读丛书-中国古代神话故事

米吴科学漫画·奇妙万象篇 第3辑(9-12)

《米吴科学漫画·奇妙万象篇》由抖音头部科普自媒体原班人马倾力打造，讲述了科学少年米吴与意外闯入地球的太空神秘生物——科学小象的精彩故事。小象们拥有超能力又爱调皮捣蛋，制造了一个又一个令人头大的奇异现象与危机。米吴和小伙伴们借助科学知识，破解了小象制造的重重迷局和危机后，最后与小象们成了好朋友…… 本系列以《义务教育科学课程标准》为指导，在丰富、有趣的情节中融入了物质、生命、地球等相关知识，启蒙物理、化学、生物、地理学科知识，为