- 相关
- 目录
- 笔记
- 书签
- Halftitle
- Title
- Copyright
- Contents
- Preface
- 1 Mathematical Preliminaries
- I Logic for Computer Science
- 2 Propositional Logic
- 3 Proofs by Deduction
- 4 Predicate Logic
- 5 Proving with Predicates
- 6 Program Verification
- II Language Models for Computer Science
- 7 Language and Models
- 8 Generative Models of Regular Languages
- 9 Finite Automata and Regular Languages
- 10 Context-Free Grammars
- 11 Pushdown Automata and Parsing
- 12 Turing Machines
- A Logic Programming
- B The AWK Language
- C Answers to Selected Problems
- Index
暂无笔记
选择文本,点击鼠标右键菜单,添加笔记
暂无书签
在左侧文档中,点击鼠标右键,添加书签
Dana Richards, Henry Hamburger-Logic And Language Models For Computer Science-World Scientific Publishing Co Pte Ltd (2017)
格式:PDF
页数:473
上传日期:2018-06-04 05:34:01
浏览次数:7
下载积分:5000
加入阅读清单
0%