Please enable JavaScript.

Coggle requires JavaScript to display documents.

Formale Methoden (Formale Logik (Junktoren (Negation, Konjunktion,…

- - - - Disjunktion von Konjunktionen von Literalen
    - - Eliminierung von -> und = durch äquivalente Formen
- - - - Length
      - Member
    - - Call Stack
      - das Ergebnis geht in weitere Berechnungen ein
      - in jedem Schritt wird es vereinfacht, bis es nicht mehr geht.
    - - das Ergebnis wird immer mitgerechnet
      - rekursive Aufruf ist gleichzeitig Rückgabewert der Funktion, weil nichts mehr berechnet werden muss
- - - - cons #
      - list
      - append
    - - Abstraktion
      - Diskretheit
      - Finitheit
      - Terminierung
      - Determiniertheit
      - Determinismus
    - - Umsetzung komplexer Algorithmen
      - Effizienz
      - Lesbarkeit
      - Automatisierung
- - - - Symbole = eq
      - strukturelle Gleichheit = equal
      - Wertgleichheit =
      - lexikalische Gleichheit = string
  - - - einfache Ausgabe spezifischer Werte
    - - formatierte Ausgabe spezifischer Werte
        
        ~%, ~& und ~A
  - - - mehrere symbolische Ausdrücke werden nacheinander ausgeführt = progn
    - - if
        
        (if <test><then><else>)
      - when
        
        (when <test><konsequenz>)
      - unless
        
        (unless <test><konsequenz>)
      - cond
        
        mehrere wenn-dann-Regeln
  - - - wenn alle Argumente wahr sind, dann ist AND wahr
    - - genau dann wahr wenn mindestens eines der Argumente wahr
    - - kehrt Wahrheitswerte um, wahr wenn Argument NIL
- - - - ein Schlüssel-Datum-Paar in eine Assoziationsliste einfügen
      - keine Veränderung der ursprünglichen, sondern eine neue Liste
      - (acons <key><value><alist>)
    - - erzeugt eine Ass.liste aus Schlüsselliste und Liste von korrespondierenden Daten
  - - - sucht nach einem Schlüssel in der Ass.liste und gibt das gefundene oder NIL zurück
    - - nur atomare Daten
      - sucht nach einem Datum ""-gefundene Paar oder NIL
      - nur dotted.pairs, damit jedem key nur ein Inhalt zugeordnet wird. Dadurch wird die Suche weniger eingeschränkt
- - - - bindet lokale Variablen parallel
    - - bindet lokale Variablen sequentiell
    - - setf belegt den Speicherort von <place> mit dem Wert von <value>