Várterész Magda publikációs listája [1.] Fazekas K Anna, Fazekas Gábor, Várterész Magda: A számítógéppel támogatott oktatás egy SQC alapú minőségbiztosítási modelljéről In: Kunkli Roland, Papp Ildikó, Rutkovszky Edéné (szerk.) Informatika a felsőoktatásban 2014. Konferencia helye, ideje: Debrecen, Magyarország, 2014.08.27-2014.08.29. Debrecen: Debreceni Egyetem Informatikai Kar, 2014. pp. 689-693. (ISBN:978-963-473-712-4) [2.] Koós Dániel, Várterész Magda: E-learning a számítástudomány oktatásában In: Kunkli Roland, Papp Ildikó, Rutkovszky Edéné (szerk.) Informatika a felsőoktatásban 2014. Konferencia helye, ideje: Debrecen, Magyarország, 2014.08.27-2014.08.29. Debrecen: Debreceni Egyetem Informatikai Kar, 2014. pp. 88-95. (ISBN:978-963-473-712-4) [3.] 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. (2013) [4.] Anna K Fazekas, Gábor Fazekas, Magda Várterész: An SQC based model for the quality impovement of computer aided teaching In: Zoltán Csörnyei (szerk.) MaCS 12. 9th Joint Conference on Mathematics and Computer Science: ABSTRACTS. 104 p. Konferencia helye, ideje: Siófok, Magyarország, 2012.02.09-2012.02.12. Budapest: ELTE, p. 37. [5.] Pásztor Varga K, Várterész M: Many-valued logics -- theorem proving problems In: Horia F Pop, Antal Bege (szerk.) 8th Joint Conference on Mathematics and Computer Science: MaCS 2010: Komárno, Slovakia, July 14-17, 2010: selected papers. 416 p. Konferencia helye, ideje: Komárno, Szlovákia, 2010.07.14-2010.10.17. Győr: Novadat, 2011. pp. 91-98. (ISBN:978-963-9056-38-1) [6.] Kádek T, Robu J, Várterész M: Matematikai logika példatár Kolozsvár: Kolozsvári Egyetemi Kiadó, 2010. 174 p. (ISBN:978-973-595-122-1) [7.] 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. (2009) Függő idéző: 1 Összesen: 1 Norbert Kézdi, Katalin Pásztor Varga, Eena Jakó: Neighborhood principle driven ICF algorithm and graph distance calculations. ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA (ISSN: 0138-9491) 36: pp. 159-177. (2012)
[8.] Fazekas G, Juhász I, Várterész M: A programtervező informatikus szak oktatásának tapasztalatai a Debreceni Egyetem Informatikai Karán Informatika a felsőoktatásban 2008: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 227 p. Konferencia helye, ideje: Debrecen, Magyarország, 2008.08.27-2008.08.29. Debrecen: Debreceni Egyetem Informatikai Kar, 2008. Paper A22. (ISBN:978-963-473-129-0) Függő idéző: 1 Összesen: 1 I Juhász, M Kósa, A Vágner: Theaching Database Systems at the Faculty of Informatics at the University of Debrecen. In: A Egri-Nagy, E Kovács, G Kovásznai, G Kusper, T Tómács (szerk.) : Proc. of the 8th International Conference on Applied Informatics. (Vol. 2) Eger: BVB Nyomda és Kiadó Kft., 2010. (ISBN 978-963-9894-72-3) pp. 9-15. [9.] K Pásztor Varga, M Várterész: A lattice theoretical tool for simplification of normal forms in m-valued logic In: G Kassay (szerk.) 7th Joint Conference on Mathematics and Computer Science: Book of Abstracts. Konferencia helye, ideje: Cluj-Napoca, Románia, 2008.07.03-2008.07.06. Cluj-Napoca: Babes-Bolyai University, 2008. p. 70. [10.] Pásztor Varga K, Várterész M: Languages of logic and their applications COMPUTERS AND MATHEMATICS WITH APPLICATIONS 55:(8) pp. 1660-1669. (2008) Folyóirat szakterülete: Computational Theory and Mathematics helyzete: 55/197 (Q2) Folyóirat szakterülete: Computational Mathematics helyzete: 43/104 (Q2) Folyóirat szakterülete: Modeling and Simulation helyzete: 52/297 (Q1) Független idéző: 1 Összesen: 1 F Al-Saqqar, J Bentahar, K Sultan: On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in muti-agent systems. EXPERT SYSTEMS WITH APPLICATIONS (ISSN: 0957-4174) 43: pp. 223-236. (2016) [11.] Pásztor Varga K, Várterész M: A logika helye az informatikusok alap- és mesterképzésében Informatika a felsőoktatásban 2008: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 227 p. Konferencia helye, ideje: Debrecen, Magyarország, 2008.08.27-2008.08.29. Debrecen: Debreceni Egyetem Informatikai Kar, 2008. p. (ISBN:978-963-473-129-0) [12.] Pásztor Varga K, Várterész M: Computer science, logic, informatics education JOURNAL OF UNIVERSAL COMPUTER SCIENCE 12:(9) pp. 1405-1410. (2006) Folyóirat szakterülete: Computer Science (miscellaneous) helyzete: 67/200 (Q2) Folyóirat szakterülete: Theoretical Computer Science helyzete: 66/115 (Q3) [13.] Pásztor Varga K, Várterész M: Remarks to the Effectiveness of some Resolution Strategies In: Csörnyei Z (szerk.) Book of Abstracts, MaCS'06: 6th Joint Conference on Mathematics and Computer Science. Konferencia helye, ideje: Pécs, Magyarország, 2006.07.12-2006.07.15. Pécs: p. 73.
[14.] Pásztor Varga, M Várterész: Languages of Logic and Applications In: Csőke L, Olajos P, Szigetváry P, Tómács T (szerk.) Proceedings of the 6th International Conference on Applied Informatics I-II. 503 p. Konferencia helye, ideje: Eger, Magyarország, 2004.01.27-2004.01.31. Eger: Eszterházy Károly Tanárképző Főiskola (EKTF), p. 484. [15.] Pásztor Varga K, Várterész M: Számítástudomány, logika, informatikaoktatás Informatika a felsőoktatásban, 2005: Előadásösszefoglalók és teljes előadást tartalmazó CD-melléklet. 288 p. Konferencia helye, ideje: Debrecen, Magyarország, 2005.08.24-2005.08.26. Debrecen: Debreceni Egyetem, 2005. Paper F71. (ISBN:963 472 909 6) [16.] Pásztor Varga K, Várterész M: Usablity of some theorem proving systems PURE MATHEMATICS AND APPLICATIONS 15:(2-3) pp. 273-284. (2004) Független idéző: 4 Összesen: 4 G Dévai: Programming Language Elements for Proof Construction. In: Z Csörnyei (szerk.) 6th Joint Conf. on Math. and Comp. Sci. Pécs, Magyarország: 2006.07.12-2006.07.15. 2006. pp. 31-31 G Dévai, Z Csörnyei: Separation logic style reasoning in a refinement based language. In: Proc. of the 7th International Conference on Applied Informatics. (Vol. 2) Eger: BVB Nyomda és Kiadó Kft., 2007. pp. 117-125. G Dévai, N Pataki: Towards verified usage of the C++ Standard Template Library. In: Proc. of. the 10th Symposium on Programming Languages and Software Tools 2007. Eötvös University Press, 2007. (ISBN 978-963-463-925-1) pp. 360-371. G Dévai, N Pataki: A TOOL FOR FORMALLY SPECIFYING THE C++ STANDARD TEMPLATE LIBRARY. ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA (ISSN: 0138-9491) 31: pp. 147-166. (2009) [17.] Pásztor Varga K, Várterész M: Some Rewriting Systems as a Background of Proving Methods In: Proceedings of the Kalmár Workshop on Logic and Computer Science. Konferencia helye, ideje: Szeged, Magyarország, 2003.10.01-2003.10.02. pp. 213-227. [18.] Pásztorné Varga K, Várterész M: A matematikai logika alkalmazásszemléletű tárgyalása Budapest: Panem Kiadó, 2003. 394 p.(isbn:963-545-364-7) Független idéző: 9 Összesen: 9 Iványi Antal: Párhuzamos algoritmusok. ELTE - Eötvös Kiadó, 2003. 334 p. (ISBN 9634635903) Mecsei Z, Vályi S: A Gentzen-style extension of natural deduction - adjusted for undergraduate informatics studies. In: Pethő A, Herdon M (szerk.) Informatika a Felsőoktatásban. Debrecen, Magyarország: 2005.08.24-2005.08.26. Debrecen: (2005.), pp. Paper D61. ISBN: 9634729096 (Debreceni Egyetem Informatikai Kar) Kovásznai Gergely: HyperS Tableaux Heuristic Hyper Tableaux. ACTA CYBERNETICA- SZEGED (ISSN: 0324-721X) 17: pp. 325-338. (2005) Nagy Benedek: Új elvű számítógépek. Debrecen: Debreceni Egyetem Informatikai Kar, 2005. Iványi Antal: Angol-magyar informatikai szótár. Tinta Könyvkiadó, 2006. Baksáné Varga Erika: Ontology-based Semantic Annotation and Knowledge Representation in a Grammar Induction System. 116 p. 2011. Disszertáció /PhD Takács Márta: A lágy számítási módszerek első öt évtizede. LETUNK 42: (2) pp. 9-23. (2012) Edgar Serna M: La lógica en las ciencias computacionales: Logic in Computer Science. Revista Educación en Ingeniería (ISSN: 1900-8260) 8: (15) pp. 62-68. (2013)
Misetáné Burján A: The appearance of the characteristic features of the mathematical thinking in the thinking of a chess player. TEACHING MATHEMATICS AND COMPUTER SCIENCE (ISSN: 1589-7389) 12: (2) pp. 201-211. (2014) [19.] 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. (2002) Független idéző: 2 Összesen: 2 Bognár Katalin: Klasszifikáció az eset alapú következtetőrendszerekben. ALKALMAZOTT MATEMATIKAI LAPOK (ISSN: 0133-3399) 21: pp. 317-328. (2004) Tamás Kádek: PRESS-READY DEDUCTION TREES IN CLASSICAL LOGIC USING POINT- PLUS-EXPRESSIONS. ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA (ISSN: 0138-9491) 37: pp. 229-238. (2012) [20.] Pásztorné Varga K, Várterész M, Bognár K: Az alkalmazás-orientált logika oktatásának problémái ma a tudományegyetemeken In: Arató Péter, Herdon Miklós (szerk.) Informatika a felsőoktatásban 2002: Konferencia kiadvány: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 262 p. Konferencia helye, ideje: Debrecen, Magyarország, 2002.08.28-2002.08.30. Debrecen: Debreceni Egyetem, 2002. Paper E04. (ISBN:963 472 691 7) [21.] Várterész Magda, Nagy Benedek, Kósa Márk, Pánovics János: A Mesterséges intelligencia tárgy bevezető kurzusának gyakorlatai a Debreceni Egyetemen In: Arató Péter, Herdon Miklós (szerk.) Informatika a felsőoktatásban 2002: Konferencia kiadvány: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 262 p. Konferencia helye, ideje: Debrecen, Magyarország, 2002.08.28-2002.08.30. Debrecen: Debreceni Egyetem, 2002. pp. 1103-1109. (ISBN:963 472 691 7) [22.] Pásztor Varga K, Várterész M: A generalized approach to the theorem proving methods In: Kovács Emőd, Winkler Zoltán (szerk.) Proceedings of the 5th international conference on applied informatics: Education and other fields of applied informatics, computer graphics, computer statistics and modeling. 250 p. Konferencia helye, ideje: Eger, Magyarország, 2001.01.28-2001.02.03. Eger: Molnár és Társa 2001 Kft., pp. 191-200. Független idéző: 2 Összesen: 2 Kovásznai Gergely: Linear Clause Generation by Tableaux and DAGs. TEACHING MATHEMATICS AND COMPUTER SCIENCE (ISSN: 1589-7389) 5: (1) pp. 109-118. (2007) Kádek Tamás: PRESS-READY DEDUCTION TREES IN CLASSICAL LOGIC USING POINT- PLUS-EXPRESSIONS. ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA (ISSN: 0138-9491) 37: pp. 229-238. (2012) [23.] Várterész M: Accelerated convergence in Newton-like methods JOURNAL OF MATHEMATICAL SCIENCES (NEW YORK) 103:(4) pp. 529-532. (2001) Folyóirat szakterülete: Mathematics (miscellaneous) helyzete: 140/195 (Q3) Folyóirat szakterülete: Applied Mathematics helyzete: 182/241 (Q4) Folyóirat szakterülete: Statistics and Probability helyzete: 94/103 (Q4)
[24.] Várterész M: Iterációs eljárások nem-lineáris egyenletek megoldására 59 p. 1998. Disszertáció /PhD Független idéző: 1 Összesen: 1 J Abaffy, A Galántai: An always convergent algorithm for global minimization of univariate Lipschitz functions. ACTA POLYTECHNICA HUNGARICA (ISSN: 1785-8860) 10: (7) pp. 21-39. (2013) [25.] Várterész M: Theorem proving methods in educational practice In: Kovács E (szerk.) Education and other fields of applied informatics, computer graphics, computer statistics and modeling: Proceedings of the 3rd International Conference on Applied Informatics. 312 p. Konferencia helye, ideje: Eger; Noszvaj, Magyarország, 1997.08.25-1997.08.28. Eger: Nyomda Kft., pp. 467-473. [26.] Várterész M: Accelerated convergence in Krawczyk's method BULLETINS FOR APPLIED MATHEMATICS LXXVIII: pp. 175-182. (1996) [27.] Várterész M: Érintő-konvexfüggvényekkel generált egyenletmegoldó iterációk ALKALMAZOTT MATEMATIKAI LAPOK 18: pp. 219-235. (1994) [28.] Várterész M: A mesterséges intelligencia oktatása a KLTE-n In: Herdon Miklós, Pethő Attila (szerk.) Informatika a felsőoktatásban: országos konferencia: Debrecen, 1993. szeptember 1-3. 945 p. Konferencia helye, ideje: Debrecen, Magyarország, 1993.09.01-1993.09.03. Debrecen: Debreceni Universitas Kht, pp. 191-195. 1. kötet [29.] Várterész M: On an always convergent iteration method for the solution of nonlinear equations PUBLICATIONES MATHEMATICAE DEBRECEN 40:(1-2) pp. 1-10. (1992) [30.] Várterész M: Equation solving iterations based on tangential convex functions PUBLICATIONES MATHEMATICAE DEBRECEN 39:(3-4) pp. 253-261. (1991) [31.] Várterész M: Mindig konvergens egyenletmegoldó iterációk 1989. Disszertáció /Egyetemi doktor [32.] Várterész M: On always convergent iteration methods of tangential convex functions for solving nonlinear equations PUBLICATIONES MATHEMATICAE DEBRECEN 32: pp. 255-265. (1985)