Katalin Pásztorné Varga - ODT Personal data sheet


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Personal data sheet

Print preview

VALIDITY EXPIRED
personal data approved: 2014. VI. 26.

Personal data

name	Katalin Pásztorné Varga
name of institution	Eötvös Loránd University, Budapest
doctoral school	ELTE Doctoral School of Informatics (Academic staff member 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. )
the share of work in the different doctoral schools.	ELTE Doctoral School of Informatics 100%
accreditation statement submitted to:	Eötvös Loránd University, Budapest

Contact details
E-mail address	pkataludens.elte.hu
phone number	+36 1 200-7813
	own web page

Academic title
scientific degree, title	CSc
year degree was obtained	1973
discipline to which degree belongs	mathematics and computing
institution granting the degree	HAS

Employment
1999 -	University of Debrecen other (not specified) (habilitált docens)
1975 -	Eötvös Loránd University, Budapest other (not specified) (habilitált docens)

Thesis topic supervisor

number of doctoral students supervised until now

1.5

number of students who fulfilled course requirements

1.5

students who obtained their degrees:

(50%)

Norbert Podhorszki

PhD

2005

IDI2-ELTE

Thesis topic proposals

Research
research area	Mathematical logic and applications. Automatical theorem proving. Non classical logics.
research field in which current research is conducted	mathematics and computing computer sciences

Publications

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.
type of document: Journal paper/Article
language: English

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.
type of document: Journal paper/Article
language: English
Full text

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.
type of document: Part of book/Proceedings Paper
language: English

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.
type of document: Journal paper/Article
language: English

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. &.
type of document: Part of book/Proceedings Paper
language: Hungarian

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.
type of document: Journal paper/Article
impact factor: 0.997
language: English
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.
type of document: Journal paper/Article
impact factor: 0.338
language: English
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.
type of document: Journal paper/Article
number of independent citations: 4
language: English

2003

Pásztorné Varga K, Várterész M : A matematikai logika alkalmazásszemléletű tárgyalása, Budapest: Panem Könyvkiadó, 394 p.
type of document: Book/Monography
number of independent citations: 8
language: Hungarian

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.
type of document: Journal paper/Article
number of independent citations: 2
language: English

Number of independent citations to these publications:

Scientometric data

Saját közlemény- és idézőlista

list of publications and citations

number of scientific publications that meet accreditation criteria:

number of scientific publications:

monographs and professional books:

monographs/books in which chapters/sections were contributed:

scientific publications published abroad that meet the accreditation criteria:

publications not in Hungarian, published in Hungary, meeting the accreditation criteria:

number of independent citations to scientific publications and creative works:

further relevant information regarding accreditation (in Hungarian)
habilitáció: 1996 (ELTE TTK, matematika tudományág) (to be translated)

2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).