DraonAbyss

分类

C++(3) CodeForces(23) LeetCode(3) 函数语言程序设计(40) 安全编程(1) 密码学基础(17) 无线网络安全(5) 笔记(16) 算法设计与分析(22) 编译原理与技术(16) 网络安全数学基础(3) 计算机逻辑基础(8) 题解(37)

/ 注册

TA的专栏 167篇文章 11人订阅

【题解】SQL 入门

36篇文章 18251人学习

【学习】函数语言程序设计

39篇文章 1641人学习

【学习】密码学基础

16篇文章 1083人学习

【学习】算法设计与分析

22篇文章 1925人学习

【学习】无线网络安全

6篇文章 2960人学习

计算机逻辑基础

4篇文章 1462人学习

【学习】网络安全数学

7篇文章 883人学习

12篇文章 551人学习

2篇文章 542人学习

23篇文章 1665人学习

全部文章（共2篇）

Lecture 05_1 Semantics of Predicate Logic

谓词逻辑的语义 Semantics of Predicate Logic 谓词逻辑 Predicate Logic 谓词逻辑的语义 Semantics of predicate logic 模型 Models 语义蕴涵 Semantic entailment 平等的语义学 Semantics of...

计算机逻辑基础

2021-11-09

0 482

【计算机逻辑基础】2 命题逻辑的合理性与完备性

知识 Conjunctive Normal Form Definitions： literal conjunctive normal form (CNF) Note: Examples of CNFs: Not in CNF: Validity of a Disjunction of Li...

计算机逻辑基础

2021-10-18

0 1170