Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
ARCHÍV OLDAL
Az adatok hitelességéről nyilatkozott: 2014. VI. 26.
Személyes adatok
név Pásztorné Varga Katalin
intézmény neve
doktori iskola
ELTE Informatika Doktori Iskola (oktató)
adott-e már oktatóként valamely doktori iskolát működtető intézménynek akkreditációs nyilatkozatot? Eötvös Loránd Tudományegyetem
Elérhetőségek
drótpostacím pkataludens.elte.hu
telefonszám +36 1 200-7813
saját honlap
Fokozat, cím
tudományos fokozat, cím CSc
fokozat megszerzésének éve 1973
fokozat tudományága matematika- és számítástudományok
fokozatot kiadó intézmény neve MTA
Jelenlegi munkahelyek
1999 - Debreceni Egyetem
további (habilitált docens)
1975 - Eötvös Loránd Tudományegyetem
további (habilitált docens)
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma 1.5
ezek közül abszolutóriumot szerzettek száma 1.5
témavezetettjei közül fokozatot szereztek:
(50%) Podhorszki Norbert PhD 2005  IDI2-ELTE

  Témakiírások
Kutatás
kutatási terület Matematikai logika és alkalmazásai. Automatikus tételbizonyítás. Logikai programozás. Nemklasszikus logikák.
jelenlegi kutatásainak tudományága matematika- és számítástudományok
informatikai tudományok
Közlemények
2013

Pásztor Varga K, Alagi G, Várterész M: Many-valued logics − implications and semantic consequences, ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 5: (2) pp. 145-166.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
2012

Kézdi Norbert, Pásztor Varga Katalin, Jakó Éena: Neighborhood principle driven ICF algorithm and graph distance calculations, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 36: pp. 159-177.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2011

Pásztor Varga K, Várterész M: Many-valued logics -- theorem proving problems, In: Pop Horia F et al. (szerk.) Proceedings of the 8th joint conference on mathematics and computer science. Győr: Novadat Kiadó, 2011. pp. 91-98.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
2009

Pásztor Varga K, Várterész M: Many-valued logic, mappings, ICF graphs, normal forms, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 31: pp. 185-202.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
2008

Pásztor Varga K, Várterész M: A logika helye az informatikusok alap- és mesterképzésében, In: Pethő Attila, Herdon Miklós (szerk.) Informatika a felsőoktatásban 2008: konferencia kiadvány : Debrecen, 2008 augusztus 27-29. : Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. Debrecen: Debreceni Egyetem Informatikai Kar, 2008. pp. &.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: magyar
2008

Pásztor Varga K, Várterész M: Languages of logic and their applications, COMPUTERS AND MATHEMATICS WITH APPLICATIONS 55: (8) pp. 1660-1669.
dokumentum típusa: Folyóiratcikk/Szakcikk
impakt faktor: 0.997
nyelv: angol
DOI 
2006

Pásztor Varga K, Várterész M: Computer science, logic, informatics education, JOURNAL OF UNIVERSAL COMPUTER SCIENCE 12: (9) pp. 1405-1410. Paper 10.3217/jucs-012-09-1405.
dokumentum típusa: Folyóiratcikk/Szakcikk
impakt faktor: 0.338
nyelv: angol
DOI 
2004

Pásztor Varga K, Várterész M: Usablity of some theorem proving systems, PURE MATHEMATICS AND APPLICATIONS 15: (2-3) pp. 273-284.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 4
nyelv: angol
2003

Pásztorné Varga K, Várterész M : A matematikai logika alkalmazásszemléletű tárgyalása, Budapest: Panem Könyvkiadó, 394 p.
dokumentum típusa: Könyv/Szakkönyv
független idéző közlemények száma: 8
nyelv: magyar
2002

Pásztor Varga K, Várterész M: Comparison and usability of two rewriting systems for theorem proving, PURE MATHEMATICS AND APPLICATIONS 13: (1-2) pp. 293-302.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 2
nyelv: angol
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:14 
Tudománymetriai adatok
Saját közlemény- és idézőlista Tudományos közlemény- és idézőlista mycite adattárban
a 10 válogatott közlemény közé kiválasztható közleményeinek száma:
14 
összes tudományos és felsőoktatási közleményének száma:
69 
kiválasztható monográfiák és szakkönyvek:
3 
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
1 
külföldön megjelent, figyelembe vehető tudományos közleményei:
4 
hazai kiadású, figyelembe vehető idegen nyelvű közleményei:
32 
összes tudományos közleményének és alkotásainak független idézettségi száma:
0 
Akkreditációs szempontból jelentős egyéb információk
habilitáció: 1996 (ELTE TTK, matematika tudományág)


2019. IX. 13.
ODT ülés
Az ODT következő ülésére 2019. október 11-én 12.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )