Dalla Chiara，玛丽亚·路易莎;罗伯托·吉安蒂尼;罗伯托·勒波里尼;吉塞佩·塞尔吉奥利 量子计算和逻辑。量子计算机是如何激发逻辑研究的。 （英语） Zbl 1530.81002号 逻辑趋势——Studia Logica图书馆48.查姆：施普林格（ISBN 978-3-030-04470-1/hbk；978-3-0030-04471-8/电子书）。xvi，第178页。(2018). 出版商描述：本书对量子信息、量子计算和逻辑之间最近的相互作用中产生的主要概念、问题和结果进行了概述。本书分为10章，首先介绍量子信息中使用的量子理论形式主义的主要概念。然后，它综合介绍了量子计算游戏的主要“数学特征”：量子位、量子位寄存器、量子位寄存器的混合物、量子逻辑门。接下来，这本书调查了令人困惑的纠缠现象，并从逻辑上分析了爱因斯坦-波尔斯基-罗森佯谬，向读者介绍了量子计算逻辑和量子逻辑的新形式。中间章节研究了一种语言的量子计算语义的可能性，这种语言可以表达“爱丽丝知道每个人都知道她很漂亮”这样的句子，探索了量子图灵机器的数学概念，并举例说明了音乐语言框架中出现的一些特征示例。这本书的结尾是对最近的讨论进行了分析，并包含了一个数学附录，它是对书中使用的所有主要数学概念的定义的调查。 引用于1审查引用于5文件 MSC公司： 81-02 与量子理论有关的研究博览会（专著、调查文章） 03G12号机组 量子逻辑 2012年第68季度 计算理论中的量子算法和复杂性 81第05页 量子理论中的一般问题和哲学问题 81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面） 81页68 量子计算 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}等人，《量子计算与逻辑》。量子计算机是如何激发逻辑研究的。查姆：施普林格（2018；Zbl 1530.81002） 全文： DOI程序