Tudományos kutatás

Letölthető publikációk

Logika

• Tamás Mihálydeák: Aristotle's Syllogisms in Logical Semantics Pelying on Optimistic, Average and Pessimistic Membership Functions

Halmazapproximáció/Életlen halmazok elmélete

• 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

Membrán számítás

• Tamás Mihálydeák, György Vaszil: Regulating Rule Application with Membrane Boundaries in P Systems

Korrelációs klaszterezés

• 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

Oktatás

Számítástudomány alapjai

• Segédanyag


• Segédanyag, letölthető


• Logikai kiskáté


• Bináris döntési diagramok


• Formális nyelvek

Az informatika logikai alapjai

• Az informatika logikai alapjai (segédanyag)


• Az informatika logikai alapjai (segédanyag, letölthető)


• Logikai kiskáté


• Példák (Természetes levezetés)

Bevezetés a mesterséges intelligenciába

• Bevezetés a mesterséges intelligenciába (előadás, nyomtatható)


• Bevezetés a mesterséges intelligenciába (előadás, vetíthető)


• Bevezetés a mesterséges intelligenciába (elméleti kérdések, 2017/18 II.)


• Hasznos linkek
  
  • Mesterséges intelligencia almanach
  
  
  • Stuart Russell, Peter Norvig: Mesterséges intelligencia modern megközelítésben (második kiadás)
  
  
  • Stuart Russell, Peter Norvig: Mesterséges intelligencia modern megközelítésben (második kiadás, pdf)

Logikai algoritmusok

• Logikai algoritmusok (előadás, nyomtatható)


• Irodalom
  
  • 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

PhD kurzusok

• Logika I


• Logika II


• Témakörök I


• Témakörök II


• Dolgozati témák