跳转至

NannaU CS 生存指南

梁红瑾

NannaU CS 生存指南

NannaU-CS/nannau-cs.github.io

简介
简介
- NannaU CS 生存指南
- 贡献指南
选课指南
选课指南
- 前言
- 评价指南
- Rust程序设计语言
  Rust程序设计语言
  - 冯洋,徐宝文
- 人工智能
  人工智能
  - 杨育彬
  - 霍静,高阳
- 人机接口技术
  人机接口技术
  - 王崇骏
- 信息与计算科学导论
  信息与计算科学导论
  - 仲盛,张渊
- 信息与计算科学导论实验
  信息与计算科学导论实验
  - 仝伟
- 信息科学与实践
  信息科学与实践
  - 赵建华
- 信息论基础
  信息论基础
  - 姚鹏晖
- 分布式与并行计算
  分布式与并行计算
  - 谢磊
- 分布式数据处理
  分布式数据处理
  - 叶保留,陆桑璐
- 分布式网络
  分布式网络
  - 陈贵海
- 名师导学
  名师导学
  - 董昊
- 图形绘制技术
  图形绘制技术
  - 过洁
- 图论与算法
  图论与算法
  - 程龚
- 基于强化学习的无人机群体智能导论
  基于强化学习的无人机群体智能导论
  - 汪亮,陶先平
- 多媒体技术
  多媒体技术
  - 唐杰
- 大学物理
  大学物理
  - 郭亚冲
- 大学物理实验（一）
  大学物理实验（一）
- 大学物理（上）
  大学物理（上）
  - 王骏,薛斌
  - 肖明文
- 大学物理（下）
  大学物理（下）
  - 曹庆琪,王骏
  - 肖明文
- 大数据处理综合实验
  大数据处理综合实验
- 学术文献阅读与写作
  学术文献阅读与写作
  - 仲盛,张胜,程龚,钱柱中
  - 张胜,王楚豫,程龚,钱柱中
- 密码学原理
  密码学原理
  - 张渊
- 嵌入式系统
  嵌入式系统
  - 陈鑫
- 并行程序设计实验
  并行程序设计实验
  - 卢红敏
- 形式语言与自动机
  形式语言与自动机
  - 卜磊,李宣东
- 微电子与电路基础
  微电子与电路基础
  - 司峻峰
- 微积分I(第一层次)
  微积分I(第一层次)
  - 周国飞
  - 范红军
  - 邱华
  - 陆宏
- 微积分II(第一层次)
  微积分II(第一层次)
  - 周国飞
  - 范红军
  - 谭亮
  - 赵秋兰
  - 钱志
  - 顾庆松
- 控制理论与方法
  控制理论与方法
  - 章宗长
- 操作系统
  操作系统
  - 华景煜
  - 叶保留
  - 吴化尧
  - 徐锋
  - 蒋炎岩
- 数字逻辑与计算机组成
  数字逻辑与计算机组成
  - 吴海军
  - 周嵩
  - 李俊
  - 杨若瑜
- 数字逻辑与计算机组成实验
  数字逻辑与计算机组成实验
- 数学分析（一）
  数学分析（一）
  - 范红军
- 数学分析（二）
  数学分析（二）
  - 卓汉逵,范红军
  - 范红军
- 数据库概论
  数据库概论
  - 张剡
  - 柏文阳
  - 胡伟
- 数据挖掘导论
  数据挖掘导论
  - TINGKAIMING
- 数据结构
  数据结构
- 数据通信
  数据通信
  - 王晓亮
- 数理逻辑
  数理逻辑
  - 秦逸
- 普通物理（上）
  普通物理（上）
  - 于葛亮
  - 张建
- 智能应用开发
  智能应用开发
  - 徐经纬
  - 徐经纬,曹春
- 智能计算系统
  智能计算系统
  - 朱光辉
- 智能软件工程导论
  智能软件工程导论
  - 姚远,马晓星
- 最优化方法导论
  最优化方法导论
  - 张利军
- 机器学习导论
  机器学习导论
  - 叶翰嘉
- 机器学习新进展
  机器学习新进展
  - 李文斌,霍静
- 机器翻译和自然语言生成
  机器翻译和自然语言生成
  - 黄书剑
- 概率论与数理统计
  概率论与数理统计
- 物联网技术导论
  物联网技术导论
  - 谢磊
- 离散数学
  离散数学
- 程序设计基础
  程序设计基础
- 程序设计语言的形式语义
  程序设计语言的形式语义
  - 梁红瑾梁红瑾
    目录
    
    基本信息
    
    课程评价
    
    如何贡献
- 程序设计语言的解释器与虚拟机
  程序设计语言的解释器与虚拟机
  - 时清凯
- 算法设计与分析
  算法设计与分析
  - 张胜
  - 徐经纬
  - 栗师
  - 赵建华,郑朝栋
  - 郑朝栋
  - 黄宇
- 线性代数(第一层次)
  线性代数(第一层次)
- 组合数学
  组合数学
  - 尹一通
- 编码理论
  编码理论
  - 林冰凯
- 编译原理
  编译原理
  - 冯洋
  - 冯洋,徐宝文
  - 许畅
  - 谭添
  - 陈林
- 网络安全与检测技术
  网络安全与检测技术
  - 仝伟
- 网络安全实验
  网络安全实验
  - 吴迎红
- 网络应用开发技术
  网络应用开发技术
  - 卢红敏
- 网络攻防实战
  网络攻防实战
  - 陈健
- 网络空间安全与隐私保护
  网络空间安全与隐私保护
  - 吴昊,许封元
- 自主移动机器人导论
  自主移动机器人导论
  - 陈力军
- 计算复杂性
  计算复杂性
  - 姚鹏晖
- 计算方法
  计算方法
  - 刘景铖
  - 李元琪,过洁
- 计算机体系结构
  计算机体系结构
  - 王炜
- 计算机图形学
  计算机图形学
  - 孙正兴
  - 孙正兴,张岩
- 计算机数学建模
  计算机数学建模
  - 周毓明
- 计算机程序的构造和解释
  计算机程序的构造和解释
  - 冯新宇,李樾
- 计算机程序设计语言
  计算机程序设计语言
  - 张天
- 计算机系统基础
  计算机系统基础
- 计算机系统设计综合实验
  计算机系统设计综合实验
  - 仲盛,华景煜,吴昊
- 计算机网络
  计算机网络
  - 张渊
  - 李文中
  - 田臣
  - 郑嘉琦
  - 顾庆
  - 黄程远
- 计算机网络协议开发
  计算机网络协议开发
  - 曹培睿
  - 陈健
- 计算机视觉表征与识别
  计算机视觉表征与识别
  - 王利民
- 软件产业概论
  软件产业概论
  - 谢俊元
- 软件体系结构
  软件体系结构
  - 曹春
- 软件分析
  软件分析
  - 李樾,谭添
- 软件安全
  软件安全
  - 茅兵
- 软件工程
  软件工程
  - 张天,李宣东,王林章,王豫
- 软件工程综合实验
  软件工程综合实验
  - 张天,曹春,王林章,王豫
  - 张天,王林章,王豫
- 软件测试
  软件测试
  - 吴化尧,聂长海
- 软件质量保障
  软件质量保障
  - 吴化尧,聂长海
- 问题求解（一）
  问题求解（一）
  - 吕建,陶先平,马骏
  - 陶先平,马骏
- 问题求解（三）
  问题求解（三）
  - 程龚,钱柱中
- 问题求解（二）
  问题求解（二）
  - 程龚,钱柱中
- 问题求解（四）
  问题求解（四）
  - 吕建,陶先平,马骏
  - 陶先平,马骏
- 面向对象设计方法
  面向对象设计方法
  - 霍静
- 面向计算思维的问题求解
  面向计算思维的问题求解
  - 张胜,陆桑璐
- 高等代数（一）
  高等代数（一）
  - 申富饶
- 高等代数（二）
  高等代数（二）
  - 刘达欣
  - 徐百乐,申富饶
- 高级Java程序设计
  高级Java程序设计
  - 曹春
- 高级程序设计
  高级程序设计
- 高级算法
  高级算法
  - 刘景铖,尹一通,栗师
人生指南
人生指南
- 保研
  保研
  - 简介
- 考研
  考研
  - 简介
- 出国
  出国
  - 简介
- 就业
  就业
  - 简介
- 考公
  考公
  - 简介

程序设计语言的形式语义 - 梁红瑾¶

基本信息¶

课程号: 22011510
任课教师: 梁红瑾
上课专业: 信计,计拔,计科

课程评价¶

暂无

如何贡献¶

请查看评价指南了解如何评价课程！

程序设计语言的形式语义 - 梁红瑾¶

基本信息¶

课程评价¶

如何贡献¶

评论