ELTE IK fejléc
Navigációs hivatkozások átugrása
Karunkról
Hallgatóknak
Tanulj nálunk!
Középiskoláknak
Oktatóknak
Látogatóknak
 
 
Navigációs hivatkozások átugrása
Informatika Doktori Iskola
Kari doktori támogatások rendszere
Erasmus
Erasmus Mundus - TEAM
CEEPUS
Egyéb ösztöndíjak
Kari tudományos díj
Habilitáció
Vendégelőadások
Vendégelőadások 2014/2015
Vendégelőadások 2013/2014 őszi félév
Vendégelőadások 2011/2012 tavaszi félév
Vendégelőadások 2011/2012 őszi félév
Vendégelőadások 2010/2011 tavaszi félév
Vendégelőadások 2010/2011 őszi félév
Nyári Iskolák
IKP-9162/V1 Advanced functional programming

Előadó: Prof. Marinus Jakobus Plasmeijer (Radboud Universiteit Nijmegen)

Kreditérték: 1

Időpont: 2013. november 18-22.

Idő-és terembeosztás

November 18. (hétfő) 16:00-17:30, terem: Déli Tömb 00.623

November 19. (kedd) 16:00-17:30, terem: Déli Tömb 2.702

November 20. (szerda) 16:00-17:30, terem: Északi Tömb 0.100 A

November 21. (csütörtök) 16:00-17:30, terem: Déli Tömb 0-409

November 22. (péntek) 12:00-13:30, terem: Déli Tömb 1-820

A kurzus rövid leírása:  

In this course advanced programming concepts will be taught. We will address:

1.       generic programming;

2.       combinatorical programming;

3.       advanced concurrency concepts;

4.       advanced data structures.

Objectives

Insight in some state-of-the-art advanced programming concepts, their theoretical background and their practical applicability.

Subjects

1.       generic programming: theoretical background, overloading, type constructor classes, kind indexing;practical applications: common generic functions, web-applications, workflow applications;

2.       combinatorical programming (monadic programming, parser combinators);

3.       advanced concurrency concepts (Software Transactional Memory);

4.       advanced data structures (Generalized Algebraic Datatypes).  

Examination

Written, closed book. 

Pre-requisites

Basic knowledge about functional programming in general (Clean or Haskell).

Literature

Scientific papers on the topics above which will be handed out during the course. 

Extra information

For practical experience we use the state-of-the-art functional language Clean.

 

 

Dinamikus programozás és alkalmazásai

Helyszín: később

Előadó: Dr. Kátai Zoltán (Sapientia Erdélyi Magyar Tudományegyetem, Marosvásárhely)

2013. Szeptember 24. 16:00 -20:00:

Programozási technikák felülnézetből (2óra) (felvezető előadás)

Dinamikus programozás és a legrövidebb út probléma (2óra)

2013. szeptember 25. 16:00 -20:00:

Dinamikus programozás és d-gráfok (2x2óra)

2013. szeptember 26. 16:00 -20:00:

Automatizált dinamikus programozás (2x2óra)

2013. szeptember 27. 14:00 -18:00:

Dinamikus programozás és Markov láncok (2x2óra)

 
ELTE IK logoTNKCS

Elérhetőség - Formázott szöveghez, táblázatokhoz és képekhez.  Elérhetőség

ELTE IK,
Tudományos és Nemzetközi Kapcsolatok Csoportja

Cím: 1117 Budapest, Pázmány Péter sétány 1/C, 2.317-es szoba 
Postacím: 1518 Budapest, Pf. 120
Tel.: 372-2500/8199
Fax: 381-2236, 372-2500/8136
E-mail: ik_tnkcs@inf.elte.hu


Nagyobb térképre váltás