Alice/my_digital_garden
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

changes

Browse source
This commit is contained in:
Alice 2023-09-20 09:55:02 +01:00
parent f1fd2b7a06
commit 47c2ae5f14
7 changed files with 23 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

5
content/MFES/MFES - UC Details.md
View file

@ -1,8 +1,9 @@
#MFES
11 Setembro 2023 - #MFES
## Programa
1. Lógicas para especificação formal
1. [[T - Aula 2 - 18 Setembro 2023#Proposicional Logic (PL)| Lógica Proposicional (PL)]]
1. [[MFES/T - Aula 2#Proposicional Logic (PL)| Lógica Proposicional (PL)]]
2. Lógica de Primeira Ordem (FOL)
3. Lógica relacional (RL)
4. Lógica temporal linear (LTL)

11
content/MFES/T - Aula 2 - 18 Setembro 2023.md → content/MFES/T - Aula 2.md
View file

@ -1,9 +1,10 @@
#MFES
18 Setembro 2023 - #MFES
# Conteúdo
1. [[T - Aula 2 - 18 Setembro 2023#1. Intro|Intro]]
1. [[T - Aula 2 - 18 Setembro 2023#1.1 SAT|SAT]]
2. [[T - Aula 2 - 18 Setembro 2023#1.2 Proposicional Logic (PL)|Lógica Proposicional]]
3. [[T - Aula 2 - 18 Setembro 2023#SAT Solvers|SAT Solvers]]
1. [[MFES/T - Aula 2#1. Intro|Intro]]
1. [[MFES/T - Aula 2#1.1 SAT|SAT]]
2. [[MFES/T - Aula 2#1.2 Proposicional Logic (PL)|Lógica Proposicional]]
3. [[MFES/T - Aula 2#SAT Solvers|SAT Solvers]]
# 1. Intro
*Formal modeling* - formally represent the system and its properties in the syntactic conventions that the tool understands and can process.

3
content/MFES/TP - Aula 1 - 18 Setembro.md → content/MFES/TP - Aula 1.md
View file

@ -1,4 +1,5 @@
#MFES
18 Setembro 2023 - #MFES
## Ficha 1
> [!note]