Makay Géza: Problémák, algoritmusok, sejtések, bizonyítások |
|
|
|
|
Csütörtök, 26. Szeptember 2002, 15:00 - 16:30
|
|
| A matematikusok egy része még manapság is idegenkedik a számítógép használatától a matematikai problémák megoldásában. A számítógépeket számolások gyors elvégzésére, szövegszerkesztésre, levelezésre és Internet elérésre alkalmas eszköznek tekintik. Ez mind igaz, de jól megírt algoritmusokkal a számítógép sokkal többre képes, "intelligensebben" viselkedik, bonyolultabb problémákat is meg tud oldani. Az előadáson több példán illusztrálom, hogy a számítógépek használata milyen nagy segítséget tud nyújtani matematikai problémák megoldásában. A számítógép, éppen a számolások gyors elvégzésével, kiválóan alkalmas példák és ellenpéldák keresésére, ami alapján a matematikus sejtéseket tud megfogalmazni. A sejtések (és a sejtések alapján kapott bizonyítások) segítségével még pontosabb és intelligensebb algoritmusok írhatók, amelyek újabb sejtésekre vezetnek. Ez az együttműködés a gyors számolásokat végző számítógép és az alkotó ember között a problémák mélyebb megértését és bonyolultabb problémák megoldását is lehetővé teszi. |
|
Hely : Fejér terem |
Vissza
JEvents v3.1.8 Stable
Copyright © 2006-2013
Esemény exportálása