布鲁诺·库塞尔;约斯特·恩格尔弗里特 [莫里斯·尼瓦特] 图结构和一元二阶逻辑。一种语言理论方法。 (英语) Zbl 1257.68006号 数学及其应用百科全书138.剑桥:剑桥大学出版社(ISBN 978-0-521-89833-1/hbk)。xiv,728页。(2012). 从莫里斯·尼瓦特(Maurice Nivat)写的这本书的前言来看:“这本伟大而美丽的书的起源跨越了20多年。它收集并统一了布鲁诺·库塞尔等人在大量文章中发表的许多理论概念和结果。我相信,这本书将[……]很快成为一本经典之作,并为您提供一个轻松的途径,了解新兴的图形算法世界及其在整个科学领域和其他领域的众多应用。”“上面的评论是两年前写的,当时布鲁诺·库塞尔的书只有500页长,我无法改变我当时写的:这是一本伟大而美丽的书,很快就会在世界各地计算机科学系的图书馆书架上占据一席之地。但现在这本书有700页长,有两页作者Bruno和Joost Engelfriet。发生的事情是,布鲁诺将之前的版本发送给Joost阅读,并提出更正和改进建议。[……]Joost有很多东西可以说明这是我今天介绍的另一本书:更厚,有新的结果,还有许多证明,这些证明已经被更简单、更优雅的证明所取代。显然,布鲁诺和乔斯特之间的合作确实非常富有成果。[T] 他那本漂亮的书,我认为它是计算机科学知识的绝佳来源[…]是一本理论书,因此有些人可能会觉得很难阅读,但阅读它值得痛苦,因为引入的形式主义和提出的方法已经导致了许多关于图的新算法(正如布鲁诺已发表论文的引用数量所示),并且它们将在未来带来许多其他算法。对于任何对图形算法感兴趣的人,我只能建议他们先读这本书。事实上,这本书是计算机科学的核心,它是用来表示和操作信息和信息结构的语言的表达能力,而图形是使用最广泛的信息结构之一。算法在效率、可靠性和简单性方面的进步主要来自使用更好的表示、更好的结构以及更好地理解描述数据集和表达其属性的不同方式。这本书提供了大量的概念工具来设计和研究任何人都不应忽视的图形算法。”审核人:赛义德·萨利希(大不里士) 引用于4评论引用于208文件 理学硕士: 68-02 与计算机科学有关的研究展览会(专著、调查文章) 03B15号机组 高阶逻辑;类型理论(MSC2010) 05年3月 与逻辑问题相关的自动机和形式文法 05C85号 图形算法(图形理论方面) 05C90年 图论的应用 65年第68季度 形式语言和自动机 68兰特 计算机科学中的图论(包括图形绘制) 关键词:有限图;图形算法;形式语言;一元二阶逻辑 软件:MONA公司;自动写入 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.Engelfriet},图结构和一元二阶逻辑。一种语言理论方法。剑桥:剑桥大学出版社(2012;Zbl 1257.68006)