Pásztor Endréné Varga Katalin (Kisterenye, 1931. augusztus 18. – 2024. december 13.Informatika-történeti Fórum) magyar matematikus, egyetemi tanár, a matematikai tudományok kandidátusa (1973).
Fő kutatási területe a matematikai logika és alkalmazásai, a tételbizonyító módszerek, a logikai programozás logikai háttere.
Életpályája Az elemi iskolát szülővárosában, a polgári iskolát Pásztón, a tanítóképzőt Jászberényben végezte; itt is érettségizett. 1953-ban diplomázott az Eötvös Loránd Tudományegyetem matematika–fizika szakán.
1961-ben az Idegennyelvi Főiskola hallgatójaként francia fordítói és tolmács diplomát szerzett. 1966-ig a Belügyminisztériumban dolgozott. 1966-ban a SZTAKI-ban bekapcsolódott az Uzsoky Miklós által vezetett Digitális Technika Osztály munkájába. 1967–1988 között a Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Kutatóintézetben (SZTAKI) tevékenykedett.
1971-től a Bolyai János Matematikai Társulat tagja volt. 1972-ben részt vett az Eötvös Loránd Tudományegyetemen a Programozó matematikus szak tananyagának kidolgozásában is. 1972–1975 között az Eötvös Loránd Tudományegyetem óraadója, 1975–1982 között adjunktusa volt. 1973-ban kandidátusi fokozatot szerzett. 1973–2002 között a Magyar Tudományos Akadémia Számítástudományi Bizottságának tagja volt. 1975–2003 között az Eötvös Loránd Tudományegyetem Általános Számítástudományi Tanszék oktatója volt.
1982-ben egyetemi doktori fokozatot szerzett. 1982–2013 között az Eötvös Loránd Tudományegyetem docense volt. 1984-től a Neumann János Számítógéptudományi Társaság tagja. 1985–1999 között a Magyar Tudományos Akadémia Tudományos Minősítő Bizottság (MTA TMB) Matematikai és Számítástudományi Bizottságának titkára volt.
1996-ban habilitált az Eötvös Loránd Tudományegyetemen. 1998–2010 között a Debreceni Egyetem Informatika kar meghívott oktatója volt.
2000–2011 között a CEEPUS és ERASMUS együttműködése keretében vendégprofesszor volt a kolozsvári, chambéryi, toulouse-i és szabadkai, komáromi, újvidéki egyetemeken. 2003–2012 között az Eötvös Loránd Tudományegyetem IK Programozási Nyelvek és Fordítóprogramok Tanszék oktatója és habilitált egyetemi docense volt. 2012-ben nyugdíjba vonult.
Főbb művei
Módszerek Boole-függvények minimális vagy nem redundáns {1,v, } vagy {NOR} vagy {NAND} bázizbeli, zárójeles vagy zárójel nélküli formuláinak előállítása. Tézisek; MTA SZTAKI, Bp., 1973 (Tanulmányok. MTA Számítástechnikai és Automatizálási Kutató Intézet) Matavovszky Tibor–Pásztorné Varga Katalin: Programrendszer Boole-függvényrendszer együttes egyszerűsítésére vagy minimalizálására; MTA SZTAKI, Bp., 1975 (Tanulmányok. MTA Számítástechnikai és Automatizálási Kutató Intézet) Hack Frigyes–Pásztorné Varga Katalin: Bevezetés a számítástudományba; Tankönyvkiadó, Bp., 1979 Matavovszky Tibor–Pásztorné Varga Katalin: Boole-függvény kezelő rendszer; SZTAKI, Bp., 1979 (Tanulmányok. MTA Számítástechnikai és Automatizálási Kutató Intézet) Rekurzív eljárás. Boole-függvényrendszerek nemredundáns diszjunktiv normálformáit előállító, idő- és memóriaigény szempontjából optimális algoritmus; SZTAKI, Bp., 1980 (Tanulmányok. MTA Számítástechnikai és Automatizálási Kutató Intézet) A matematikai logika és alkalmazásai; Tankönyvkiadó, Bp., 1982 Logikai alapozás alkalmazásokhoz. Matematikai logika – számítástudomány. Egyetemi jegyzet; ELTE TTK, Bp., 1992 Logikai alapozás alkalmazásokhoz. Matematikai logika – számítástudomány. Egyetemi jegyzet; 2. jav. kiad.; ELTE TTK, Bp., 1997 Pásztorné Varga Katalin–Várterész Magda: A matematikai logika alkalmazásszemléletű tárgyalása; Panem, Bp., 2003
Díjai Munka Érdemrend ezüst fokozata (1974) Kalmár László-díj (1985)Kalmár-díj Pro Universitatae díj (1996) Pro Universitate Emlékérem arany fokozata (ELTE, 2005) Magyar Felsőoktatásért Emlékplakett (2012)
Jegyzetek
Források https://www.inf.elte.hu/dstore/document/17/ELTE%20IK%20kari%20kotet%202013-55.pdf Informatika-történeti Fórum Dr. Pásztor Endréné Dr. Varga Katalin emlékére
További információk Természettudományos és műszaki ki kicsoda? Szerkesztette: Szluka Emil, Schneider László. Budapest, Országos Műszaki Információs Központ és Könyvtár, 1988.
Kategória:1931-ben született személyek Kategória:2024-ben elhunyt személyek Kategória:Magyar matematikusok Kategória:Magyar egyetemi, főiskolai oktatók