|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000087654 |
| 005 |
20160303093000.0 |
| 008 |
141112s2012 nyu eng |
| 020 |
|
|
|a 1283486857
|
| 020 |
|
|
|a 8132326091
|
| 020 |
|
|
|a 9781283486859
|
| 020 |
|
|
|a 9788132326090
|
| 050 |
0 |
0 |
|a TJ223.P76
|b P53 2012
|
| 090 |
0 |
0 |
|a TJ223.P76
|b P53 2012
|
| 100 |
1 |
|
|a Plante, Kristy ,
|e author
|
| 245 |
1 |
2 |
|a A first course in computability theory [
|h [electronic resource]]
|c Kristy Plante
|
| 250 |
|
|
|a Revised edition : 2014
|
| 260 |
|
|
|a New York, United States :
|b Orange Apple ,
|c 2012
|
| 300 |
|
|
|a 1 online resource :
|b ill.
|
| 505 |
0 |
|
|a 1. Table of contents -- 2. Introduction to computability theory -- 3. Turing reduction and turing degree -- 4. Reduction (recursion theory) -- 5. Reverse mathematics and kolmogorov complexity -- 6. Church-turing thesis -- 7. Computable function and computability logic -- 8. Decision problem and enumeration -- 9. Halting problem and lambda calculus -- 10. Post correspondence problem and primitive recursive function
|
| 650 |
|
0 |
|a Computable functions
|
| 856 |
4 |
0 |
|3 Orange Apple
|u http://ebooks.wtbooks.com/BookStore/pagedisplay.do?genre=book&pub=wtbooks&id=9781283486859&page=S-FC&instID=164
|
| 999 |
|
|
|a 1000162706
|b Electronic Book
|c Electronic Resource
|e Gong Badak Campus
|