Tìm kiếm nâng cao
Loại tài liệu: Tài liệu giấy - Luận án, luận văn
Tác giả: Lê, Trọng Hiếu
Nhà Xuất Bản: Đại học Sư phạm Hà Nội
Năm Xuất Bản: 2011
Tìm hiểu cơ sở của ngôn ngữ hình thức (công cụ mô tả đối với các mô hình tính toán, cả cho dạng thông tin vào - ra lẫn kiểu thao tác). Tìm hiểu về văn phạm, mô hình ôtômát, máy Turing và quá trình tính toán trên máy Turing, luận đề Turing - church cùng một số bài toán quyết định.
041 ## $aVie
044 ## $aVn
082 ## $a518
100 ## $aLê, Trọng Hiếu
245 ## $aThuật toán và luận đề Turing - church/$cLê Trọng Hiếu
260 ## $aH.:$bĐại học Sư phạm Hà Nội,$c2011
300 ## $a92 tr.
520 ## $aTìm hiểu cơ sở của ngôn ngữ hình thức (công cụ mô tả đối với các mô hình tính toán, cả cho dạng thông tin vào - ra lẫn kiểu thao tác). Tìm hiểu về văn phạm, mô hình ôtômát, máy Turing và quá trình tính toán trên máy Turing, luận đề Turing - church cùng một số bài toán quyết định.
653 ## $aLuận đề Turing - church
653 ## $aThuật toán
900 ## 1
911 ## P.C.Chi
912 ## Administrator
915 ## $aĐại số và lý thuyết số$b60.46.05$cLuận văn Thạc sỹ Khoa học Toán học$dĐHSPHN$eBộ GD & ĐT$fPhan Trung Huy$gPGS.TS
927 ## Luận án, luận văn
Tổng số bản: 1
Tổng số bản rỗi: 1
Tổng số bản đang đặt chỗ: 0
ĐKCB: V-LA1/4426
(Yêu cầu có hiệu lực trong vòng 02 ngày kể từ ngày gửi yêu cầu)
Luận đề Turing - church Thuật toán