Dr. Pásztorné Dr. Varga Katalin
Mély megrendüléssel fogadta tanszékünk a hírt, hogy Dr. Pásztorné Dr. Varga Katalin, aki a DE Matematikai és Informatikai Intézetében, majd 2004-től karunkon, vendégelőadóként matematikai logikát és tételbizonyító kalkulusokat, többértékű logikát valamint a Prolog programozási nyelvet oktatta, életének 94. évében, 2024. december 13-án elhunyt.
Dr. Pásztorné Dr. Varga Katalin 1931-ben született Kisterenyén. Szakmai életének első felét zömmel az MTA SZTAKI-ban töltötte: 1966-tól bekapcsolódott az Uzsoky Miklós vezette Digitális Technika Osztály Elektronikus CAD projektjébe, ahol a tervezéssel és a teszteléssel kapcsolatos elméleti problémák tartoztak a feladatkörébe. 1973-ban védte meg kandidátusi értekezését, melyet Kalmár László irányításával írt.
Munkája során több franciaországi kutatóintézettel munkakapcsolatba került: a Grenoble-i, a Montpellier-i és a Toulouse-i Egyetem kutatórészlegével és a Toulouseban lévő INRIA LAAS (Laboratoire Analyse et Automatisation des Systemes). A Boole függvények speciális kiterjesztései és a Boole derivált tulajdonságainak vizsgálata témában az Örmény Tudományos Akadémia Számítóközpontjával volt szakmai kapcsolata. A gyakorlatban programrendszerként is megvalósított eredmények révén a rigai Elektronikai Kutatóintézettel a CAD szoftver eszközök kutatásában és cseréjében működtek együtt.
Mindeközben a logika egyéb területein is tevékenykedett: főleg az adatbázisok, leíró logikák, többértékű logikák és a logikai programozás érdekelték és járult hozzá ezen területek fejlődéséhez magyar- és idegen nyelvű publikációival.
Oktatóként az ELTE Általános Számítástudományi Tanszékén ill. jogelődjén 1975 óta, nyugdíjasként 1989 óta tanított, 1982 óta docensi beosztásban. 1996 május 29-én megszerezte az ELTE-n a matematikai Dr. habil fokozatot.
1981-1983-ig a szegedi JATE-n vendégelőadóként oktatott matematikai logikát és a mesterséges intelligenciában is használt tételbizonyító módszereket.
1994-ben a debreceni KLTE meghívta "Tételbizonyító kalkulusok" témában előadássorozat megtartására.
2000 óta a Kolozsvári Babes-Bolyai tudományegyetemen évi rendszerességgel tartott előadásokat aktuális logikai témákból. Hasonló előadásokat tartott 2008-2011 között Szabadkán, Újvidéken, Kassán és Komáromban is, valamint a Chambéry-i és a Toulouse-i egyetemen. Az ELTE IK és a DE IK doktori iskoláiban előadóként vett részt.
Dr. Pásztorné Dr. Varga Katalin 1999-2010 között a Debrecenben eltöltött évei során a Dragálin Albert, majd Aleksandar Kron sajnálatos halálával a Számítógéptudományi Tanszék matematikai logika és automatikus tételbizonyítás kutatási- és oktatási vonalában megszakadni látszó folytonosság biztosításához járult hozzá tevékenyen oktatói munkájával valamint tudományos tevékenységével. A tanszék munkatársával, Várterész Magdával, A matematikai logika alkalmazásszemléletű tárgyalása címmel közös könyvet írt, mely azóta több felsőoktatási intézményben a matematikai logika és az automatikus tételbizonyítás oktatásának egyik alapkönyvévé vált. Tanárként segítőkész, elhivatott volt, emberként mindig derűt és jókedvet sugárzott. A fiatalabb, többnyire doktorjelölt, kollégák közül többeket, akik nagyrészt a későbbiekben a tanszék oktatói lettek, legközelebbi tanítványaiként fogadott el, szakmai pályafutásukat figyelemmel kísérte és egyengette. Mindig volt egy biztató szava, gondolata mindenkihez, aki segítségért fordult hozzá. Emlékét szeretettel és mély tisztelettel megőrizzük.