chore: format
This commit is contained in:
parent
b17dfd40f7
commit
d5cab619e3
|
|
@ -12,7 +12,7 @@ tag:
|
|||
|
||||
### 试卷
|
||||
|
||||
- [2023-2024学年下学期期末试卷](https://courses.ecnu.vanillaaaa.org/courses/软件工程学院/信息安全数学基础（一）/2023-2024学年下学期期末_含答案.html)
|
||||
- [2023-2024学年下学期期末试卷](./2023-2024学年下学期期末_含答案)
|
||||
|
||||
### 沈佳辰
|
||||
|
||||
|
|
|
|||
|
|
@ -12,7 +12,7 @@ tag:
|
|||
|
||||
### 试卷
|
||||
|
||||
- [2024-2025学年上学期期末试卷](https://courses.ecnu.vanillaaaa.org/courses/软件工程学院/信息安全数学基础（二）/2024-2025学年上学期期末_含答案.html)
|
||||
- [2024-2025学年上学期期末试卷](./2024-2025学年上学期期末_含答案)
|
||||
|
||||
### 沈佳辰
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,11 @@
|
|||
# 2025春季学期区块链基础期末考试试卷（回忆版）
|
||||
---
|
||||
title: 2024-2025学年下学期期末
|
||||
author:
|
||||
- タクヤマ
|
||||
---
|
||||
## 2025春季学期区块链基础期末考试试卷（回忆版）
|
||||
|
||||
## 选择题
|
||||
### 选择题
|
||||
|
||||
选择题大多较简单，只有一个比较神秘：
|
||||
|
||||
|
|
@ -16,7 +21,7 @@ D.
|
|||
|
||||
我只记得B选项是中本聪，ABD是什么没有印象
|
||||
|
||||
## 填空题
|
||||
### 填空题
|
||||
|
||||
1.区块链的三个核心技术是：\_\_\_\_，\_\_\_\_，\_\_\_\_
|
||||
|
||||
|
|
@ -28,7 +33,7 @@ D.
|
|||
|
||||
应该还有一道只有一空的题目，但是没记住
|
||||
|
||||
## 简答题
|
||||
### 简答题
|
||||
|
||||
1.简述中心化系统与去中心化系统的优缺点。
|
||||
|
||||
|
|
@ -46,7 +51,7 @@ D.
|
|||
|
||||
8.简述蚂蚁链上智能合约的执行流程。
|
||||
|
||||
## 编程题
|
||||
### 编程题
|
||||
|
||||
1.编写应用程序小例子，基本功能应包括，对区块链状态变量进行Get和Set操作，即读写操作
|
||||
|
||||
|
|
@ -1,20 +1,15 @@
|
|||
---
|
||||
title: 区块链基础
|
||||
category:
|
||||
- 软件工程学院
|
||||
- 课程资料
|
||||
tag:
|
||||
- 区块链
|
||||
- 分布式系统
|
||||
- 专业课程
|
||||
order: 1
|
||||
---
|
||||
|
||||
## 2024-2025学年下学期
|
||||
|
||||
### 叫啥来着
|
||||
### 鲍海勇
|
||||
|
||||
#### 教学资料
|
||||
|
||||
- [南京大学慕课](https://drive.vanillaaaa.org/SharedCourses/软件工程学院/区块链基础/2024-2025学年下学期/课件/南京大学慕课)
|
||||
- [蚂蚁区块链](https://drive.vanillaaaa.org/SharedCourses/软件工程学院/区块链基础/2024-2025学年下学期/课件/蚂蚁区块链)
|
||||
- [作业](https://drive.vanillaaaa.org/SharedCourses/软件工程学院/区块链基础/2024-2025学年下学期/作业)
|
||||
- [2024-2025学年下学期期末](./2024-2025学年下学期期末)
|
||||
|
|
|
|||
|
|
@ -9,8 +9,9 @@ tag:
|
|||
- 专业课程
|
||||
---
|
||||
|
||||
# 课程评价
|
||||
## 2024Fall
|
||||
|
||||
## 2024-2025学年上学期
|
||||
|
||||
### 王高丽
|
||||
|
||||
- 老师人很好（真的很好喵，推荐选王老师的课喵（ \*\*\^w\^\*\* ）
|
||||
|
|
|
|||
|
|
@ -11,7 +11,7 @@ tag:
|
|||
|
||||
### 试卷
|
||||
|
||||
- [2024-2025学年下学期期末试卷](./2024-2025学年下学期期末.md)
|
||||
- [2024-2025学年下学期期末试卷](./2024-2025学年下学期期末)
|
||||
|
||||
### 谷守珍
|
||||
|
||||
|
|
|
|||
|
|
@ -1,12 +1,6 @@
|
|||
---
|
||||
title: 形式语言与自动机理论
|
||||
category:
|
||||
- 软件工程学院
|
||||
- 课程评价
|
||||
tag:
|
||||
- 信息安全
|
||||
- 数学基础
|
||||
- 抽象代数
|
||||
order: 1
|
||||
---
|
||||
|
||||
## 2023-2024学年下学期
|
||||
|
|
|
|||
|
|
@ -1,10 +1,6 @@
|
|||
---
|
||||
title: 计算机安全
|
||||
category:
|
||||
- 软件工程学院
|
||||
- 课程评价
|
||||
tag:
|
||||
- 信息安全
|
||||
order: 1
|
||||
---
|
||||
## 2023-2024学年下学期
|
||||
|
||||
|
|
@ -18,11 +14,11 @@ tag:
|
|||
- [课件](https://drive.vanillaaaa.org/d/SharedCourses/%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2/%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%AE%89%E5%85%A8/%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%AE%89%E5%85%A8_%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2_2024Spring_%E8%AF%BE%E4%BB%B6.zip?sign=kVE1IZ9V7TH9vo4nZkCXxvvHOVRVdkwmmEfvMSa8T6E=:0)
|
||||
- [教材](https://drive.vanillaaaa.org/d/SharedCourses/%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2/%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%AE%89%E5%85%A8/%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%AE%89%E5%85%A8_%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2_2024Spring_%E6%95%99%E6%9D%90.pdf?sign=DHcTLmtXrf7BAQSA0iYV-YS1vJAZ5ueFnwWbzIfdj-8=:0)
|
||||
- [习题答案](https://drive.vanillaaaa.org/d/SharedCourses/%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2/%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%AE%89%E5%85%A8/%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%AE%89%E5%85%A8_%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2_2024Spring_%E4%B9%A0%E9%A2%98%E7%AD%94%E6%A1%88.pdf?sign=qFT1OTkrB31qw7MI59YB9g1y0qMYi9LB9rL9QtYcpjk=:0)
|
||||
- [2023-2024学年下学期期末试卷](https://courses.ecnu.vanillaaaa.org/courses/软件工程学院/计算机安全/2023-2024学年下学期期末.html)
|
||||
- [2023-2024学年下学期期末试卷](./2023-2024学年下学期期末)
|
||||
|
||||
## 2024-2025学年下学期
|
||||
|
||||
### 陈志立
|
||||
|
||||
- 资源列表
|
||||
- [2024-2025学年下学期期末试卷](https://courses.ecnu.vanillaaaa.org/courses/软件工程学院/计算机安全/2024-2025学年下学期期末.html)
|
||||
- [2024-2025学年下学期期末试卷](./2024-2025学年下学期期末)
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
---
|
||||
title: 2024Fall_期末_不全
|
||||
title: 2024-2025学年上学期期末
|
||||
category:
|
||||
- 软件工程学院
|
||||
- 试卷
|
||||
|
|
@ -8,8 +8,9 @@ tag:
|
|||
author:
|
||||
- タクヤマ
|
||||
---
|
||||
## 2024-2025学年上学期期末(不全)
|
||||
|
||||
## 简答题
|
||||
### 简答题
|
||||
|
||||
1. What is the definition of validity for a propositional logic formula?
|
||||
|
||||
|
|
@ -19,7 +20,7 @@ author:
|
|||
|
||||
4. Please state the key idea of program verification using model checking techniques.
|
||||
|
||||
## 计算题
|
||||
### 计算题
|
||||
|
||||
1. Convert the following formula into CNF and draw its parse tree: $(p \vee q \rightarrow r ) \rightarrow r \vee s$
|
||||
|
||||
|
|
@ -27,7 +28,7 @@ author:
|
|||
|
||||
3. model checking
|
||||
|
||||
## 证明题
|
||||
### 证明题
|
||||
|
||||
1. Prove the following statement: $(p \wedge q) \rightarrow r \vdash (p \rightarrow r) \vee (q \rightarrow r)$
|
||||
|
||||
|
|
@ -1,14 +1,11 @@
|
|||
---
|
||||
title: 计算机逻辑基础
|
||||
category:
|
||||
- 软件工程学院
|
||||
- 课程评价
|
||||
tag:
|
||||
- 课程评价
|
||||
order: 1
|
||||
---
|
||||
## 2024-2025学年上学期
|
||||
|
||||
# 课程评价
|
||||
## 2024Fall
|
||||
### 李卿
|
||||
|
||||
- 资源列表
|
||||
- [课件](https://drive.vanillaaaa.org/d/SharedCourses/%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2/%E8%AE%A1%E7%AE%97%E6%9C%BA%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80/%E8%AE%A1%E7%AE%97%E6%9C%BA%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80_%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2_2024Fall_%E8%AF%BE%E4%BB%B6.zip?sign=e_KyQ6N5IvRHDtidWhLSccXDqhy4yGVST-cxYX-xZZs=:0)
|
||||
- [2024-2025学年上学期期末](./2024-2025学年上学期期末)
|
||||
|
|
|
|||
|
|
@ -11,7 +11,7 @@ tag:
|
|||
|
||||
### 试卷
|
||||
|
||||
- [2024-2025学年下学期期末试卷](./2024-2025学年下学期期末.md)
|
||||
- [2024-2025学年下学期期末试卷](./2024-2025学年下学期期末)
|
||||
|
||||
### 徐鸣
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue