This is an edited collection of papers, based on a meeting on “Logic and Computer Science” held in summer, 1988. The main topics are type theory, logic programming, and automated deduction. The volume begins with a short introduction, written by the editor, summarizing relevant aspects of ...
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X. Recent years have brought about the development of powerful tools for verifying specifications of hardware and software systems. By now, major companies, s... Buda...
Logic in Computer Science 作者:Michael Huth/Mark Ryan 出版社:Cambridge University Press 副标题:Modelling and Reasoning about Systems 出版年:2004-08-30 页数:440 定价:USD 72.00 装帧:Paperback ISBN:9780521543101 豆瓣评分 8.9 40人评价 5星 55.0%...
本书大概有四部分:第一章是命题逻辑Propositional Logic;第二章是一阶逻辑First Order Logic涉及quantifier(universal quantifier "for each"和existensial quantifier "there exists");第三到六章基本上是集合论的内容,所涉公理系统是大家熟知的Zermelo-Fraenkel Set Theory;第七章(没看)是应用,谈到了阿罗不可能性...
当当网图书频道在线销售正版《【预订】Logics in Computer Science》,作者:,出版社:。最新《【预订】Logics in Computer Science》简介、书评、试读、价格、图片等相关信息,尽在DangDang.com,网购《【预订】Logics in Computer Science》,就上当当网。
science; strained and even absurd analogies; rhetoric that sounds good but whose meaning is [End Page 338] ambiguous; and confusion between the technical ... AD Sokal - 《Philosophy & Literature》 被引量: 164发表: 1996年 A Logical View Of Concurrent Constraint Programming School of Computer S...
Mathematics, computer science and logic -a never ending story: the Bruno Buchberger Festschrift Mathematics, computer science and logic -a never ending story: the Bruno Buchberger FestschriftTHEORYA writer in the journal Nature once said that "fest... JH Davenport - 《Computing Reviews》 被引量...
Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Log...
当当网图书频道在线销售正版《【预订】Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics》,作者:,出版社:。最新《【预订】Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics》简介、书评、试读
学科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q2 61 / 143 57.69% 学科:LOGIC SCIE Q3 14 / 25 46% 名词解释: JCR分区是由科睿唯安公司(原汤森路透,2016年易主科睿唯安)每年发布的,设置了254个具体学科,根据每个学科分类按照期刊当年的影响因子高低将期刊平均分为4个区,分别为Q1、Q2、Q3和Q4,各占25...