Hasil Pencarian

Ditemukan 7 dokumen yang sesuai dengan query

Ahmad Maimun

" 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 fungsi yang effectively uniformly continuous. Pada skripsi ini pertama–tama ditunjukkan cara memeriksa suatu barisan merupakan barisan computable. Kemudian diperlihatkan cara memeriksa suatu bilangan real merupakan ... "

Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2013

S-Pdf

UI - Skripsi Membership Universitas Indonesia Library

Ahmad Maimun

Fungsi computable = Computable function

" 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 fungsi yang effectively uniformly continuous. Pada skripsi ini pertama–tama ditunjukkan cara memeriksa suatu barisan merupakan barisan computable. Kemudian diperlihatkan cara memeriksa ... "

Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2013

S58395

UI - Skripsi Membership Universitas Indonesia Library

How the world computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings

" 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 of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the ... "

Berlin: Springer-Verlag, 2012

e20409217

eBooks Universitas Indonesia Library