注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 编译技术讲义(PPT)

  2. 要求先学习以下课程 1.程序设计语言 2.算法与数据结构：栈分配、堆分配、静态分配等各种存储分配方式。线性表、二叉查找树、哈希表等多种数据结构。 3.离散数学：集合论与数理逻辑是进一步学习形式语言与自动机理论的数学基础。 最好学习过或同时学习以下课程 1.软件工程：掌握大型程序设计以及工程化的软件生产方法。 2.形式语言与自动机：相当于本课程中词法分析与语法分析的理论基础。

  3. 所属分类：其它

    • 发布日期：2009-07-18
    • 文件大小：1mb
    • 提供者：Erwin_lee

  1. 哈工大计算机数理逻辑讲义

  2. 哈工大数理逻辑讲义，页数很少，也就是比较简练，希望有人需要它；

  3. 所属分类：专业指导

    • 发布日期：2009-11-23
    • 文件大小：1mb
    • 提供者：wakers

  1. 数理逻辑讲义(周晓聪)

  2. 中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。

  3. 所属分类：专业指导

    • 发布日期：2010-10-16
    • 文件大小：526kb
    • 提供者：v12924543

  1. 哥德尔编码（数理逻辑）

  2. 数理逻辑中关于哥德尔编码的讲义，很实用，很有内涵

  3. 所属分类：专业指导

    • 发布日期：2010-11-28
    • 文件大小：51kb
    • 提供者：yingprince

  1. 数理逻辑PPT讲义

  2. 一个很好的数理逻辑课堂讲义，天津大学研究生课上PPT

  3. 所属分类：专业指导

    • 发布日期：2012-12-31
    • 文件大小：2mb
    • 提供者：freedom890823

  1. 数理逻辑（北大讲义）

  2. 北大师兄总结的好资源！

  3. 所属分类：专业指导

    • 发布日期：2013-05-01
    • 文件大小：3mb
    • 提供者：yunluoxinge

  1. 数理逻辑讲义附件.

  2. 数理逻辑讲义附件

  3. 所属分类：讲义

    • 发布日期：2014-07-06
    • 文件大小：438kb
    • 提供者：qq_17312011

  1. 数理逻辑讲义

  2. 数理逻辑 讲义，周晓聪，

  3. 所属分类：专业指导

    • 发布日期：2014-08-07
    • 文件大小：526kb
    • 提供者：u010023121

  1. 计算机数理逻辑讲义111

  2. 数理逻辑讲义，内容全面，生动，适用与基础较好

  3. 所属分类：专业指导

  1. 北京大学数理逻辑_王捍贫

  2. 北京大学王捍贫老师2012-2013年的数理逻辑上课讲义，网络上有配套的视频

  3. 所属分类：讲义

    • 发布日期：2017-10-19
    • 文件大小：2mb
    • 提供者：yange1230

  1. 哈尔滨工业大学数理逻辑课程讲义

  2. 哈尔并工业大学计算机学院06级数理逻辑课程讲义 详细

  3. 所属分类：专业指导

    • 发布日期：2009-01-18
    • 文件大小：1mb
    • 提供者：xiangzisainan

  1. 中国科学技术大学 陈小平教授 数理逻辑讲义,笔记

  2. 陈小平教授经典讲义!

  3. 所属分类：讲义

    • 发布日期：2018-03-11
    • 文件大小：5mb
    • 提供者：physics0222

  1. 离散数学讲义

  2. 数理逻辑，命题逻辑的基本概念，上课可以作为上课的讲义。

  3. 所属分类：讲义

    • 发布日期：2018-05-05
    • 文件大小：133kb
    • 提供者：qq_42140986

  1. 离散数学讲义2

  2. 离散数学的讲义，是关于命题逻辑等值演算的讲义，可以作为一个课的讲义。

  3. 所属分类：讲义

    • 发布日期：2018-05-05
    • 文件大小：165kb
    • 提供者：qq_42140986

  1. 北京大学数理逻辑 2018 林作铨

  2. 北京大学数理逻辑讲义 2018版 数学科学学院林作铨老师班

  3. 所属分类：讲义

    • 发布日期：2018-11-11
    • 文件大小：2mb
    • 提供者：qq_39612640

  1. 中科院-程序理论

  2. 国科大数理逻辑与程序理论的后半部分-程序理论讲义，詹乃军老师的课程可以参考

  3. 所属分类：讲义

    • 发布日期：2019-01-10
    • 文件大小：4mb
    • 提供者：m0_37818883

  1. 随机过程讲义.pdf

  2. 能够快速上手的随机过程教学资源，从随机过程所需要的了解的概率论和数理统计知识开始，重点研究离散和连续时间的马氏链，内容详细，逻辑清晰。

  3. 所属分类：讲义

  1. PDF格式的数理逻辑讲义

  2. 内容提纲： 一、命题逻辑(Propositional Logic) 二、命题演算(Propositional Calculus)

  3. 所属分类：专业指导

    • 发布日期：2009-07-26
    • 文件大小：969kb
    • 提供者：Snowdust