First Page | Document Content | |
---|---|---|
Date: 2011-10-24 15:09:33Computability theory Mathematical logic Theory of computation Logic in computer science Proof theory Undecidable problem Decision problem Algorithm Computability Theoretical computer science Mathematics Applied mathematics | Chapter 4: Computability Algorithmic Adventures From Knowledge to Magic Book by Juraj HromkoviˇAdd to Reading ListSource URL: www.win.tue.nlDownload Document from Source WebsiteFile Size: 541,72 KBShare Document on Facebook |