From 86751ae196d388f46453714879e030a2a1af24f3 Mon Sep 17 00:00:00 2001 From: Alice Date: Tue, 19 Sep 2023 21:19:41 +0100 Subject: [PATCH] vault backup: 2023-09-19 21:19:41 --- content/MFES/T - Aula 2 - 18 Setembro 2023.md | 4 ++-- content/MFES/TP - Aula 1 - 18 Setembro.md | 3 +++ 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/content/MFES/T - Aula 2 - 18 Setembro 2023.md b/content/MFES/T - Aula 2 - 18 Setembro 2023.md index 919ef6c..8cb4b81 100644 --- a/content/MFES/T - Aula 2 - 18 Setembro 2023.md +++ b/content/MFES/T - Aula 2 - 18 Setembro 2023.md @@ -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$. diff --git a/content/MFES/TP - Aula 1 - 18 Setembro.md b/content/MFES/TP - Aula 1 - 18 Setembro.md index 05cdc0e..7b0da62 100644 --- a/content/MFES/TP - Aula 1 - 18 Setembro.md +++ b/content/MFES/TP - Aula 1 - 18 Setembro.md @@ -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: