Várterész Magdolna

Várterész Magdolna

Contact
Name: Várterész Magdolna
Other profiles: MTMT
Degree
PhD, Kossuth Lajos Tudományegyetem (1999)
Consulting hours:
kedd 08:00 - 09:00
szerda 13:00 - 14:00
Profession
Profession: mathematician and information scientist
Courses taught
Source: NEPTUN system
Media links

Publication list

2013
  1. Pásztor Varga, K., Alagi, G., Várterész, M.: Many-valued logics - implications and semantic consequences.
    Acta Univ. Sap., Inf. 5 (2), 145-166, 2013.
2011
  1. Pásztor Varga, K., Várterész, M.: Many-valued logics - theorem proving problems.
    In: Joint Conference on Mathematics and Computer Science (8.) (2010.07.14-07-17) (Komárno, Slovakia), Novadat, Győr, 91-98, 2011. ISBN: 9789639056381
2010
  1. Kádek, T., Robu, J., Várterész, M.: Matematikai logika példatár.
    Presa Universitara Clujeana, Cluj-Napoca, 174 p., 2010. ISBN: 9789735951221
2009
  1. Pásztor Varga, K., Várterész, M.: Many-valued Logic, Mappings, ICF Graphs, Normal Forms.
    Annales Univ. Sci. Budapest., Sect. Comp. 31 185-202, 2009.
2008
  1. Pásztor Varga, K., Várterész, M.: Languages of logic and their applications.
    Comput. Math. Appl. 55 (8), 1660-1669, 2008.
    Journal metrics:
    Q2 Computational Mathematics
    Q3 Computational Theory and Mathematics
    Q2 Modeling and Simulation
2006
  1. Várterész, M., Pásztor Varga, K.: Computer Science, Logic, Informatics Education.
    J. Univers. Comput. Sci. 12 (9), 1405-1410, 2006.
    Journal metrics:
    Q2 Computer Science (miscellaneous)
    Q3 Theoretical Computer Science
2004
  1. Pásztor-Varga, K., Várterész, M.: Usability of some theorem proving systems.
    Pure math. appl. 15 (2-3), 273-284, 2004.
2003
  1. Pásztor Varga, K., Várterész, M.: A matematikai logika alkalmazásszemléletű tárgyalása.
    Panem Könyvkiadó, Budapest, 394 p., 2003. ISBN: 9635453647
2002
  1. Várterész, M., Nagy, B., Kósa, M., Pánovics, J.: A Mesterséges intelligencia tárgy bevezető kurzusának gyakorlatai a Debreceni Egyetemen.
    In: Informatika a felsőoktatásban : 2002 : konferencia kiadvány : Debrecen, 2002. aug. 28-30.. Szerk.: Arató Péter, Herdon Miklós, Debreceni Egyetem, Debrecen, 1103-1109, 2002.
  2. Pásztor Varga, K., Várterész, M.: Comparison and usability of two rewriting systems for theorem proving.
    Pure math. appl. 13 (1-2), 293-302, 2002.
2001
  1. Várterész, M.: Accelerated Convergence in Newton-Like Methods.
    J. Math. Sci. 103 (4), 529-532, 2001.
    Journal metrics:
    Q3 Applied Mathematics
    Q3 Mathematics (miscellaneous)
    Q4 Statistics and Probability
1998
  1. Várterész, M.: Matematikai logika.
    KLTE, Debrecen, 32 p., 1998.
1992
1991
1985