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
Bemutatkozás
Küldetésnyilatkozat
Szervezet
Tanszékek
Kar vezetése
Dékáni hivatal
Tudásközpontok (Kutató központok)
Kollégiumok
Érdekképviseletek
Savaria Műszaki Intézet
Kari Digitális Könyvtár
Híreink
Könyvtár
Oktatás
Aktuális hírek
Tantervi hálók, Ekvivalenciatáblák, Egyéb táblázatok
Képzéseink
Kutatás, fejlesztés
Az ELTE házhoz megy!
Projekt beszámolók
Nemzetközi kapcsolatok
MSc képzések
Rendezvények, események
ELTE IK Nyílt Napja - 2017.01.26.
Kari Tudományos Diákköri Konferencia - 2016. december 8.
ELTE Informatikai Kar Nyílt Napja (2016. december 1.)
Kutatók Éjszakája az IK-n - 2016.09.30.
Kooperatív Nap - 2016. szeptember 22.
DidMatTech 2016 Konferencia - 2016. augusztus 25-26.
Kari Tudományos Diákköri Konferencia - 2016.05.10.
Neumann-Nap 2016.05.03.
Lányok Napja az IK-n - 2016.04.28.
Tudományos Diákköri Fórum - 2016.03.01.
Kooperatív Nap - 2016. február 11.
Nyílt Nap - 2016. január 28.
Neumann Nap 2017
Naptár
Elérhetőség
Hírek, közlemények
Szolgáltatások
Könyvtár
Jegyzetbolt
Orvosi rendelő
Fénymásolás
Sportolási lehetőségek
Computatorica
Minőségbiztosítás
Társadalmi tanács

Szemináriumok

Formális eszközök az informatikában szeminárium

Az ELTE IK Algoritmusok és Alkalmazásaik Tanszék, valamint az Információs Rendszerek Tanszék és a Komputeralgebra Tanszék közös szemináriumot szervez „Formális eszközök az informatikában” címmel.

Az előadásokra várjuk az ELTE IK oktatóit, doktori hallgatóit, diplomatémát kereső végzős diákjait.

A szeminárium a Déli épület 2.512-es szobájában lesz 14.00 órai kezdettel.

A tavaszi félév programja:

Február 18.

Hunyadvári László: Mintaillesztő automaták és felhasználásuk néhány formális nyelvekre vonatkozó tétel bizonyítására

Március 11.

Friedl Katalin: Kvantumalgoritmusok

Március 18.

Prószéky Gábor: A párhuzamosságra törekvés és a hálózatok a gépi fordítás szolgálatában

Április 1.

Ádám András: Az automata-leképezések tulajdonságairól és a csatlakozó problémákról

Április 15.

Pásztorné Varga Katalin: Többértékű ítéletlogikákról

Április 29.

Battyányi Péter: Normalizálás szimmetrikus logikai kalkulusokban

Május 6.

Andréka Hajnal-Németi István: Relativisztikus hiperkomputerek (általános relativitáselméletre épülő nemhagyományos számítógépek).

 

Dr. Csuhaj Varjú Erzsébet,tudományos tanácsadó, Algoritmusok és Alkalmazásaik T.

Dr. Benczúr András tanszékvezető egyetemi tanár  Információs Rendszerek Tanszék

Dr. Hunyadvári László. mb. tanszékvezető egyetemi docens, Algoritmusok és Alkalmazásaik T.

Dr. Lakatos László tanszékvezető egyetemi docens, Komputeralgebra Tanszék

 

2009.02.09. 
KarunkrólKarunkról

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

ELTE Informatikai Kar
Cím: 1117 Budapest, Pázmány Péter sétány 1/C.
Postacím: 1518 Budapest, Pf. 120
Tel.: (1) 372-2500
Fax: (1) 381-2140
E-mail: info@inf.elte.hu


Nagyobb térképre váltás

Prezentációk - A webhelytartalom dinamikus nézetének megjelenítése weblapon  Prezentációk