Pásztorné Varga Katalin - ODT Személyi adatlap


	Bejelentkezés Fórum Szervezet tisztségviselők tagintézmények határozatok alapító okirat ügyrend Doktori képzés doktori iskolák intézményenként tudományáganként azonosító alapján megszűnt oktatók név alapján kutatási téma szerint archívum témakiírások doktori iskolánként tudományáganként kutatási téma szerint témavezetések hallgatók keresése Doktori védések intézményenként tudományáganként név szerint dátum szerint doktori iskolánként Honosított fokozatok intézményenként tudományáganként név szerint dátum szerint Habilitációs előadások intézményenként tudományterületenként név szerint Dokumentumok nyilvános anyagok hírek jogszabályok útmutatók Kapcsolatok elérhetőségünk partnereink

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	Eötvös Loránd Tudományegyetem
doktori iskola	ELTE Informatika Doktori Iskola (oktató Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki. )
doktori képzéssel kapcsolatos munkájának megoszlása	ELTE Informatika Doktori Iskola 100%
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:

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:

összes tudományos és felsőoktatási közleményének száma:

kiválasztható monográfiák és szakkönyvek:

monográfiák és szakkönyvek száma melyben fejezetet/részt írt:

külföldön megjelent, figyelembe vehető tudományos közleményei:

hazai kiadású, figyelembe vehető idegen nyelvű közleményei:

összes tudományos közleményének és alkotásainak független idézettségi száma:

Akkreditációs szempontból jelentős egyéb információk
habilitáció: 1996 (ELTE TTK, matematika tudományág)