board

@@ -0,0 +1,78 @@
+import sys
+import pygame
+
+screen = []
+objectArray = []
+
+class Agent:
+    def __init__(self, name, xPos, yPos):
+        self.name = name
+        self.xPos = xPos
+        self.yPos = yPos
+
+def draw(square_num, objectArr):
+    #następne dwie linijki do odkomentowania, jak będzie wgrane zdjęcie do tła
+    #background = pygame.image.load("ścieżka do pliku").convert() #tu ścieżka do zdjęcia w tle
+    #screen.blit(background, (0, 0))
+    grid_color = (0, 0, 0) #kolor czarny
+
+    grid_size = 500  #rozmiar kraty
+    square = grid_size/square_num #rozmiar pojedyńczego kwadracika
+
+    a = 50
+    b = 10  #odległości kraty od krawędzi okna
+
+    for i in range(square_num):
+        pygame.draw.line(screen, grid_color, (a + i*square, b), (a + i*square, b + grid_size), 2)
+
+        pygame.draw.line(screen, grid_color, (a, b + i*square), (a + grid_size, b + i*square), 2)
+
+    pygame.draw.line(screen, grid_color, (a, b + grid_size), (a + grid_size,
+                     b + grid_size), 2)
+    pygame.draw.line(screen, grid_color, (a + grid_size, b),
+                     (a + grid_size, b + grid_size), 2)
+
+    ## tutaj rysujemy agenta i inne obiekty juz na gotowej mapie
+
+    ## RYSUJEMY AGENTA
+    #agent_color = (255, 0, 0)
+    circleX = objectArr[0].xPos * square + square + square/ 2 #dodane jedno +square, by śmieciara nie wychodziła poza kratę
+    circleY = objectArr[0].yPos * square - square / 2
+    #radius = 10
+    #pygame.draw.circle(screen, agent_color, (a + circleX, b + circleY), radius)
+    truck = pygame.image.load("https://git.wmi.amu.edu.pl/s450737/SI-projekt-smieciarka/src/branch/master/car.png.png").convert_alpha() #tu ścieżka do zdjęcia w tle
+    truck = pygame.transform.scale(truck, (square, square))
+    screen.blit(truck, (circleX, circleY))
+
+def kb_listen(objectArray, gridLength):
+    for event in pygame.event.get():
+        if event.type == pygame.KEYDOWN:
+            if event.key == pygame.K_LEFT and objectArray[0].xPos > 0:
+                objectArray[0].xPos = objectArray[0].xPos - 1
+            if event.key == pygame.K_RIGHT and objectArray[0].xPos < gridLength - 1:
+                objectArray[0].xPos = objectArray[0].xPos + 1
+            if event.key == pygame.K_UP and objectArray[0].yPos > 1:
+                objectArray[0].yPos = objectArray[0].yPos - 1
+            if event.key == pygame.K_DOWN and objectArray[0].yPos < gridLength:
+                objectArray[0].yPos = objectArray[0].yPos + 1
+        if event.type == pygame.QUIT:
+            sys.exit()
+
+
+if __name__ == '__main__':
+    pygame.init()  #inicjalizacja modułów, na razie niepotrzebna
+
+    #Tworzymy nowego playera, czy tam agenta
+    agent = Agent("smieciarka", 5, 7)
+    objectArray.append(agent)
+
+    width = 600
+    height = 530
+    screen = pygame.display.set_mode((width, height))  #ustalanie rozmiarów okna
+
+    while 1:
+        c = (255, 255, 255)  #tymczasowy kolor tła - do usunięcia, jak już będzie zdjęcie
+        screen.fill(c)
+        draw(15, objectArray)
+        kb_listen(objectArray, 15)
+        pygame.display.update()  #by krata pojawiła się w okienku - update powierzchni

cwiczenia.txt

@@ -1,30 +0,0 @@
-1) Dom nie jest sterta smieci
-∀x (dom(x) ⇒ ¬sterta smieci(x))
-dom(x) ∧ sterta smieci(x) ⇒
-
-2) Kazdy smiec ma inny typ
-∀x (smiec(x) ⇒ ∃y typ(x, y))
-smiec(x) ⇒ typ(x, d(x))
-
-3) Kazdy smiec jest albo papierem, plastikiem lub szklem
-∀x (smiec(x) ⇒ papier(x) ∨ szklo(x) ∨ plastik(x))
-smiec(x) ⇒ papier(x) ∨ szklo(x) ∨ plastik(x)
-
-– Cos nie moze byc jednoczesnie papierem, plasitkiem/szklem ...
-
-4) Kazda sterta smieci jest albo papierem, plastikiem lub szklem
-∀x (sterta smieci(x) ⇒ papier(x) ∨ szklo(x) ∨ plastik(x))
-sterta smieci(x) ⇒ papier(x) ∨ szklo(x) ∨ plastik(x)
-
-5) Dom wytwarza smieci
-wytwarza(smieci, dom)
-wytwarza(smieci, dom)
-
-6) Niektore domy nie maja smieci
-∃x(dom(x) ⇒ ¬smieci(x))
-
-Wprowadzamy stala Skolema (b)
-dom(b) ∧ smieci(b) ⇒
-
-7) Kazde dwa obiekty znajduja sie w pewnej odleglosci od siebie
-∀x∀y