
Enumerability. Decidability. Computability : an introduction to the theory of recursive functions / Hans Hermes ; transl. by G.T. Herman and O. Plassmann
Tác giả : Hans Hermes ; transl. by G.T. Herman and O. Plassmann
Nhà xuất bản : Springer-Verl.
Năm xuất bản : 1965
Nơi xuất bản : B. [etc.]
Mô tả vật lý : x, 245 tr. ; 24 cm
Số phân loại : 511.35
Tùng thư :
Die Grundlehren der Mathematischen. Wissenschaften in Einzeldarstellungen
Chủ đề : 1. Chức năng đệ quy. 2. Định lý Gödel. 3. Hàm số khả tính. 4. Thuật toán.
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
![]() |
MLv 6707 |
https://phucvu.thuvientphcm.gov.vn/Item/ItemDetail/75204?siteid=2 |