Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 7 dokumen yang sesuai dengan query
cover
Ahmad Maimun, author
Domain dari suatu fungsi peubah bernilai real adalah suatu persegi panjang tertutup dan terbatas di ruang berdimensi yang komponen-komponen dari titik ujungnya merupakan bilangan computable. Suatu fungsi disebut computable jika pertama fungsi tersebut memetakan barisan titik di ruang dimensi yang computable ke barisan bilangan real computable, kedua fungsi tersebut merupakan...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2013
S-Pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
Ahmad Maimun, author
Domain dari suatu fungsi peubah bernilai real adalah suatu persegi panjang tertutup dan terbatas di ruang berdimensi yang komponen – komponen dari titik ujungnya merupakan bilangan computable. Suatu fungsi disebut computable jika pertama fungsi tersebut memetakan barisan titik di ruang dimensi yang computable ke barisan bilangan real computable,...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2013
S58395
UI - Skripsi Membership  Universitas Indonesia Library
cover
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum...
Berlin: Springer-Verlag, 2012
e20409217
eBooks  Universitas Indonesia Library
cover
Martin, John C., author
New York : McGraw-HIll, 1991
511.3 MAR i (1)
Buku Teks  Universitas Indonesia Library
cover
Fitting, Melvin, author
New York : Oxford University Press, 1987
005.73 FIT c
Buku Teks  Universitas Indonesia Library
cover
McNaughton, Robert, author
Englewood Cliffs, NJ: Prentice-Hall, 1982
511 MCN e
Buku Teks  Universitas Indonesia Library
cover
Rich, Elaine, author
Upper Saddle River NJ: Pearson Prentice hall, 2009
511.3 RIC a
Buku Teks  Universitas Indonesia Library