Tutorium - Haskell in der Schule · Ralf Dorn - Dennis Buchmann - Felix Last - Carl Ambroselli...

Tutorium - Haskell in der SchuleRalf Dorn - Dennis Buchmann - Felix Last - Carl Ambroselli

Ralf Dorn - Dennis Buchmann - Felix Last - Carl Ambroselli

HaL7, 13.7.2012HaL7, 13.7.2012

Otto-Nagel-Gymnasium in Berlin-Biesdorf

Hochbegabtenförderung und MacBook-Schule

Leistungskurse seit 2005

Wer sind wir?

HaL7, 13.7.2012HaL7, 13.7.2012

Was ist funktionale Programmierung?

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

Was ist funktionale Programmierung?Programmiersprachen

prozedurale Sprachen

imperative Sprachen

Pascal, Modula, Ada

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

deklarative Sprachen

Programmiersprachen

imperative Sprachen

Pascal, Modula, Ada

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

Programmiersprachen

imperative Sprachen

Pascal, Modula, Ada

prädikative Sprachen

Prolog, CLP

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

Programmiersprachen

imperative Sprachen

Pascal, Modula, Ada

funktionale Sprachen

ML, Haskell, Miranda

prädikative Sprachen

Prolog, CLP

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

Objektorientierte Programmierung?

Quelle: Heinrich Müller, Frank Weichert: Vorkurs Informatik.Der Einstieg ins Informatikstudium. Vieweg+Teubner, Wiesbaden 2011

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

http://www.haskell.org

Haskell is a computer programming language. In particular, it is a polymorphically statically typed, lazy, purely functional language, quite different from most other programming languages. The language is named for Haskell Brooks Curry, whose work in mathematical logic serves as a foundation for functional languages. Haskell is based on the lambda calculus, hence the lambda we use as a logo.

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

In guter Tradition: Hallo Welt!

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

public class HalloWelt {2: // Ausgabe von "Hallo Welt!" 3: 4: public static void main(String[] args) {5: System.out.println("Hallo Welt!");6: }7: } // Ende Klasse HalloWelt

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

Haskell:

Einführung

HaL7, 13.7.2012HaL7, 13.7.2012

1: ausgabe = „Hallo Welt!“

1: ausgabe = putStr „Hallo Welt!“

Haskell:

Einführung

Char – Zeichen (ASCII)

Num – Zahlen Ganzzahlig: Int (begrenzt), Integer (unbegrenzt)Fließkommazahlen: Float, Double

String = [Char] – Zeichenkette

Boolean – True/False (Wahrheitswert)(&&) = „und“, (||) = „oder“, (==) = „gleich“, (/=) = „ungleich“

Einfache Datentypen HaL7, 13.7.2012

Beispiel: Quadrieren quad :: Num a => a -> a

Beispiel: Summe verdoppeln sum2 :: Num a => a -> a -> a

Einfache Funktionen HaL7, 13.7.2012

quad x = x*x

sum2 x y = (x+y)*2

Übung: Summe mal Produkt sumPro :: Integer -> Integer -> Integer

Übung: Mittelwert von 3 Zahlen! mitt :: Float -> Float -> Float -> Float

sumPro x y = (x+y)*(x*y)

! mitt x y z = (x+y+z)/3

Global:! a = 20! b = 3::float! c = True! d = ‘a‘

Lokal:pyt a b = sqrt(quadA + quadB)

where! quadA = a*a! quadB = b*b

Definieren von Variablen HaL7, 13.7.2012

Übung: Summe zweier Zahlen hoch 3 sumPot :: Num a => a -> a -> a

! sumPot x y = sum*sum*sum! ! where sum = x+y

HaL7, 13.7.2012Guards

Werden statt if-then-else-Blöcken genutzt

Beispiel: Betrag! betrag :: Integer-> Integer! betrag x! ! |x >= 0 = x! ! |otherwise = -x

Lösung mit if-then-else:! betrag2:: Integer -> Integer! betrag2 x = if x>=0 then x else -x

Übung: Prüfen auf Gleichheit gleich :: Ord a => a -> a -> Bool

Übung: Maximum von 3 Zahlen! max3 :: Ord a => a -> a -> a -> a

Guards HaL7, 13.7.2012

gleich a b

! ! |a==b = True! ! |otherwise = False

gleich a b

! ! |a==b = True! ! |otherwise = False

max3 x y z! ! |x>=y && x>=z = x! ! |y>=x && y>=z = y! ! |z>=x && z>=y = z

Beispiel: Potenzrechnung! pot :: Integer -> Integer -> Integer! pot x 0 = 1! pot x y = x*(pot x (y-1))

Rekursion HaL7, 13.7.2012

Übung: Fakultät! fak :: Integer -> Integer

Übung: Summe aller Zahlen von x bis y sumxy :: Integer -> Integer -> Integer

fak 0 = 1

! fak x = x*(fak (x-1))

fak 0 = 1

! fak x = x*(fak (x-1))

!sumxy x y!! |x<y = y + (sumxy x (y-1))!! |x>y = x + (sumxy (x-1) y)!! |x==y = x

Auswerten von „fak 4“: fak 4 = 4*(fak (4-1)) = 4*(fak 3)

= 4* 3*(fak (3-1)) = 4*3*(fak 2) = 4*3* 2*(fak (2-1)) = 4*3*2*(fak 1) = 4*3*2* 1*(fak (1-1)) = 4*3*2*1*(fak 0) = 4*3*2*1* 1 = 24

HaL7, 13.7.2012Rekursion

Listen

Zusammenfassung beliebig vieler Objekte des gleichen Typs

Bsp. Liste von Zahlen, Liste von Buchstaben, Liste von Funktionen, Liste von Listen

Listen

Kernfunktionalität von Haskell

Listendarstellung: eckige Klammern

Leere Liste (=Konstruktor): []

Liste von Zahlen: [1,5,4] :: [Int]

Liste von Listen:[['a','b','c'],['x']] :: [[Char]]

Listen

Listenkonstruktor: Doppelpunkt

(fügt Element vorne an die Liste an)1:[2,3] -> [1,2,3]

length:: [a] -> Intlength [] = 0length (kopf:rest) = 1 + (length rest)

Listen

Aufgaben

1. Funktion summe: berechnet Summe aller Elemente einer numerischen Liste

summe:: Num a => [a] -> a

2. Funktion kombiniere: fügt zwei Listen zusammen

--kombiniere [1,2] [3] -> [1,2,3]kombiniere:: [a] -> [a] -> [a]

Listen

Aufgaben

summe:: Num a => [a] -> a

Listen

Aufgaben

summe:: Num a => [a] -> asumme [] = 0summe (x:xs) = x + summe xs

Listen

Aufgaben

--kombiniere [1,2] [3] -> [1,2,3]

kombiniere:: [a] -> [a] -> [a]

Listen

Aufgaben

--kombiniere [1,2] [3] -> [1,2,3]

kombiniere [] y = y

kombiniere (x:xs) y = x:(kombiniere xs y)

Listen

Aufgaben

--kombiniere [1,2] [3] -> [1,2,3]

Listen

Aufgaben

--kombiniere [1,2] [3] -> [1,2,3]

kombiniere x y = x ++ y

Listen

head :: [a] -> a

tail :: [a] -> [a]

Listen

length :: [a] -> Int

Listen

reverse :: [a] -> [a]

Zusammenfassung einer festen Anzahl von Elementen (mit unterschiedlichem Typ)

Bsp. (Matrikel-Nr., Name,Prüfung bestanden?)

(Zahl1, Zahl2)

Darstellung: runde Klammern

(916727,„Müller“,true)::

(Int,[Char],Boolean)

fst :: (a,b) -> a

snd :: (a,b) -> b

Aufgaben

1.Halbaddierer als Funktion umsetzen--halbaddierer:: (x,y) -> (s,c)

halbaddierer:: (Bool,Bool) -> (Bool,Bool)

x y s c0 0 0 00 1 1 01 0 1 01 1 0 1

Aufgaben

1.Halbaddierer als Funktion umsetzen--halbaddierer:: (x,y) -> (s,c)

halbaddierer:: (Bool,Bool) -> (Bool,Bool)

halbaddierer (x,y) =

( ( (x||y) && (x!=y) ) , (x&&y) )

Höhere Funktionen

Überall dasselbe tun:

map :: (a -> b) -> [a] -> [b]

Beispiel:

map square [1,2,7,12,3,20]

=> [1,4,49,144,9,400]

HaL7, 13.7.2012

Suchproblematik

HaL7, 13.7.2012HaL7, 13.7.2012

HaL7, 13.7.2012Lineare Suche

linSearch :: Ord a => a -> [a] -> BoollinSearch a [] = FalselinSearch a (x:xs) | a == x = True | otherwise = linSearch a xs

HaL7, 13.7.2012

HaL7, 13.7.2012Binäre Suche

binSearch :: Ord a => a -> [a] -> Bool binSearch b [] = FalsebinSearch b x | (b==mid) = True

| (b<mid) = binSearch b left | (b>mid) = binSearch b right where half = (length x) `div` 2 left = take half x right = drop half x mid = head right

HaL7, 13.7.2012

HaL7, 13.7.2012Mergesort

Komplexität: O(n* log(n))

HaL7, 13.7.2012

merge :: Ord a => [a] -> [a] -> [a]

mergesort :: Ord a => [a] -> [a]

HaL7, 13.7.2012

Komplexität: O(n* log(n))

HaL7, 13.7.2012

HaL7, 13.7.2012Mergesortmerge :: Ord a => [a] -> [a] -> [a]merge [] a = amerge a [] = amerge (x:xs) (y:ys) | x <= y = x : merge xs (y:ys

| otherwise = y : merge (x:xs) ys

mergesort :: Ord a => [a] -> [a]mergesort [] = []mergesort [x] = [x]mergesort x = merge (mergesort (take half x)) (mergesort (drop half x))

where half = (length x) `div` 2

HaL7, 13.7.2012

Falten!

HaL7, 13.7.2012HaL7, 13.7.2012

HaL7, 13.7.2012Fold

summe :: Num a => a -> [a] -> asumme acc [] = accsumme acc (x:xe) = summe (acc + x) xe

HaL7, 13.7.2012

HaL7, 13.7.2012Fold

summe :: Num a => a -> [a] -> asumme acc [] = accsumme acc (x:xe) = summe (acc + x) xe

> summe 0 [1,2,3,4]= summe (0+1) [2,3,4]= summe ((0+1)+2) [3,4]= summe (((0+1)+2)+3) [4]= summe ((((0+1)+2)+3)+4) []= ((((0+1)+2)+3)+4) = 10

HaL7, 13.7.2012

HaL7, 13.7.2012Fold

foldl :: (a -> a -> a) -> a -> [a] -> afoldl f acc [] = accfoldl f acc (x:xe) = foldl (f acc x) xe

HaL7, 13.7.2012

HaL7, 13.7.2012Fold

summe acc liste = foldl (+) acc liste

HaL7, 13.7.2012

HaL7, 13.7.2012Fold

Füge alle Teilstrings zu einem String zusammen?

HaL7, 13.7.2012

HaL7, 13.7.2012Fold

Füge alle Teilstrings zu einem String zusammen?

connect vorsatz liste = foldl (++) vorsatz liste

HaL7, 13.7.2012

HaL7, 13.7.2012HaL7, 13.7.2012

1. Ein Binärbaum ist eine rekursive Struktur. 2. Ein Binärbaum kann verschiedene, aber dann gleiche Daten verwalten. 3. Die Daten im Baum sind geordnet, d.h. linker Knoten < Wurzel < rechter Knoten (Invariante)

Binäre Suchbäume

HaL7, 13.7.2012HaL7, 13.7.2012

Binäre Suchbäume

HaL7, 13.7.2012HaL7, 13.7.2012

data Binbaum a = L | K (Binbaum a) a (Binbaum a) deriving Show

Binäre Suchbäume

HaL7, 13.7.2012

baum1 = K (K L 2 L) 5 L

baum2 = K (K L 2 L) 5 (K (K L 6 L) 8 (K (K L 12 L) 14 (K L 34 L)))

-- baum3 verletzt die Invariantebaum3 = K (K L 2 L) 5 (K (K L 6 L) 8 (K (K L 12 L) 14 (K L 4 L)))

Beispielbäume

HaL7, 13.7.2012HaL7, 13.7.2012

istleer::Binbaum a -> Boolistleer L = Trueistleer _ = False

lwelem:: Binbaum a -> a--linkeswurzelelementlwelem L = lwelem (K L w _) = lwelem (K (K _ lw _) w r) = lw

lub::Binbaum a -> Binbaum a -- linkerunterbaumlub L = lub (K l w _) = l

Beispielbäume

HaL7, 13.7.2012

Aufgabe: Gesucht ist eine Funktion knotenzahl:: Binbaum a -> Int, welche die Anzahl der Knoten in einem binären Suchbaum bestimmt.

Aufgaben

HaL7, 13.7.2012

Lösung:

knotenzahl :: Binbaum a -> Intknotenzahl L = 0knotenzahl (K l w r) = 1 + knotenzahl l + knotenzahl r

Aufgabe: Gesucht ist eine Funktion knotenzahl:: Binbaum a -> Int, welche die Anzahl der Knoten in einem binären Suchbaum bestimmt.

Aufgaben

HaL7, 13.7.2012

Aufgabe: Gesucht ist eine Funktion knotensumme:: Binbaum Int -> Int, welche die Summe der Knotenwerte in einem binären Suchbaum bestimmt.

Aufgaben

HaL7, 13.7.2012

Lösung:

knotensumme :: Binbaum Int -> Intknotensumme L = 0Knotensumme (K l w r) = w + (Knotensumme l) + (knotensumme r)

Aufgabe: Gesucht ist eine Funktion knotensumme:: Binbaum Int -> Int, welche die Summe der Knotenwerte in einem binären Suchbaum bestimmt.

Aufgaben

HaL7, 13.7.2012HaL7, 13.7.2012

Aufgabe: Gesucht ist eine Funktion istgueltig:: ???, welche die Gültigkeit der Invariante für binäre Suchbäume überprüft.

Aufgaben

HaL7, 13.7.2012

Lösung:

istgueltig:: Binbaum a -> Boolistgueltig L = Trueistgueltig (K L w L) = Trueistgueltig (K L w (K l rw r)) = (w<rw) && istgueltig (K l rw r)istgueltig (K (K l lw r) w R) = (lw<w) && istgueltig (K l lw r)istgueltig (K (K ll lw lr) w (K rl rw rr)) = istgueltig (K ll lw lr) && (lw<w) && (w<rw) && istgueltig (K rl rw rr)

Aufgaben

HaL7, 13.7.2012

Aufgabe: Gesucht ist eine Funktion doppel:: Binbaum Int -> Binbaum Int, welche die alle Knotenwerte verdoppelt.

Aufgaben

HaL7, 13.7.2012

Lösung:

doppel:: Binbaum a -> Binbaum adoppel L = Ldoppel (K l w r) = K (doppel l) (2*w) (doppel r)

--oder mit map ????

Aufgaben

HaL7, 13.7.2012

Aufgaben

HaL7, 13.7.2012

Lösung mit map-Funktion: doppel b = mapB (2*) b

mapB:: (a -> a) -> Binbaum a -> Binbaum amapB f L = LmapB f (K l w r) = K (mapB f l) (f w) (mapB f r)

Aufgaben

HaL7, 13.7.2012

Hausaufgabe: Gesucht ist eine Funktion anzahl:: Blattbaum a -> Int, welche die Anzahl der Blätter in einem binären Blattbaum bestimmt.

Hausaufgabe ;)

HaL7, 13.7.2012

Hausaufgabe: Gesucht ist eine Funktion anzahl:: Blattbaum a -> Int, welche die Anzahl der Blätter in einem binären Blattbaum bestimmt.

Hausaufgabe ;)

Tutorium - Haskell in der Schule · Ralf Dorn - Dennis Buchmann - Felix Last - Carl Ambroselli...

Documents

Transcript of Tutorium - Haskell in der Schule · Ralf Dorn - Dennis Buchmann - Felix Last - Carl Ambroselli...

Hans-Joachim Gardyan OStD.i.R. Königswinter CJD Königswinter 24. März 2015 UNDERACHIEVEMENT UND WEITERE 4 ERSCHWERNISSE IN DER SCHULISCHEN HOCHBEGABTENFÖRDERUNG.

Schule und digitale Bildung - netzwerk-schulentwicklung.de · | Schule und digitale Bildung Projekt „Schule und digitale Bildung“ Vorstellung des regionalen Projekts „Schule

Leitsätze und Schulprogramm der Schule Alpnach...Unsere Schule pflegt die Vielfalt Unsere Schule fördert und fordert die Verbindlichkeit Unsere Schule begegnet Herausforderungen

7.3 Fridtjof-Nansen-Schule - hamburg.de · 7.3 Fridtjof-Nansen-Schule Die Fridtjof-Nansen-Schule ist eine Grundschule. a. Die Zeugnisse der Fridtjof-Nansen-Schule Die Fridtjof-Nansen-Schule

Nicolaus-August-Otto-Schule - Berufsbildende Schule Diez -

JB Stand 06-12-2007 - Berliner Feuerwehr · 0+- &˝ ˙˝ $ * ˜ ’ J Nord West Süd FW Marzahn (6100) FF Marzahn A / JF FF Biesdorf A / JF FF Falkenberg A / JF FW Hellersdorf (6200)

Fortschreibung der Kita-Entwicklungsplanung · Hellersdorf-Ost 1.830 1.075 8 63,0% Hellersdorf-Süd 1.768 1.172 9 67,3% Biesdorf 1.506 1.149 16 66,7% Kaulsdorf 1.120 699 9 70,9% Mahlsdorf

Jahresbericht 2014 Schule ohne Rassismus- Schule … ohne...Da unsere Schule im vergangenen Schuljahr den Titel "Schule ohne Rassismus - Schule mit Courage" erlangt hat, waren wir

Projektvorstellung Schule ohne Rassismus Schule mit Courage

Freie Plätze an weiterführenden Schulen in Leipzig 2017/2018 · 82 christian-Gottlob-Frege-Schule 86 Georg-Schumann-Schule 90 20. Schule 94 Lene-Voigt-Schule 98 Schule Ihmelsstraße

Ferdinand-von-Steinbeis-Schule Gewerbliche Schule I Reutlingen Ferdinand-von-Steinbeis-Schule Technische Berufliche Schule.

talente Hochbegabtenförderung Oberösterreich - Home

Ergebnis W geschlossene Bauweise 2018 - berlin.de · Hellersdorfer Str. / Risaer Str. M W 1,0 400W 1,0 1342 19 Marzahn-Hellersdorf Biesdorf Buckower Ring M W 1,0 400280 W 1,0 2351

Alte Schule - historische-baustoffe-ostalb.de · Events - Feiern - Business Alte Schule Söhnstetten. die genussvollste Schule der Alb. Widmann´s Alte Schule • einizigartig in

Kapitel 05 300 Schule gemeinsam Zweckbestimmung Schule ...

Aukamp-Schule Osterrönfeld. Schwerpunkte der Aukamp-Schule.

Stefan Ziller – GRÜN für Marzahn, Biesdorf, Kaulsdorf, Mahlsdorf … · 2020. 1. 2. · DB Strecke 6153 und S-Bahn 1688,976 LW = LH 025 0,25 352 m m 15,70 m 2,00 -2000. oo m -1+821.61

Eigenverantwortliche Schule - bessere Schule durch Mitwirkung der Schülerinnen und Schüler in der Schule –

Unbenannt-18 - Die Problemlöser im Vorschulalter 2.pdfpositionen Hochbegabung im Vorschulalter 3 1. EINFÜHRUNG Hochbegabtenförderung ist ein Begriff, der mit vielen Vorurtei-len

der KBS Kaufmännische Berufliche Schule Öffentliche Schule · Medienentwicklungsplan der KBS Kaufmännische Berufliche Schule Öffentliche Schule Dokumentenvorlage MEP BW Version