6.045J 18.400J Automata, Computability, and Complexity/syllabus.docx

Showing first 1 matched files of 152 total files

/Computability and Randomness by Andre Nies, Oxford Science(2009).pdf

Showing first 1 matched files of 2 total files

136-Computability an Introduction to Recursive Function Theory-Cutland.djvu

Showing first 1 matched files of 36 total files

Theory/Introductory CS Theory/Automata & Computability by Kozen.pdf

Showing first 1 matched files of 280 total files

Douglas S. Bridges - Computability (1994) [978-1-4612-0863-1].pdf

Showing first 1 matched files of 286 total files

Algorithms/Hein J.L. Prolog experiments in discrete mathematics, logic, and computability (Portland State U., 2005)(160s)_CsAl_.pdf

Algorithms/Kozen D.C. Automata and Computability (Springer, 1997)(ISBN 0387949070)(600dpi)(T)(414s)_CsAl_.djvu

Computer science/Computability/Arora S., Barak B. Computational complexity.. A modern approach (CUP, 2009)(ISBN 0521424267)(605s)_CsNp_.pdf

Computer science/Computability/Arora S., Barak B. Computational complexity.. A modern approach (web draft, 2007)(489s)_CsNp_.pdf

Computer science/Computability/Avigad J. Computability and incompleteness. Lecture notes (free web version, 2007)(128s)_CsNp_.pdf

Showing first 5 matched files of 1323 total files

GTM/146 - Computability A mathematical sketchbook.pdf

Showing first 1 matched files of 383 total files

Automata and Computability - Dexter C Kozen.pdf

Showing first 1 matched files of 403 total files

Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Dexter C. Kozen-Theory of Computation-Springer (2006).pdf

Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Sanjeev Arora, Boaz Barak-Computational complexity_ a modern approach-Cambridge University Press (2009).pdf

Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Dexter C. Kozen-Automata and Computability-Springer (1997).djvu

Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Michael R. Garey, David S. Johnson-Computers and Intractability_ A Guide to the Theory of NP-Completeness .djvu

Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Michael Sipser-Introduction to the Theory of Computation-Course Technology (2012).pdf

Showing first 5 matched files of 902 total files

9780521294652.CambridgeUP.Computability_An_Introduction_to_Recursive_Function_Theory.Cutland,_Nigel.Jun.1980.pdf

Showing first 1 matched files of 723 total files

Dexter C. Kozen - Automata and Computability.pdf

Showing first 1 matched files of 1220 total files

9780262018999.MIT_Press.Computability__Turing,_Godel,_Church,_ayond.Copeland,_B._Jack_&_Posy,_Carl_J._&_Shagrir,_Oron.Jun.2013 (1).pdf

9780262018999.MIT_Press.Computability__Turing,_Godel,_Church,_ayond.Copeland,_B._Jack_&_Posy,_Carl_J._&_Shagrir,_Oron.Jun.2013.pdf

9780262100649.MIT_Press.Computability_and_Complexity__From_a_Programming_Perspective.Jones,_Neil_D_Jul.1997.pdf

Showing first 3 matched files of 2816 total files

Computer Science/Automata and Computability - Dexter C. Kozen, 1997 - 978-1-4612-1844-9.pdf

Showing first 1 matched files of 736 total files

Automata and Computability - Dexter C Kozen.pdf

Showing first 1 matched files of 400 total files

First Course In Logic [An Introduction To Model Theory, Proof Theory, Computability, And Complexity].pdf

Showing first 1 matched files of 1500 total files

Discrete Mathematics/Boolos - Computability and Logic 5e (Cambridge, 2007).pdf

Showing first 1 matched files of 1443 total files

Automata and Computability (1997) - Dexter C. Kozen.pdf

Showing first 1 matched files of 406 total files

Computer Science/Automata and Computability - Dexter C. Kozen, 1997 - 978-1-4612-1844-9.pdf

Showing first 1 matched files of 735 total files

146 - Computability — A Mathematical Sketchbook, Douglas S. Bridges (1994).pdf

Showing first 1 matched files of 288 total files