当前位置：
首页
>
电子教材
>
详细信息
快速检索
数据库：
各中心已购纸本教材
各中心已购电子教材
国内高校课程
国外著名大学课程
外文原版教材出版信息
外文影印版教材出版信息
名校购书信息
关键词：
Logic and Language Models for Computer Science
书目信息
ISBN：
9789811260674
本馆索书号：
中图分类号：
TP3
中文译名：
计算机科学的逻辑与语言模型（第四版）
作者：
Richards Dana & Hamburger Henry
编者：
语种：
英语
出版信息
出版社：
WSPC
出版地：
出版年：
2023
版本：
4
版本类型：
原版
丛书题名：
卷期：
文献信息
关键词：
前言：
摘要：
内容简介：
This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.
目次：
全文链接：
读者对象：
实体信息
页码：
其它信息
原版ISBN：
书评：
扩展信息
相关附件