Print preview personal data approved: 2023. II. 03. Publications |
2021
from data base, 2021. XII. 08. |
Kádek Tamás, Mihálydeák Tamás: Dealing with uncertainty: A rough-set-based approach with the background of classical logic, ANNALES MATHEMATICAE ET INFORMATICAE 53: pp. 157-168. type of document: Journal paper/Article language: English URL |
2021
from data base, 2021. XII. 08. |
Biró Piroska, Kósa Márk, Pánovics János, Kádek Tamás: TEST CASE ANNOTATION OF PROGRAMMING TASKS IN THE PROGCONT SYSTEM FOR DIFFERENTIAL EDUCATION AND STRENGTHENING STAND-ALONE PREPARATION OPPORTUNITIES, In: EDULEARN21 Proceedings, (2021) pp. 5433-5441. type of document: Conference paper/Előadás vagy poszter cikke language: English URL |
2021
from data base, 2021. XII. 08. |
Biró Piroska, Kádek Tamás: How can the ProgCont system help with programming education during a pandemic?, In: Bíró, Bíborka Eszter; Csata, Andrea; György, Ottilia; Kassay, János; Koroseczné, Pavlin Rita; Madaras, Szilárd; Pál, László; Péter, Katalin; Szőcs, Attila; Tánczos, Levente József; Telegdy, Balázs (szerk.) 15th International Conference on Economics and Business, Editura Risoprint (2021) pp. 179-191. type of document: Part of book/Szaktanulmány (to be translated) language: English
|
2021
from data base, 2021. XII. 08. |
Biró Piroska, Kádek Tamás, Pánovics János: FACILITATING THE USE OF THE PROGCONT SYSTEM FOR NOVICE PROGRAMMERS WITH TEST CASE ANNOTATIONS, In: David, Martí; Luis, Gómez; Agustín, López (szerk.) ICERI2021 Proceedings, International Academy of Technology, Education and Development (IATED) (2021) pp. 4951-4956. type of document: Part of book/Proceedings Paper language: English URL |
2020
from data base, 2021. XII. 08. |
Nagy Dávid, Mihálydeák Tamás, Kádek Tamás: Similarity Based Granules, In: Bello, Rafael; Miao, Duoqian; Falcon, Rafael; Nakata, Michinori; Rosete, Alejandro; Ciucci, Davide (szerk.) Rough Sets, Springer International Publishing (2020) pp. 35-47. type of document: Part of book/Proceedings Paper language: English URL |
2020
from data base, 2021. XII. 08. |
Biró Piroska, Kádek Tamás: Automatic Evaluation of Programming Tasks at the University of Debrecen, In: INTED2020 Proceedings, (2020) pp. 3522-3527. type of document: Conference paper/Előadás vagy poszter cikke language: English URL |
2015
from data base, 2021. XII. 08. |
Kádek Tamás, Mihálydeák Tamás: On (in) Validity of Aristotle's Syllogisms Relying on Rough Sets, ACSIS-Annals of Computer Science and Information Systems 7: pp. 35-40. type of document: Journal paper/Konferenciaközlemény language: English URL |
2014
from data base, 2021. XII. 08. |
Tamás Kádek, Tamás Mihálydeák: Some Fundamental Laws of Partial First-Order Logic Based on Set Approximations, In: Cornelis, Chris; Kryszkiewicz, Marzena; Ślȩzak, Dominik; Ruiz, Ernestina Menasalvas; Bello, Rafael; Shang, Lin (szerk.) Rough Sets and Current Trends in Soft Computing, Springer International Publishing (2014) pp. 47-58. type of document: Part of book/Proceedings Paper language: English URL |
2014
from data base, 2021. XII. 08. |
Tamás Kádek, Tamás Mihálydeák: Some unexpected properties of partial propositional logic based on partial approximation space, In: Emőd, Kovács; Gábor, Kusper; Roland, Kunkli; Tibor, Tómács (szerk.) ICAI 2014: Proceedings of the 9th International Conference on Applied Informatics, vol. 1-2, Eszterházy Károly Tanárképző Főiskola (EKTF) (2014) pp. 51-58. type of document: Conference paper/Előadás vagy poszter cikke language: English URL |
2012
from data base, 2021. XII. 08. |
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 37: pp. 229-238. type of document: Journal paper/Konferenciaközlemény language: English
|
| Number of independent citations to these publications: | 0 |
|
|