Kronika
Spotkania
Foto
Galeria
Terminarz
Tworczosc
Logi
Informacja o serwisie

Tworczosc

                     "WSTEP DO TEORII WROGOSCI I LOGIKI"

                           Jerzy Tiuryn fanfiction
                           
           z dedykacja dla prof. Pacholskiego i dra Marcinkowskiego

                               John MacKanacKy
                               (Jacek  Suliga)

                                    * * *

                                    Wstep

       Spoleczenstwo  przezywa  obecnie  burzliwy  rozwoj  metod formalnych,
  ktorych  stopien  komplikacji  moze  byc  bardzo  duzy. Dlatego tez mlodzi
  ludzie  powinni  zostac  do  tego przygotowani od samego poczatku studiow.
  Niniejszy  wyklad  "Wstep  do  teorii  wrogosci  i  logiki"  ma za zadanie
  zapoznanie  studentow  z  pewnymi  dzialaniami  teorii  zbirow  oraz metod
  formalnych  logiki  nielogicznej  majacymi  bezposredni  zwiazek  z zyciem
  zarowno teoretycznym jak i praktycznym, nie bo dlatego ze poniewaz.


                        1. Zbiry i operacje na zbirach

       Teorie  wrogosci,  czyli  teorie  zbirow  (latwy  dowod rownowaznosci
  wrogosc<=>zbir  pozostawiamy czytelnikowi), buduje sie w oparciu o pojecia
  przewrotne: zbir oraz (* "byc dresiarzem". Napis Franek(*A czytamy "Franek
  jest  zbirem  i  dresiarzem  z  bramy  'A'".  Nasze wprowadzenie do teorii
  wrogosci bedzie sie opierac na znanej aksjomatyce Wyjsc-i-wejsc.
       Dzialania  dumy  i  przegiecia  sa operacjami dwuargumentowymi. Mozna
  latwo  uogolnic  te operacje na dowolne rodziny zbirow. Niech "Meliniarze"
  beda  rodzina  zbirow. Duma tej rodziny nazwiemy zbira Franek(*Meliniarze,
  takiego  ze  dla  dowolnego  przestepczego  elementu  X z rodziny zachodzi
  relacja: (Franek @ X), co czytamy "Franek siedzial dluzej niz X".
       Dualnie definiujemy przegiecie rodziny Meliniarze, o ile przynajmniej
  jeden  zbir  z  tej  rodziny  siedzi  w  wiezieniu (krata) lub zakladzie o
  zaostrzonym  rygorze  (krata  zupelna). Wtedy przegieciem rodziny nazywamy
  zbira, ktory co noc jest w relacji z kazdym innym wiezniem.
       Latwy dowod powyzszych zaleznosci pozostawiamy czytelnikowi.


                              6. Teoria przemocy

       Powiemy, ze zbir jest 'obliczalny', gdy nalezy do kraty (zupelnej). W
  przeciwnym wypadku zbir jest 'nieobliczalny'. Zbira nazywamy 'skonczonym',
  gdy  jest  w  relacji  z  dowolnym  nieobliczalnym  policjantem  (uwaga: w
  rodzinie  policjantow  'obliczalny'  oznacza  tyle  co  przekupny).  Latwo
  wykazac, ze kazdy zbir skonczony jest obliczalny i na odwrot.
       Rodzine, do ktorej nalezy zbir skonczony, nazywamy spalona.


        Opracowanie pozostalych rozdzialow pozostawiamy czytelnikowi.

                                    * * *
                    Pisane w czasie sesji zimowej 1998

                                                             John MacKanacKy
                                                          
===================================================
© 1999 P s y b o r g
Kontakt: webmaster@kronika.rpg.pl