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

vault backup: 2023-09-19 21:19:41

Browse source
This commit is contained in:
Alice 2023-09-19 21:19:41 +01:00
parent ac86a3161a
commit 86751ae196
2 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -58,8 +58,8 @@ A formula $F$ is:
3. **unsatisfiable** iff it holds under no assignment. An unsatisfiable formula is called a *contradiction*.
4. **refutable** iff it is not valid.
> [!tip]+ Proposition
> $F$ is **valid** iff $\neg F$ is **unsatisfiable**.
> [!tip]+ Proposition
> $F$ is **valid** iff $\neg F$ is **unsatisfiable**.
- $F \models G$ iff for every assignment $A$, if $A \models F$ then $A \models G$. We say $G$ is a **consequence** of $F$.

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

@ -1,5 +1,8 @@
## Ficha 1
> [!note]
> As resoluções des TP pode conter erros. Se detetares um problema (e se o souberes resolver) por favor contacta-nos lol.
> [!help]+ Ex 1 (Configuração de produtos)
> Certos produtos, como é o caso dos automóveis, são altamente personalizáveis, mas podem haver dependências entre as configurações. Os clientes podem não estar cientes de todas essas dependências, e poderão escolher opções de configuração inconsistentes.
> Como são muitas configurações e muitas dependências, podemos usar um SAT solver para verificar se o cliente escolhe opções de configuração consistentes. Para isso, podemos seguir os seguintes passos: