形式系统(Formal System)-前言
来源：互联网 发布：文档网络在哪里 编辑：程序博客网 时间：2024/06/05 02:24
后续内容列表
1.表达逻辑(Aussagenlogik):Syntax和Semantik
2.可实现测试(Erfuellbarkeitstester):SAT Solver
3.谓词逻辑(Prädikatenlogik):Syntax和Semantik
4.计算（或推演 Kalküle）:表达逻辑和谓词逻辑
5.Peano-算法(Peano-Arithmetik)
6.对等(Gleichheit)
7.Java Modeling Language(JML)
8.情态表达逻辑 //可能有误 等学了在改原文时Modal 表达逻辑
9.Temporale Logik(LTL)
10.自动化(Automaten)
11.Buechi自动化(Büchi-Automaten)
12.模型检测(Modellprüfung)
推荐书籍
Melvin Fitting:First Order Logic and Automated Theorem Proving, 1990
1 0
- 形式系统(Formal System)-前言
- Formal System-范式(Normalformen)
- 形式系统(Formale System)-SAT问题
- Formal System-表达逻辑:Syntax，Semantik
- Formal System-Hilbert计算(Hilberkalkül)
- Formal System-相继式演算(Sequenz)
- Python 函数 参数 形式 Default Argument Keyword Arguments Formal Arguments
- Formal System-表达逻辑归结原理(Aussagenlogik-Resolutionskalkül)
- Formal System-谓词逻辑范式(Prädikatenlogik Normalformen)
- Formal System-谓词逻辑范式(Prädikatenlogik Normalformen)
- OpenGL系统设计-前言
- Formal System-谓词逻辑的归结原理(Prädikatenlogik-Resolutionskalkül)
- 前言－嵌入式系统移植
- 推荐系统——前言
- 形式计算系统未完成
- System Service的驱动形式 --- ServiceManager
- 【原创】ARM System Developer's Guide 读书笔记-前言
- 前言
- 线程池详解
- 1 - 统计学习方法概论
- 数据库里写了很多存储过程，想用SQL语句查出哪些存储过程包含字段（如：user_id）
- android 最优绘制圆图方法
- 如何脱离tutorial使用igllib
- 形式系统(Formal System)-前言
- Android视频播放(一)
- [leetcode] House Robber
- 扫描AVCapture -- 完整版(指定区域+闪光灯)
- IL指令大全
- java基础-JAVA之多线程
- ——黑马程序员——编程老手与高手的误区
- DICOM：试玩Docker发布C-STORE SCP服务
- String常用判断例子（账户登录校验，内置小游戏）
