楼主: igs816
408 5

[其他] Computation Engineering: Applied Automata Theory and Logic [分享]

泰斗

1%

还不是VIP/贵宾

-

威望
9
论坛币
2409027 个
通用积分
17351.8348
学术水平
2668 点
热心指数
3384 点
信用等级
2489 点
经验
443280 点
帖子
5213
精华
52
在线时间
2875 小时
注册时间
2007-8-6
最后登录
2019-12-9

igs816 在职认证  发表于 2017-2-22 14:03:04 |显示全部楼层
jX7g2sU3h9Szihzn3gvwDEGKMum8d8gx.jpg

Ganesh Gopalakrishnan, "Computation Engineering: Applied Automata Theory and Logic"

2006 | pages: 492 | ISBN: 1441937412, 0387244182 | PDF | 3,6 mb

Although it is critical in todays world that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge, many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity to tie these subjects together and reinforce learning. This textbook uses interactive tools throughout, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.

本帖隐藏的内容

Computation engineering - applied automata theory and logic.pdf (3.6 MB)


关键词:Engineering Computation engineerin Automata Engineer understand knowledge subjects learning critical

stata SPSS
MouJack007 发表于 2017-2-22 20:38:42 |显示全部楼层
谢谢楼主分享!
回复

使用道具 举报

MouJack007 发表于 2017-2-22 20:39:38 |显示全部楼层
回复

使用道具 举报

kavakava 在职认证  发表于 2017-2-22 23:54:24 |显示全部楼层
thanks
回复

使用道具 举报

linyue199 发表于 2017-3-1 10:29:02 |显示全部楼层
好书,谢谢分享
回复

使用道具 举报

企鹅8217 发表于 2017-3-4 10:36:02 |显示全部楼层
Computation Engineering
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 我要注册

京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问:王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2019-12-9 16:49