Leírás
A 2007/2008. tanév II. félévében kisérleti jeleggel elindítjuk az
SZTE Bolyai Intézetének Tudományos Számítások Szemináriumát. A téma
iránt érdeklődő kollégák a szeminárium levelező listájára ezen
az oldalon tudnak feliratkozni. (A leiratkozás ugyanitt történik.)
Pár szót a szemináriumról. Először is: Mik is azok a tudományos
számítások? Erre a kérdésre nem tudunk, és egyenlőre nem is akarunk
precíz választ adni. Bízunk abban, hogy a szemináriumon felvetett
kérdések és beszélgetések hatására mindannyiunkban kialakul egy válasz.
Némi fogódzkodót nyújt a Journal
of Symbolic Computation önmeghatározásából származó felsorolás:
- Szimbolikus objektumokkal kapcsolatos problémák algoritmikus
megoldása,
- algoritmikus algebra és logika (computational algebra and
computational logic),
- új (soros és párhuzamos) algoritmusok matematikai megalapozása,
helyességüknek és bonyolultságuknak vizsgálata,
- ezen algoritmusok szoftveres megvalósítása,
- ezen szoftverrendszerek alkalmazása a természet- és műszaki
tudományok által felvetett problémák megoldásában.
Program
A 2007/2008. tanév II. félévében 4-5 előadást tervezünk, a programja:
- 2008. március 14. péntek 10:00
Makay Géza: Párhuzamos számítások - 2008. április 11. péntek 10:00
Maróti Miklós: Számítógépes bizonyítás és számolás az algebrában - 2008. április 18. péntek 10:00
Nagy Gábor: Klikk-keresés permutációcsoportokban - 2009. május 9. péntek 9:00
Vajda Róbert: A számítógépes bizonyítások és számolások didaktikai vetületei
- 2009. május 30. péntek, Farkas-terem
J. J. W. van der Vegt (University of Twente, Hollandia): Efficient solution techniques for space-time discontinuous Galerkin finite element
methods
Az előadások helyszíne (többnyire) a Bolyai Intézet számítógépes kabinete.A későbbi félévekre nézve örömmel fogadunk ötleteket, jelentkezéseket
szemináriumi előadásra.
Minden érdeklődőt sok szeretettel várunk.
A szervezők
(Ábécé sorrendben.)
|
