... von eurer Lieblinξfaχschaft
und eurem Lieblinξverein

Vorlesungen online

Admin Bereich
Benutzer:
Passwort:
[ Login ]

Funktionale Programmierung zum Feed...

Semester: SS12
Veranstalter: Prof. Giesl
Bemerkungen: Seite im CAMPUS
Fr, 13.04.12 0) Einführung, Organisation
1) Haskell Syntax
1080p 1.34 GB
720p 690 MB
iPod 354 MB
im Browser abspielen
Mo, 16.04.12 1.1.1) Haskell Syntax: Declarations
1.1.2) Haskell Syntax: Expressions
1080p 1.34 GB
720p 689 MB
iPod 353 MB
im Browser abspielen
Mi, 18.04.12 1.1.2) Haskell Syntax: Expressions
Vorlesung statt Übung
1080p 1.33 GB
720p 686 MB
iPod 351 MB
im Browser abspielen
Fr, 20.04.12 1.1.2) Haskell Syntax: Expressions
1.1.3) Haskell Syntax: Patterns
1.1.4) Haskell Syntax: Types
1080p 1.33 GB
720p 682 MB
iPod 349 MB
im Browser abspielen
Fr, 27.04.12 1.1.4) Types, Unification, New Type Declarations (data), Type Classes, Ad-Hoc Polymorphism
1080p 1.45 GB
720p 746 MB
iPod 382 MB
im Browser abspielen
Mo, 30.04.12 1.1.4) Type Classes
1.2) Programming Techniques: Higher Order Functions (map, filter, fold)
1080p 1.39 GB
720p 713 MB
iPod 365 MB
im Browser abspielen
Mi, 02.05.12 1.3) Programming with Lazy Evaluation, Infinite Data Objects, Circular Data Objects, List Comprehensions
1080p 1.33 GB
720p 684 MB
iPod 350 MB
im Browser abspielen
Mo, 07.05.12 1.4) Monads, IO
1080p 1.23 GB
720p 631 MB
iPod 323 MB
im Browser abspielen
Fr, 11.05.12 2.1.1) Partially defined values
2.1.2) Monotonic and continuous functions
1080p 1.35 GB
720p 695 MB
iPod 356 MB
im Browser abspielen
Mo, 14.05.12 2.1.2) Monotonic and continuous functions
1080p 1.27 GB
720p 651 MB
iPod 334 MB
im Browser abspielen
Fr, 18.05.12 2.1.2) Monotonic and continuous functions
1080p 1.27 GB
720p 654 MB
iPod 335 MB
im Browser abspielen
Mo, 21.05.12 2.1.3) Fixpoints
1080p 1.26 GB
720p 648 MB
iPod 332 MB
im Browser abspielen
Fr, 25.05.12 2.2) Denotational Semantics of Haskell
2.2.1) Construction of Domains
1080p 1.33 GB
720p 686 MB
iPod 351 MB
im Browser abspielen
Mo, 04.06.12 2.2.1) Construction of Domains
2.2.2) Semantics of simple Haskell-programs
1080p 1.32 GB
720p 680 MB
iPod 349 MB
im Browser abspielen
Mi, 06.06.12 2.2.2) Semantics of Simple Haskell-programs
2.2.3) Semantics of Complex Haskell-programs
Vorlesung statt Übung
1080p 1.35 GB
720p 693 MB
iPod 355 MB
im Browser abspielen
Mo, 11.06.12 2.2.3) Semantics of Complex Haskell-programs
We had some minor problems with our equipment. That's why the sound is not as good as usual.
1080p 1.38 GB
720p 711 MB
iPod 364 MB
im Browser abspielen
Fr, 15.06.12 3) The Lambda Calculus
3.1) Syntax of Lambda Calculus
3.2) Reduction Rules of the Lambda Calculus
1080p 1.33 GB
720p 681 MB
iPod 349 MB
im Browser abspielen
Mo, 18.06.12 3.2) Reduction Rules of the Lambda Calculus
3.3) Reducing Haskell to the Lambda Calculus
1080p 1.27 GB
720p 653 MB
iPod 335 MB
im Browser abspielen
Mi, 20.06.12 3.3) Reducing Haskell to the Lambda Calculus
Vorlesung statt Übung
We had some minor problems with our equipment. That's why the sound is not as good as usual.
1080p 1.33 GB
720p 685 MB
iPod 351 MB
im Browser abspielen
Fr, 22.06.12 3.4) Pure Lambda Calculus
1080p 901 MB
720p 463 MB
iPod 237 MB
im Browser abspielen
Mo, 02.07.12 4) Type checking and inference
4.1) Type schemata and type assumptions
4.2) The type inference algorithm
1080p 1.30 GB
720p 668 MB
iPod 342 MB
im Browser abspielen
Fr, 06.07.12 4.2) The type inference algorithm
1080p 1.37 GB
720p 704 MB
iPod 360 MB
im Browser abspielen

Fachschaft I/1, Mathematik/Physik/Informatik
RWTH Aachen