University of Debrecen
Faculty of Informatics
Department of Computer Science
Department page
Dr. Tamás Mihálydeák
University of Debrecen Faculty of Informatics
Scientific Research
Education
Google Scholar
iDEa
Hungarian
Scientific Research
Downloadable Publication
Logic
Tamás Mihálydeák: Aristotle's Syllogisms in Logical Semantics Pelying on Optimistic, Average and Pessimistic Membership Functions
Set approximation/Rough set theory
Davide Ciucci, Tamás Mihálydeák, Zoltán Ernő Csajbók: On Exactness, Definiability and Vagueness in Partial Approximation Spaces
Davide Ciucci, Tamás Mihálydeák, Zoltán Ernő Csajbók: On Definiability and Approximations in Partial Approximation Spaces
Membrane Computing
Tamás Mihálydeák, György Vaszil: Regulating Rule Application with Membrane Boundaries in P Systems
Correlation Clustering
László Aszalós, Tamás Mihálydeák: Rough Classificatiuon in Incomplete Databases by Correlation Clustering
László Aszalós, Tamás Mihálydeák: Correlation Clustering by Contraction
Education
Foundation of Computer Science
Business Informatics BSc (from 2017)
Code: INBGA0101E, INBGA0101G
Slides
Formal languages
Introduction into Logic and Computer Science
Computer Science Engineering BSc (from 2017)
Code: INBMA0106E, INBMA0106G
Slides
Formal languages
Logic in Computer Science
Computer Science BSc (from 2017)
Code: INBPA0101E, INBPA0101G
Slides
Formal languages
Logic in Computer Science
Computer Science BSc
Code: INGK401E, INGK401G
Slides
Logical Algorithms
Computer Science MSc
Code: INMPA9912
Logical Algorithms (slides)
References
Modechai Ben-Ari: Mathematical Logic for Computer Science, Third edition, Springer-Verlag London, 2012, DOI 10.1007/978-1-4471-4129-7
Michael Huth, Mark Ryan: Logic in Computer Science, Modelling and Reasoning about Systems, Cambridge University Press, 2004
E. Mendelson: Introduction to Mathematical Logic (Fifth edition), Chapman and Hall/CRC, 2009