资源大小: 25.41MB
发布时间: 2011-05-18
文件格式: rar
下载次数: 2
分享到:

下载地址:

下载地址1
(本站为飞网专业下载站,域名:down.cfei.net)

资源简介:

主要内容包括形式语言与自动机、Turing机的可计算性与递归函数,计算复杂性以及数理逻辑的相关内容。主要这门课程所涉及的基本理论、原理和经典的结论,为强调证明思想的重要性


飞网下载站,免费下载共享资料,内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。