数理逻辑 基本原理与形式演算 第2版

李未著2014 年出版289 页ISBN：9787030401557

本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...

谦斋四大经典简释

秦伯未著；孙其新编2015 年出版358 页ISBN：9787513226981

本书为整理名医秦伯未的四部经典著作，包括《秦氏内经学》《伤寒俯视图》《金匮要略简释》《温病一得》。《秦氏内经学》是将《内经》有关条文列为生理学、解剖学、诊断学、治疗学、方剂学、杂病学6篇，做了详...

官规则 千年官场中的升迁厚黑学

晨未著2010 年出版210 页ISBN：9787807429333

大官易当，小官难做。在古代官场上，大多数官员都属于小人物。他们战战兢兢，如履薄冰，但他们可能一生都无法成为“一人之下万人之上”的大人物，都无法掌握大权，颐指气使。但这并不能阻止他们往上爬的决心。书中选.....

和自己跳舞 对话中国女性纪录片导演

英未未著2012 年出版285 页ISBN：9787547504048

本书是一本与中国纪录片女导演对话的访谈录。长期以来，纪录片一直被男性导演占据话语权。一直到20世纪90年代，一群勇敢而坚毅的女性记录片导演横空出世，打破沉默。女性导演以其性别优势的细腻敏感拍摄了大量的...

百病良方;中国经验良方;膏方大全

马问我，叶瑗，秦伯未著2013 年出版120 页ISBN：9787543959668

本书为《上海图书馆馆藏拂尘民国中医文献》系列丛书中的一种，内容精选民国时期中医文献精华，重新改编出版，具有很强的学术研究价值，由于以下三种书民国时期原版内容较少，故三本合并为一本出版。百病良方：介绍中.....

双面人格的夏天

孙未著2018 年出版408 页ISBN：9787540485092

《双面人格的夏天》是一部长篇小说，故事以舞厅的一场大火为分界线，孤儿夏夏在火灾后失忆了，之后她成了工于心计、长袖善舞的邓夏。邓夏在电视台步步为营，通过辅佐频道总监庄庸，成为热门栏目的主持人兼制片人。与...

圣母的救济 数学女王的复仇

张未著2014 年出版242 页ISBN：9787807696254

大四的查立民觉得很幸福，他刚和邂逅不久的林春园确定了恋爱关系。在委托舍友生物学天才帮女友生病的猫做检查后，舍友却以不可思议的方式，在他面前从教学大楼的高空坠落。第二天，林春园失踪了，查立民也因此被当作...

欲望与尊严 转型期中国的阶层、性别与亲密关系

肖索未著2018 年出版209 页ISBN：9787520132817

本书通过对婚外包养关系的案例研究，考察市场转型期中国社会的亲密关系及其内在情感逻辑，探讨阶层、性别、城乡、地域等各种形态的社会不平等对私人生活的形塑。基于为期一年在广州和宁波的田野调查、深度访谈...

数理逻辑：基本原理与形式演算

李未著2008 年出版255 页ISBN：9787030200969

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

宁波文化研究工程·特色文化研究 宁式家具

陈立未著2015 年出版119 页ISBN：9787308148153

家具是中国传统器物文化的亮点，是开创有中国特色设计的宝贵资源，长期以来，传统家具中优秀的造物理论、美学法则一直为中国乃至世界的设计界提供着源源不断的设计灵感和创造活力。研究传统家具，不仅有利于文化的...