J.-Y. Girard. Multiplicatives. In Lolli, editor, Logic and computer science: new trends and applications, pages 11-34, 1988.Girard, Jean-Yves. 1987b. Multiplicatives. In Logic and computer...
MichaelHuth,MarkRyan - Logic in computer science : modelling and reasoning about systems = 面向计算机科学的数理逻辑 : 系 被引量: 0发表: 2005年 Logic in computer science - modelling and reasoning about systems (2. ed.) Ryan. Logic in Computer Science: Modelling and reasoning about systems. ...
The relevance of temporal logic within computer science was realised in the course of the 1970s. Temporal logic has by now become an established discipline within this science, but the first researchers to take up the connection were not acquainted with Prior's tense logic. The initial studies ...
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%...
第二章是一阶逻辑First Order Logic涉及quantifier(universal quantifier "for each"和existensial quantifier "there exists");第三到六章基本上是集合论的内容,所涉公理系统是大家熟知的Zermelo-Fraenkel Set Theory;第七章(没看)是应用,谈到了阿罗不可能性定律(投票系统设计)、Gale and Shapley’s Matching ...
Logic and Computer Design Fundamentals, Global Edition For one- to two-semester Computer Science and Engineering courses in logic and digital design at the sophomore/junior level. Featuring a strong emphasis on the fundamentals underlying contemporary logic design using hardware descriptio... M Mano,C...
找学校 查专业 看攻略 英国 澳洲 美国 日本 新西兰 新加坡 测测专业申请成功率 Computer Science and Logic & Philosophy of Science 计算机科学与逻辑与科学哲学 学位类型:BSc 专业方向:工科 所属学校:The University of St Andrews(圣安德鲁斯大学) 查看该专业官方网址 >> 加载中 查看该专业官方网址 ...
Algebraic Logic & Universal Algebra in Computer Science, Conference, Ames, Iowa, Usa, JuneSain, I., Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic, in C. Bergman, R. Maddux and D. Pigozzi (... I Sain - Algebraic Logic & Universal Algebra in Computer...
[IEEE 21st Annual IEEE Symposium on Logic in Computer Science (LICS\"06) - Seattle, WA, USA (12-15 Aug. 2006)] 21st Annual IEEE Symposium on Logic in Compu... A data word is a sequence of pairs of a letter from a finite alphabet and an element from an infinite set, where the ...
Summary We compare the effect of arbuscular mycorrhizal (AM) colonization and POfertilization on nitrate assimilation, plant growth and proline content in ... CK Byrd - 《European Journal of Soil Science》 被引量: 1发表: 1973年 [ACM Press first ACM/IEEE international workshop - Kyoto, Japan...