Book review

首页> 外文期刊>Journal of Functional Programming >Book review

【24h】

Book review

机译：书评

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Huth and Ryan's Logic in Computer Science is an upper-year undergraduate textbook on the subject and contains material on classical, modal and temporal logics, and their applications such as model checking, binary decision diagrams and program verification. These topics are of natural interest to a functional programmer. Specific prior knowledge in the field is no prerequisite but reading skills of formal mathematics and a maturity in mathematical thinking are clearly needed. Helping in improving the former, it makes a good job of introducing logical formalism in plain English.

机译：Huth和Ryan的《计算机科学中的逻辑》是一门关于该学科的高年级本科教材，其中包含有关经典，模态和时间逻辑及其应用（例如模型检查，二进制决策图和程序验证）的材料。这些主题是功能性程序员自然感兴趣的。该领域的特定先验知识不是先决条件，但显然需要具备正规数学的阅读能力和成熟的数学思维能力。帮助改进前者，将通俗易懂的英语引入逻辑形式主义做得很好。

著录项

来源
《Journal of Functional Programming》 |2008年第3期|p.421-422|共2页
作者

展开▼
作者单位

展开▼
收录信息美国《科学引文索引》(SCI);
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Book review editorial: On the importance of reviewing books reviewing books [J] . Tommy Jensen Scandinavian journal of management . 2012,第1期

机译：书评社论：论书评的重要性书评
2. Books reviews [Reviews Books] [J] . Mark Williamson, Vitali Vitaliev, Jon Cable Engineering & Technology . 2015,第9期

机译：书评[评论书]
3. Chicorel Index to Mentai Health Book Reviews, 1976 Annual; an Annotated Guide to Books and Book Reviews in the Behavioral Sciences [J] . Edwarda Adams Bulletin of the Medical Library Association. . 1978,第2期

机译：1976年《门台卫生书评》中的Chicorel索引;行为科学中的书和书评注释指南
4. Analyzing Characteristics of Picture Books based on an Infant's Developmental Reactions in Reviews on Picture Books [C] . Mizuho Baba, Hiroshi Uehara, Miho Kasamatsu, International Conference on Big Data, Small Data, Linked Data and Open Data . 2017

机译：基于婴幼儿在Picture书籍的评论中的发育反应的绘画书籍分析特征
5. The reception of German literature: German books reviewed in "The New York Times" Sunday "Book Review" 1970 through 1975. [D] . Degen, Tania Theresia. 1993

机译：接受德国文学：1970年至1975年在“纽约时报”星期日“书评”中评论的德国书籍。
6. Chicorel Index to Mentai Health Book Reviews 1976 Annual; an Annotated Guide to Books and Book Reviews in the Behavioral Sciences [O] . Edwarda Adams 1978

机译：1976年门台卫生书评中的Chicorel索引；行为科学中的书和书评注释指南
7. Book reviewsCharlie Cook's Favourite Book, Special 10 Years Anniversary Edition By Julia Donaldson and Axel Scheffler Macmillan Children's Books ISBN: 978-1-447276784 Price: £6.99 Reviewed by Victoria Tetley-IsleElephant (Eye on the Wild) By Suzi Esztehas Frances Lincoln Children's Books ISBN: 978-847806550 Cost: £7.99 Reviewed by Karen FauxWhat Makes Your Body Work? By Gill Arbuthnott Bloomsbury Children's Books ISBN: 978-1472908865 Cost: £8.99 Reviewed by Viv HampshireAttachment Theory and Research, New Directions and Emerging Themes Edited by Jeffry A Simpson and W Steven Rholes Guilford Press/Taylor Francis Group ISBN: 978-1462512171 Cost: £43.99 (hardback) Reviewed by Karen FauxNever Tickle a Tiger By Pamela Butchart and illustrated by Marc Boutavant Bloomsbury Children's Books ISBN: 978-1408839041 Cost: £6.99 Reviewed by: Jessica SargentThe Fire Children – A West African Folk Tale By Eric Maddern and illustrated by Frané Lessac Frances Lincoln Children's Books ISBN: 978-1847806529 Cost: £7.99 Reviewed by Karen Faux [O] . 2015

机译：书籍Charlie Cook的最喜欢的书籍，特别10年周年纪念版By Julia Donaldson和Axel Scheffler Macmillan儿童书籍ISBN：978-1-447276784价格：£6.99由Victoria Tetley-Isleelephant（野外）点评来自Suzi Esztehas Frances林肯儿童书籍ISBN：978-847806550成本：£7.99由Karen Faux审核是什么让您的身体工作？ By Gill Arbuthnott Bloomsbury儿童书籍ISBN：978-1472908865费用：8.99由Viv HampshireatCartachment理论和研究，新的方向和新兴主题审查，新的指导和新兴主题由Jeffry A Simpson和W Steven Rholes Guilford Press / Taylor＆Francis Group ISBN：978-1462512171 ：£43.99由FranéPlearac弗朗斯·林肯儿童书籍展示：978-1847806529费用：£7.99由Karen Faux审核

Book review

摘要

著录项

相似文献

相关主题

期刊订阅