请选择 进入手机版 | 继续访问电脑版
楼主: igs816
853 5

[其他] Computation Engineering: Applied Automata Theory and Logic [推广有奖]

泰斗

5%

还不是VIP/贵宾

-

威望
9
论坛币
2693907 个
通用积分
18515.5148
学术水平
2743 点
热心指数
3466 点
信用等级
2559 点
经验
484572 点
帖子
5413
精华
52
在线时间
3575 小时
注册时间
2007-8-6
最后登录
2024-3-29

高级学术勋章 特级学术勋章 高级信用勋章 特级信用勋章 高级热心勋章 特级热心勋章

igs816 在职认证  发表于 2017-2-22 14:03:04 |显示全部楼层 |坛友微信交流群
相似文件 换一批

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信:zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

感谢您参与论坛问题回答

经管之家送您两个论坛币!

+2 论坛币
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, 需要: 10 个论坛币)


二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

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

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

使用道具

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

本版微信群
加好友,备注jr
拉您进交流群

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

GMT+8, 2024-3-29 19:53