Várterész Magda

Az adatok frissességéről nyilatkozott: 2014-09-03

Debreceni Egyetem

Informatikai Tudományok Doktori Iskola

2007-11-01 –

Debreceni Egyetem

Matematika- és Számítástudományok Doktori Iskola

2007-11-01 –

varteresz.magda@inf.unideb.hu

Debreceni Egyetem

nyugalmazott egyetemi docens

Matematikai logika és alkalmazásai. Automatikus tételbizonyítás. Mesterséges intelligencia.

matematika- és számítástudományok, informatikai tudományok

publikációs lista az MTMT-ben
MTMT közlemény és idéző összefoglaló táblázat

aktuális témakiírások és összes témakiírás

Borbola Gábor	2014-08-01	Informatikai Tudományok Doktori Iskola (DE)
Fazekas Anna	2012-08-01	Matematika- és Számítástudományok Doktori Iskola (DE)
Koós Dániel	2015-08-01	Informatikai Tudományok Doktori Iskola (DE)
Szatmári László	2015-08-01	Matematika- és Számítástudományok Doktori Iskola (DE)

Sitkuné Görömbei Cecilia	2014	Matematika- és Számítástudományok Doktori Iskola (DE)
Abari Kálmán	2013	Matematika- és Számítástudományok Doktori Iskola (DE)
Kósa Márk	2010	Matematika- és Számítástudományok Doktori Iskola (DE)
Kovásznai Gergely	2007	Matematika- és Számítástudományok Doktori Iskola (DE)

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: Konferencia kiadvány. Debrecen: Debreceni Egyetem, 2014. pp. 689-693.

dokumentum típusa: Folyóiratcikk

nyelv: magyar

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: Konferencia kiadvány. Debrecen: Debreceni Egyetem, 2014. pp. 88-95.

dokumentum típusa: Folyóiratcikk

nyelv: magyar

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

nyelv: angol

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: Folyóiratcikk

nyelv: angol

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

nyelv: angol

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

nyelv: angol

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

nyelv: angol

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

független idéző közlemények száma: 4

nyelv: angol

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: Folyóiratcikk

független idéző közlemények száma: 8

nyelv: magyar

Várterész M: On always convergent iteration methods of tangential convex functions for solving nonlinear equations

PUBLICATIONES MATHEMATICAE-DEBRECEN 32: pp. 255-265.

dokumentum típusa: Folyóiratcikk

nyelv: orosz