diff --git a/logica/leites/README.md b/logica/leites/README.md index fb1d98b6..92d4d495 100644 --- a/logica/leites/README.md +++ b/logica/leites/README.md @@ -6,6 +6,11 @@ Uma coleção de materiais úteis que foram utilizados na disciplina em período ## Provas +### 2025.1 +**Prova** | **Reposição?** | **Links** | +:---: | :---:| :---: | +2º estágio | Não | [link](https://drive.google.com/file/d/1sDDETiE7Uj7J9wTVyoA2mboSKnk5P2EC/view?usp=drivesdk) | + ### 2022.2 **Prova** | **Reposição?** | **Links** | :---: | :---:| :---: | @@ -31,4 +36,4 @@ Uma coleção de materiais úteis que foram utilizados na disciplina em período 2 | Formas Normais | [Link](https://drive.google.com/open?id=1VKE5kDH3bqtzRgj8VTd5uArJtYH_GInh) | 3 | Solvers | [Link](https://drive.google.com/open?id=1bACt4XTUeYEh8nVRBKz6re2xPA1C0Tfg) | 4 | Lógica de Predicados | [Link](https://drive.google.com/open?id=14bUn7xzZOL0fUBUsVq1tCCHvx5i9KG-_) | -5 | Verificação de Programas | [Link](https://drive.google.com/open?id=1HD4axCKktxMPkuWdgZ1n_TN68pFG4RIA) | \ No newline at end of file +5 | Verificação de Programas | [Link](https://drive.google.com/open?id=1HD4axCKktxMPkuWdgZ1n_TN68pFG4RIA) |