Hasil Pencarian  ::  Simpan CSV :: Kembali

"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 bilangan computable. Pada akhirnya diperlihatkan cara memeriksa suatu fungsi peubah bernilai real merupakan fungsi yang computable.

---

Domain of a computable real function of variable is a closed and bounded rectangle in dimension space. The compenents of the vertex of the rectangle are computable numbers. A real function of variable is called computable if : first it maps a computable sequence of point in dimension space to a computable sequence of real numbers, second it is an effectively uniformly continuous function. In this skripsi, first it is shown the method to check whether a sequence is computable or not. Next, some methods to determine whether a real number is computable are explored. Finally the way to prove that a real function of variable is computable is exposed."

"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 bilangan computable. Pada akhirnya diperlihatkan cara memeriksa suatu fungsi peubah bernilai real merupakan fungsi yang computable.

---

Domain of a computable real function of variable is a closed and bounded rectangle in dimension space. The compenents of the vertex of the rectangle are computable numbers. A real function of variable is called computable if : first it maps a computable sequence of point in dimension space to a computable sequence of real numbers, second it is an effectively uniformly continuous function. In this skripsi, first it is shown the method to check whether a sequence is computable or not. Next, some methods to determine whether a real number is computable are explored. Finally the way to prove that a real function of variable is computable is exposed."

"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 short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing."

"Fungsi Associated Legendre merupakan solusi persamaan diferensial Associated Legendre yang banyak digunakan dalam masalah geofisika. Beberapa perangkat lunak telah menyediakan program untuk menghitung nilai fungsi Associated Legendre. Dalam tugas akhir ini akan diturunkan persamaan diferensial Legendre sehingga diperoleh persamaan diferensial Associated Legendre beserta solusinya, menghitung nilai dari fungsi Associated Legendre dengan normalisasi Neumann dan Schmidt. Tugas akhir ini juga melihat keunggulan fungsi Associated Legendre dengan normalisasi Schmidt jika dibandingkan dengan fungsi Associated Legendre dengan normalisasi Neumann dalam perhitungan aproksimasi integral dari perkalian dua fungsi Associated Legendre"