下载首页 / account152878 的资源

  • 递归函数和可计算性理论

    这本书关于递归函数，是数理逻辑中的递归论的部分。 对于从事可计算性方面的研究很有参考价值

    3
    287
    4.9MB
    2011-12-21
    49

  • 模态逻辑 数理逻辑

    一本详细的关于模态逻辑的书 一本经典的研究计算机科学中的数理逻辑的必读物

    4
    217
    14.84MB
    2011-12-21
    11

  • 形式语言与自动机理论

    国外经典的形式语言与自动机教材，含课件，ppt等等 学习的好材料

    0
    130
    6.78MB
    2011-11-19
    0

  • 面向科学的数理逻辑

    这是中科院研究生院开展数理逻辑所使用的课本。讲解数理逻辑中的基础知识，很有参考价值。

    0
    76
    33.37MB
    2011-11-19
    50

  • 可计算性与数理逻辑（第四版）（中文版）

    可计算性与数理逻辑（第四版）（中文版） 这是一本计算机科学领域很重要的一本书，讲解可计算性和数理逻辑方面的深入的内容。

    5
    470
    8.19MB
    2011-11-19
    50

  • android小游戏

    适合初学者学习android手机游戏开发

    0
    98
    536KB
    2010-11-20
    0

  • OpenGl 编程小实例

    阿斯葛德国不是方式第一吃功夫地方放的非比寻常投入发后代人话题负电荷地方当然好突然投影机如何认识他

    5
    54
    248KB
    2009-11-25
    0

  • 编译原理课程设计Java版本

    萨菲瓦房问题各方而问题szcfsafcs sdf er sdfvsf 设备的私人银行的认购多少 辅导他还不发达地方地方还不发达 幅度还不发达飞大发光火的

    1
    89
    42KB
    2009-11-25
    10
account152878
码龄14年
暂无认证
关注 私信
上传资源赚积分or赚钱