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

Vorlesungen online

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
360p 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
360p 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
360p 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
360p 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
360p 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
360p 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
360p 350 MB
im Browser abspielen
Mo, 07.05.12 1.4) Monads, IO
1080p 1.23 GB
720p 631 MB
360p 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
360p 356 MB
im Browser abspielen
Mo, 14.05.12 2.1.2) Monotonic and continuous functions
1080p 1.27 GB
720p 651 MB
360p 334 MB
im Browser abspielen
Fr, 18.05.12 2.1.2) Monotonic and continuous functions
1080p 1.27 GB
720p 654 MB
360p 335 MB
im Browser abspielen
Mo, 21.05.12 2.1.3) Fixpoints
1080p 1.26 GB
720p 648 MB
360p 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
360p 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
360p 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
360p 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
360p 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
360p 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
360p 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
360p 351 MB
im Browser abspielen
Fr, 22.06.12 3.4) Pure Lambda Calculus
1080p 901 MB
720p 463 MB
360p 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
360p 342 MB
im Browser abspielen
Fr, 06.07.12 4.2) The type inference algorithm
1080p 1.37 GB
720p 704 MB
360p 360 MB
im Browser abspielen
Admin Bereich:

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