thông tin biểu ghi
  • Sách tham khảo
  • Ký hiệu PL/XG: 004.0151 K887
    Nhan đề: Automata and computability /

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
00120941
0022
0048E48F66B-7CCF-4776-934E-4144E74386B7
005202005201625
008200512s1997 nyu eng
0091 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
8561|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