【预订】Mathematical Logic for Computer Science 美国库房发货，通常付款后3-5周到货！
¥977.00
【预订】Mathematical Logic for Computer Science 9789810230913 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789810230913 Author 作者 Lu Zhongwan Format 版本 精装 Pages Number 页数 256页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1998-08-22 Shipping Weight 商品重量 478g Language 语种 英语
¥826.00
现货 Mathematical Logic for Computer Science 9781447141280
Product Details 基本信息 ISBN-13 书号 9781447141280 Author 作者 Mordechai Ben-Ari Format 版本 平装-胶订 Pages Number 页数 346页 Publisher 出版社 Springer London Publication Date 出版日期 2012-06-17 Shipping Weight 商品重量 557g Language 语种 英语 Book Contents 内容简介 Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential p
¥731.00
按需印刷Mathematical Logic for Computer Science 预订，预计下单后2-3周左右发货！
¥1035
预订 Mathematical Logic for Computer Science (2nd Edition) [IS 【全球购】进口原版图书，约5-8周到达国内后发出
¥757.00
【3-6周达】Mathematical Logic for Computer Science [ISBN:9781447 【全球购】进口原版图书，预计3-6周左右到国内
¥607.00
海外直订Mathematical Logic for Computer Science: Second Edition
¥986.00
海外直订Mathematical Logic for Computer Science 计算机科学的数学逻辑
¥643.00
海外直订Mathematical Logic for Computer Science 计算机科学的数学逻辑
¥1100
