Einführung in die Programmierung
Einführung
für Computer aufbau IRAM Speicher ,
Basics
>
>
:
Prozessor )
,
Programmiersprache
>
zu
geben
.
Maschinensprache Assemblersprache Problemorientiert
,
>
Syntax ,
Weg , um Befehle
als
Sprachen
Semantik
,
,
wandeln sich
Pragmatik
und Quellcode
Dialekte
"
schnell
"
Idiomatik
,
Syntax legt grammatikalische Regeln fest
>
Auswertungsregeln fest
Semantik legt
>
→
Pragmatik
beschreibt
>
Idiomatik
beschreibt
Absicht des Programmierers
good practices
einer
-
Sprache
Programmiersprachen
:
3
>
Grund paradigmen
>
:
funktionale / prozedurale logische
funktionale Programmierung
,
ist kurz
,
Mathematik und leicht wiederverwendbar
leicht
verständlich
Rocket
>
Präfix notation
Funktionen
>
>
Funktionen müssen nach gewissen
Häufig sind Hilfsfunktionen
Regeln geschrieben
von
verteil !
und
werden
Objektorientierte Programm
,
nah
an
der
.
Auswertung
Allgemein
links assoziativ
ausgewertet werden kann
>
>
In jedem
>
Schritt wird
Fallunterscheidungen
Möglichkeit
>
>
,
Operator gefunden
durch bis ein
( Ersetzungsmodell )
geht
ein
mir
Ausdruck
wird , der
umgeformt
:
für unterschiedliche Fälle unterschiedliche Ergebnisse
und
oder
vollständig
zu
liefern
if
Datenabstraktion
>
Wenn ein Wert eigentlich nur eine Darstellung von anderen Werten ist ,
eine Datenstruktur erstellen die dies ermöglicht
,
>
unterschiedliche Datentypen
Abhängigkeit des Datentypen machen
Wenn Funktionen
in
verarbeiten müssen
,
wir
eine
können
Fallunterscheidung
Listen und Symbole
>
sind atomare Daten
>
>
< uns
,
sich selbst ausgewertet
zu
angekündigt
vorn
als Element mit
Modi eh heiter ,
3
werden
'
durch ein
Listen werden
>
,
List
,
listen
zu
einer Rest liste
bauen
-
betrachtet
:
4)
Rekursive Funktionen
>
rufen sich selbst erneut auf
>
es
muss
einen nicht rekursiven Fall
-
geben
,
mit dem
wir
die Rekursion endet
Top
Down
-
Entwurf
-
Probleme werden zunächst auf der höchsten Ebene
>
bekundet
Man unterscheidet zwischen 2 Fällen
1
Eine
>
nur
Beide
2
Listen
der
bei
>
kann
Hilfsfunktionen werden
existent
Listenverarbeitende Funktionen
>
→
als
angenommen
:
atomar behandelt werden
bei einer rekursion
Listen
müssen
aufgebrochen werden
beiden Rekursion
Formale Aspekte
Auswertung
>
Fragen
das
und Funktion
-
werden
Ergebnis
so
Korrektheitsbeweis
>
genügt nicht
Es
>
Wir müssen
>
Lokale
>
lange ausgewertet
mit
else
,
dort ist
Fallbeispielen
zu
testen , ob
eine Funktion
dann
funktioniert
wir
die
Induktion
aus
der
Mathematik ( Lernzettelt
Definitionen
Da manche Werte nur lokal von Bedeutung sind manche Hilfsfunktionen
,
gebraucht werden und Mehrfachberechnungen vermieden werden sollen , gibt es
lokale Definitionen mittels let
.
>
exp
beweisen !
es
Dafür nutzen
bis eine True oder
Funktionen
von
,
,
Überschreiben lokal
sogar
globale Definitionen !
nur
einmal
Akkumulierende Parameter
>
Rekursive Funktionen sind
>
Dies ist
zum
häufig ineffizient und haben nicht lineare Laufzeiten
-
Beispiel der Fall ,
wenn
eine rekursive Funktion eine rekursive
Hilfsfunktion verwendet
>
iterative
>
Wir
>
Abarbeitung
bietet eine
bauen eine Funktion mit akkumulierenden Parametern
Schritt fü
Eine Art zwischenspeicher , wo wir das Ergebnis
Im besten Fall ist die
>
Lösung
akkumulierende
Schritt aufbauen
Funktion end rekursiv
Funktionen höherer Ordnung
>
beschreibt Funktionen , die unterschiedliche Funktionen
>
Wendet diese
wenn
>
Funktionen haben , ersetzen
Wenn eine Funktion alle Datentypen verarbeiten kann ,
einer generischen / polymorphen Funktion
fdd , fitter ,
map
können
an
wir zwei sehr ähnliche
Stellen durch einen Parameter
>
>
dann
als Parameter erhalten
wir die
sprechen
wir
ähnlichen
von