当前位置:
首页
>
出版信息
>
详细信息
快速检索
数据库:
各中心已购纸本教材
各中心已购电子教材
国内高校课程
国外著名大学课程
外文原版教材出版信息
外文影印版教材出版信息
名校购书信息
关键词:
Mathematical Logic for Computer Science
书目信息
ISBN:
9781852333195(13位)
中图分类号:
TP3
杜威分类号:
中文译名:
计算机科学用数学逻辑
作者:
Ben-Ari
编者:
语种:
English
出版信息
出版社:
Springer
出版地:
出版年:
2002
版本:
2nd ed. 2001. Corr. 2nd printing
版本类型:
原版
丛书题名:
卷期:
文献信息
关键词:
Computer Science
前言:
摘要:
内容简介:
This mathematics textbook with theorems and proofs, has been guided by the needs of computer science students. The logical systems presented are: propositional calculus (including binary decision diagrams); predicate calculus; resolution; Hoare logic; Z; and temporal logic.
目次:
Propositional calculus - formulas, models, tableaux; propositional calculus - deductive systems; propositional calculus - resolution and BDDs; predicate calculus - formulas, models, tableaux; predicate calculus - deductive systems; predicate calculus - resolution; logic programming; programs - semantics and verification; programs - formal specification with Z; temporal logic - formulas, models, tableaux; temporal logic - deduction and applications; appendix - set theory.
附录:
全文链接:
读者对象:
undergrad.
实体信息
页码:
装帧:
soft
尺寸:
其它形态细节:
其它信息
原价:
EUR
39.9500
原版ISBN:
其它ISBN:
图书特色:
书评:
扩展信息
Isbn:
1852333197
issue:
2006JC01
相关附件