From ed76670ca3bb6efb6d8db39a8845a993afb31468 Mon Sep 17 00:00:00 2001
From: Alice <alicevteixeira@gmail.com>
Date: Mon, 23 Oct 2023 15:14:38 +0100
Subject: [PATCH] vault backup: 2023-10-23 15:14:38

---
 .obsidian/core-plugins.json | 20 ---------------
 .obsidian/workspace.json    | 12 ++++-----
 4a1s/MFES/PL - Aula 5.md    | 49 +++++++++++++++++++++++++++++++++++++
 3 files changed, 55 insertions(+), 26 deletions(-)

diff --git a/.obsidian/core-plugins.json b/.obsidian/core-plugins.json
index 9405bfd..e69de29 100644
--- a/.obsidian/core-plugins.json
+++ b/.obsidian/core-plugins.json
@@ -1,20 +0,0 @@
-[
-  "file-explorer",
-  "global-search",
-  "switcher",
-  "graph",
-  "backlink",
-  "canvas",
-  "outgoing-link",
-  "tag-pane",
-  "page-preview",
-  "daily-notes",
-  "templates",
-  "note-composer",
-  "command-palette",
-  "editor-status",
-  "bookmarks",
-  "outline",
-  "word-count",
-  "file-recovery"
-]
\ No newline at end of file
diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 5cff60e..54c5c88 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -37,7 +37,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 4.md",
+                "file": "4a1s/MFES/PL - Aula 5.md",
                 "mode": "source",
                 "source": false
               }
@@ -110,7 +110,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 4.md",
+                "file": "4a1s/MFES/PL - Aula 5.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -127,7 +127,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 4.md",
+                "file": "4a1s/MFES/PL - Aula 5.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -150,7 +150,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 4.md"
+                "file": "4a1s/MFES/PL - Aula 5.md"
               }
             }
           },
@@ -185,9 +185,10 @@
   },
   "active": "cca189cd61cd7fe5",
   "lastOpenFiles": [
+    "4a1s/MFES/T - Aula 2.md",
+    "4a1s/MFES/PL - Aula 4.md",
     "4a1s/CP/PL - Aula 4.md",
     "4a1s/RAS/Notas Projeto RAS.md",
-    "4a1s/MFES/PL - Aula 4.md",
     "4a1s/MFES/PL - Aula 5.md",
     "4a1s/CP/Projeto Fase 1.md",
     "4a1s/CP/PL - Aula 6.md",
@@ -203,7 +204,6 @@
     "Images/Pasted image 20231018113933.png",
     "4a1s/CP/PL - Aula 5.md",
     "4a1s/ASCN/T - Aula 1.md",
-    "4a1s/MFES/T - Aula 2.md",
     "4a1s/RAS/T - Aula 1.md",
     "4a1s/RAS/T - Aula 3.md",
     "4a1s/RAS/T - Aula 2.md",
diff --git a/4a1s/MFES/PL - Aula 5.md b/4a1s/MFES/PL - Aula 5.md
index e69de29..5b8fae5 100644
--- a/4a1s/MFES/PL - Aula 5.md	
+++ b/4a1s/MFES/PL - Aula 5.md	
@@ -0,0 +1,49 @@
+```c
+sig Bucket {
+	head : lone Node
+}
+
+sig Node {
+	key : one Key,
+	prox : lone Node
+}
+
+sig Key {
+	hash : one Hash
+}
+
+sig Hash {}
+
+pred Invs {
+	// Specify the properties that characterize 
+	// hash tables using closed addressing (separate 
+	// chaining) for collision resolution.
+
+	// The points you will get is proportional to the 
+	// number of correct properties. To check how many
+	// points you have so far you can use the different
+ 	// commands. For example, if check Three is correct 
+	// you will have at least 3 points.
+    // The maximum is 5 points.
+
+	// Be careful to not overspecify! 
+	// If you specify a property that is not valid in 
+	// these hash tables you get 0 points, 
+    // even if you have some correct properties.
+	// To check if you are not overspecifying you can use 
+	// command NoOverspecification. If you have an invalid
+	// property this command will return a valid hash table 
+	// that you specification is not accepting.
+
+  
+  	// no node links to itself
+  	all x: Node | x->x not in prox
+  
+  	//for all nodes sequentially linked, they must have the same hash
+  	all x, y: Node | (x.prox = y) implies x.key.hash = y.key.hash
+  	
+  	// for all buckets 
+  
+}
+
+```
\ No newline at end of file