Pannonhalmi Bencés Gimnázium
Keresés
EN
2017. nov. 20.

-

Kaposi Ambrus péntek esti előadása

2017. november 24-én 20.00 órakor a Gimnázium Dísztermében Kaposi Ambrus orvos, informatikus tart előadást Bizonyítás és programozás címmel. Az előadásban egy olyan nyelvről lesz szó, melyben minden mondat egyszerre tekinthető matematikai bizonyításnak és számítógépes programnak.

Kaposi Ambrus (Ph ’04) az ELTE Informatika Karán a Programozási Nyelvek és Fordítóprogramok Tanszék adjunktusa. Orvosi statisztikából 2013-ban szerzett PhD fokozatot a Semmelweis Egyetemen, típuselméletből 2016-ban szerzett PhD fokozatot a University of Nottingham-en.

Minden érdeklődőt szeretettel hívunk és várunk!

Hasonló bejegyzések

Kapcsolódó híreink

Pannonhalmi Bencés Gimnázium
Keresés

EN