számítógép

LaTeX még egyszer

Az elmúlt években, évtizedben rendszeresen fordultak hozzám ismerőseim LaTeX-et illető kérdésekkel. Szerettem volna segíteni nekik, és — bár bevallom, sokszor nem is tudtam a válaszokat — minden kérdésnek igyekeztem a végére járni. Közben sokat tanultam magam is, és az, hogy továbbra is szeretnék segíteni mindazoknak, akik kíváncsiak a LaTeX-re, nem változott. — Fried Katalin LaTeX-tanfolyamának első része következik.

BME Alfa: interaktív gyakorlás és versenyzés

  • Molnár Zoltán, Nagy Ilona, Lángné Lázi Márta
Eredetileg a BME frissen felvett hallgatóinak készült az Alfa interaktív gyakorlófelülete, hogy a nulladik zárthelyire felkészülhessenek, és ne kudarcélménnyel kezdődjön az egyetem. 2015 óta Lángné Lázi Márta szervezésében, Nagy Ilona és Molnár Zoltán feladatsoraival nemcsak gyakorolhatnak, de versenyezhetnek is a középiskolások a Műegyetemi alfa matematika pontgyűjtő versenyen. Véleményük szerint ez segítheti a középiskolai pedagógusok munkáját is.

Donald Ervin Knuth

,,Korán nyugdíjba vonultam'' — olvashattuk mintegy 20 éve, 1998-ban Knuth (ejtsd: /kə'nu:ϑ/) úr hómpédzsének elején. ,,Rájöttem, hogy kb. 20 évnyi éjjel-nappali munkám szükséges még ahhoz, hogy befejezzem A számítógép-programozás művészete c. könyvet, életem főművét.'' Ez a ön-nyugdíjaztatás, mint később kiderült, elsősorban a remeteséget jelentette számára a társasági élet színterétől távol. Don (Knuth úr maga is így nevezi magát) mégsem fordított hátat a nagyvilágnak: hosszú évekig tartó szünet után végül mégis aktiválta email-címét... A TEX  szövegszerkesztő programnyelvet használók körében alapműnek számító könyv további kötetei azonban még váratnak magukra. Szerzőnk Kovács Zoltán, jelenleg a Linzi Tanárképző Főiskolán tanít matematikát, a GeoGebra program egyik fejlesztője.

Megbízható számítások

A cím kissé rejtélyes: a számítógépes algoritmusok a köztudat szerint pontosak és megbízhatók. Az alku során az ügynökök végső érve gyakran az, hogy a kalkulátor is a mondott számot mutatja. Ezzel szemben sajnos fontos feladatok megoldása során is azzal szembesülünk, hogy a kapott eredmény csak közelítő érték, és gyakran kritikus esetben a kapott szám nagyságrendje, vagy az előjele sem helyes. Ennek ellenére van olyan számítógépes módszertan, amely biztosítani tudja a numerikus számítások tetszőleges pontosságát és megbízhatóságát. Csendes Tibor megismertet az intervallum-aritmetikával.

Számítógép a matematikaversenyeken

Valamennyi (magyar vagy nemzetközi) zárthelyi versenyen tilos nemcsak számítógépek, hanem kis kézi számológépek (továbbá mobiltelefonok) használata is. Ezenkívül könyveket és jegyzeteket (saját kézzel írottakat is) tilos használni. A Kürschák-versenyen még néhány éve könyv és jegyzet engedélyezett volt, most már ott is tilos. Marad a körző és vonalzó... Vagy mégsem? Mi a helyzet az egyetemisták számára rendezett Putnam-verseny egyik példájával? Vagy a Schweitzer Miklós Emlékverseny feladataival? Mennyire ismeri egy „rendes” matematikus a matematikai programcsomagokat? Tóth János véleménye az, hogy igenis, kellene olyan versenyeket is rendezni, ahol lényegesen kihasználható valamely programcsomag a matematikai feladat megoldásához.

„A számológép és az agy” megjelenésétől az infoszféra forradalmáig

2023-ban lesz Neumann János születésének 120. évfordulója. Benczúr András tanulmányában röviden bemutatja Neumann életútját, részletesen ismerteti utolsó, 1958-ban megjelent írását, amelynek címe: „A számológép és az agy”. Ehhez kapcsolódik saját kutatása arról, hogy milyen új megvilágítást ad a számítógépek és az élő emberi elmék összevetése az infoszférában betöltött szerepük alapján.

Helló, Ruby! Nagy utazás a számítógép belsejébe

Ruby unatkozik. A papája megígérte neki, együtt fognak számítógépezni, amikor hazaér. De még nem ért vissza, ezért Ruby úgy dönt, hogy addig egyedül játszik a számítógépen. Beírta a jelszót, de észrevette, hogy nincs kurzor! Hirtelen a számítógép fehér Egere szipogott egyet. „Mi a baj?” - kérdezi Ruby. „Kurzor ma nem válaszol az üzeneteimre!” - válaszolja szomorúan Egér. Ruby ezért úgy dönt, hogy segít megkeresni Kurzort. Összehúzza magát és bemászik Egér után a számítógépbe... A könyvről egy másik kiváncsi kislány írt, Lóczi-Nagy Gemma.

Ada algoritmusa

Avagy hogyan indította el Lord Byron lánya a digitális kort a számok költészete által. James Essinger könyve új perspektívából mutatja be Lady Ada Lovelace életét, valóban jogosan tekintjük-e őt a világ első programozójának? Milyen akadályok álltak annak az útjában, hogy a digitális korszak majdnem egy évszázaddal korábban meg­kez­dőd­jön? Binzberger Viktor ajánlója nagy kedvet csinál a könyv elolvasásához.

Az igazi Alan Turing

Dermot Turing helyenként nagyon személyes, különösen igényes életrajzot írt nagybátyjáról, a híres matematikusról. Kutas Péter pedig részletesen mesél a könyvről, Turing életéről a második világháború előtt, alatt és után, a kódfejtésének lényegéről, a korai számítógépek vagy a biológia iránti kutatói érdeklődéséről, korát megelőző vízióiról és tragikus haláláról. Igazán érdekes könyv.

Mi az a típuselmélet, és mire jó?

  • Kaposi Ambrus, Molnár Zoltán Gábor
Az European Research Council (ERC) pályázatai évek óta vonzó, hosszú távú támogatást nyújtanak a legkiválóbb kutatók és kutatócsoportjaik részére. 2024-ben az ERC egyetlen magyar nyertes Consolidator Grant pályázata Kaposi Ambrusé, az ELTE kutatójáé volt. Témája a típuselmélet, amelyet első olvasásra nem könnyű megérteni. Szerzőtársával, Molnár Zoltán Gáborral együtt vezetik be az olvasót a matematika új típusú formális megalapozásába.

Bizonyítás az emberin túl, a mesterséges intelligencián innen

A gépi tételbizonyítás sikere vitát indított el a matematikai közösségben. A fő kérdés: vajon teljes mértékben megbízhatunk-e egy olyan bizonyí­tás­ban, amelyet nem tudunk teljes egészében az emberi percepcióra és a tiszta észre hagyatkozva ellenőrizni? Molnár Zoltán Gábor cikke érdekes filozófiai problémákat is felvet, miközben bevezetést kapunk a Lean program­nyelvbe és a bizo­nyí­tás­asszisz­tens szoftverek elvébe, érintve a mesterséges intelligencia jövőbeni fejlődését. Tovább...
Keresés