ISBN
| 9781461273097 |
DDC
| 004.0151 |
Tác giả CN
| Kozen, Dexter C. |
Nhan đề
| Automata and computability / Dexter C. Kozen |
Thông tin xuất bản
| New York : Springer, 1997 |
Mô tả vật lý
| 407 p. ; cm. |
Phụ chú
| Undergraduate texts in computer science |
Tóm tắt
| This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging |
Thuật ngữ chủ đề
| Computable functions |
Thuật ngữ chủ đề
| Fundamentele informatica |
Thuật ngữ chủ đề
| Machine theory |
Khoa
| Khoa Cơ khí - Điện - Điện tử - Ô tô |
Tác giả(bs) CN
| Gries, David |
Tác giả(bs) CN
| Schneider, Fred B. |
Địa chỉ
| Thư Viện Đại học Nguyễn Tất Thành |
|
000
| 00000nam#a2200000u##4500 |
---|
001 | 20941 |
---|
002 | 2 |
---|
004 | 8E48F66B-7CCF-4776-934E-4144E74386B7 |
---|
005 | 202005201625 |
---|
008 | 200512s1997 nyu eng |
---|
009 | 1 0 |
---|
020 | |a9781461273097 |
---|
039 | |a20200520162600|btainguyendientu|y20200512104823|znhungtth |
---|
040 | |aNTT |
---|
041 | |aeng |
---|
044 | |anyu |
---|
082 | |a004.0151|bK887|223 |
---|
100 | |aKozen, Dexter C. |
---|
245 | |aAutomata and computability / |cDexter C. Kozen |
---|
260 | |aNew York : |bSpringer, |c1997 |
---|
300 | |a407 p. ; |ccm. |
---|
500 | |aUndergraduate texts in computer science |
---|
520 | |aThis textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging |
---|
541 | |aSpringer |
---|
650 | |aComputable functions |
---|
650 | |aFundamentele informatica |
---|
650 | |aMachine theory |
---|
690 | |aKhoa Cơ khí - Điện - Điện tử - Ô tô |
---|
700 | |aGries, David|eEdirors |
---|
700 | |aSchneider, Fred B. |eEdirors |
---|
852 | |aThư Viện Đại học Nguyễn Tất Thành |
---|
856 | 1|uhttp://elib.ntt.edu.vn/documentdata01/2 tailieuthamkhao/000 tinhocthongtin/anhbiasach/20941_automataandcomputabilitythumbimage.jpg |
---|
890 | |c1|a0|b0|d1 |
---|
| |
Không tìm thấy biểu ghi nào
|
|
|
|