Biológia szeminárium

Helyszín: Bolyai Kollégium (H-1117 Bp. Nádorfejérvári út 13.), 007-es terem
Időpont: szerda, 18.00
Szemináriumvezető: Ódor Péter

11.28. Reményi Attila (ELTE Biokémia Tsz): Lineáris motívumok: tűk a szénakazalban

12.05. Török Júlia (ELTE Állatrendszertani és Ökológiai Tanszék): Amőba-rezisztens és endobionta baktériumok jelentősége szabadon élő amőbákban

Fizika szeminárium

Helyszín: Bolyai Kollégium (H-1117 Bp. Nádorfejérvári út 13.), 104. előadó
Időpont: kedd, 18.30;
Szemináriumvezető: Sasvári László

11. 27. Széchenyi Gábor (PhD hallgató, Bolyai Kollégium és Komplex Rendszerek Fizikája Tanszék): A golyós-rugós rendszerektől a topologikus szigetelőkig

Kivonat:
Az idei évi Ortvay verseny egyik feladatán keresztül ismertetjük a topologikus szigetelőket is leíró legfontosabb jellemzőket. Az előadás második felében a topologikus szigetelők legfontosabb tulajdonságait tekintjük át néhány további példán keresztül.  Az előadás jellege inkább ismeretterjesztő, mely csak a BSc alsóbb éveiben elsajátított ismeretekre támaszkodik.

Kémia szeminárium

Helyszín: ELTE TTK Kémia épület, 168. terem;
Időpont: szerda, 16.15;
Szemináriumvezető: Magyarfalvi Gábor, Fogarasi Géza

11.28. Daru János (PhD hallgató, Bolyai Kollégium): Farewell to the HSAB

Kivonat:
A kémiai reaktivitás leírása egy bonyolult, modellrendszerek egész sorát megkövetelő feladat. Előadásom során kitérek a leírás különböző lehetőségeire (különös tekintettel a Pearson-féle savbázis elméletre), és ezek közelítéseire. Az érdeklődők számára egy, a témakört alaposan körüljáró kritikus összefoglalót ajánlok [1]. Az előadásban feldolgozott koncepciók ismerete fontos adalék a kísérleti emberek számára, és látókör tágító lehet az elméleti érdeklődésűeknek is.

Irodalom:
Mayr, H., Breugst, M. and Ofial, A. R. (2011), Farewell to the HSAB Treatment of Ambident Reactivity. Angew. Chem. Int. Ed., 50:6470-6505. doi: 10.1002/anie.201007100

Matematika-Informatika szeminárium

Helyszín: Bolyai Kollégium (H-1117 Bp. Nádorfejérvári út 13.), 104. előadó
Időpont: hétfő, 18.15;
Szemináriumvezető: Pálvölgyi Dömötör, Porkoláb András

11.26. Csörnyei Zoltán (ELTE): Típusrendszerek

Kivonat:

Előzmények
Típus nélküli rendszerek
Formális típusrendszerek
Church F1 típusrendszere
Curry-kalkulus
Típuskikövetkeztetési módszerek
Magasabb rendű típusrendszerek
Speciális kalkulusok (rekurzív, egzisztenciális, lineáris, függő típusrendszerek)
A-kocka és a PTS-típusrendszer

Irodalom:
- Csörnyei Zoltán: Lambda-kalkulus, a funkcionális programozás alapjai, Typotex, 2007.
- Csörnyei Zoltán: Bevezetés a típusrendszerek elméletébe, ELTE Eötvös Kiadó, 2012.

Kollégiumi Estek

Helyszín: Bolyai Kollégium (H-1117 Bp. Nádorfejérvári út 13.), 104. előadó
Időpont: csütörtök, 18.00

11.29. Dr. Stirling András
12.06. Dr. Nemes László: A Titán hold különös szerves kémiája