Překlady této stránky:

Od 13.11. do 24.11. probíhá předběžný zápis do MIVYC v letním semestru.

Vyčíslitelnost (MIVYC 2018)

! EDUX je v read-only režimu. Materiály nově najdete na https://courses.fit.cvut.cz/MI-VYC/ !

jan.stary@fit.cvut.cz, kancelář A1422, konsultace po předchozí domluvě.

Literatura

Rekurze a vyčíslitelnost

  • Bell, Machover: A course in Mathematical Logic (Chapter 6: Recursion Theory)
  • Černý: Výpočty I
  • Davis: Computability and Unsolvability
  • Enderton: Elements of Recursion Theory (Part C.1 of J. Barwise: Handbook of Mathematical Logic)
  • Enderton: Computability Theory
  • Kleene: Introduction to Metamathematics (Part III: Recursive Functions)
  • Mendelson: Introduction to Mathematical Logic (Chapter 5, Effective Computability)
  • Monk: Mathematical Logic (Part I: Recursive Function Theory)
  • Odifreddi: Classical Recursion Theory
  • Rogers: Theory of Recursive Functions and Effective Computability

Aritmetika a logika

 
/mnt/www/courses/MI-VYC/data/pages/start.txt · Poslední úprava: 2018/10/02 15:13 (upraveno mimo DokuWiki)
 
Recent changes RSS feed Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki