Ditemukan 27845 dokumen yang sesuai dengan query
Wandmacher, Cornelius
New York: Industrial Press, 1978
389.16 WAN m
Buku Teks Universitas Indonesia Library
Muhammad Ihsan Prasetio
"Suatu ruang metrik disebut lengkap apabila setiap barisan Cauchy di ruang metrik tersebut adalah konvergen. Ruang Atsuji adalah ruang metrik lengkap di mana setiap fungsi kontinu bernilai real adalah kontinu seragam. Suatu ruang metrik dikatakan memiliki Atsuji completion jika completion dari ruang metrik tersebut adalah ruang Atsuji. Dalam makalah ini dipelajari sifat subhimpunan di ruang metrik yang completion-nya adalah ruang Atsuji, yaitu sifat subhimpunan lengkap dan sifat subhimpunan completely discrete.
Complete metric space is a metric space where every Cauchy sequence is convergent. Atsuji space is a complete metric space where every real valued and continuous function on it is uniformly countinuous. A metric space is said to have an Atsuji Completion if its completion is an Atsuji space. In this paper, the properties of subsets of a metric space that has an Atsuji completion is explored. The subsets being discussed are complete subsets and completely discrete subsets."
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2014
S61507
UI - Skripsi Membership Universitas Indonesia Library
Gultom, Ricky Timothy
"Skripsi ini membahas tentang melakukan konversi sistem berorientasi objek menjadi sofware product line dengan menggunakan konsep pemodelan delta yang dimiliki oleh Abstract Behavioral Specification (ABS). ABS merupakan bahasa pemodelan yang ditargetkan untuk mengembangkan sistem dengan tingkat variasi yang tinggi dan mendukung pengembangan Software Product Line (SPL) melalui pemodelan delta. Sistem berorientasi objek yang ingin dikonversi menjadi SPL adalah sistem perpustakaan digital di lingkungan Universitas Indonesia yaitu LONTAR. Selama ini, LONTAR hanya menggunakan layanan web berbasis SOAP. Dengan menggunakan ABS, penulis mencoba mengonversi LONTAR menjadi SPL sehingga dapat menggunakan SOAP dan juga layanan web lainnya dalam hal ini REST. Latar belakang ingin dikonversinya LONTAR dari orientasi objek menjadi SPL dengan menggunakan ABS adalah karena lebih mudah untuk mengembangkan sistem dengan ABS dibandingkan dengan pendekatan orientasi objek biasa. Pendefinisian produk baru di ABS relatif lebih mudah dibandingkan harus membuat class baru dan melakukan kustomisasi agar class baru tersebut dapat bekerja dengan baik.
This thesis contains the system conversion from object oriented system into software product line using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports Software Product Line (SPL) development with delta modeling. The case study of this thesis is digital library system in University of Indonesia called LONTAR. Originally, LONTAR only uses SOAP-based web service. With ABS, the author tries to convert LONTAR into SPL, so it can use SOAP and another web service in this case REST. The background of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS rather than regular object oriented. Product definition in ABS is relatively easier than creating new class and do customization with this new class to make it works well."
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2013
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
Semioli, William J.
New York: Industrial Press, 1974
389.152 SEM c
Buku Teks Universitas Indonesia Library
New York: McGraw-Hill, 1996
R 627.02 BRA h
Buku Referensi Universitas Indonesia Library
Hornung, William J.
Englewood Cliffs, N.J.: Prentice-Hall, 1981
690.022 1 HOR m
Buku Teks SO Universitas Indonesia Library
Copson, E.T.
London: Cambridge University Press, 1968
516.37 COP m
Buku Teks SO Universitas Indonesia Library
Tri Puji Marjadi
"
ABSTRAKSkripsi ini membahas mengenai salah satu sifat topologi yaitu ruang tipis. Pada penulisan skripsi ini akan dibahas selain definisi dari ruang tipis akan ditunjukan sebuah syarat cukup agar sebuah ruang metrik dapat dikatakan tipis. Selain membahas syarat cukup dari sebuah ruang metrik agar dapat dikatakan tipis akan dibahas juga keterkaitan antara ruang metrik yang uniform approachable dengan ruang tipis. Setelah itu akan dibahas juga mengenai salah satu sifat yang dimiliki oleh ruang metrik yang tipis yaitu sifat pemisahan kompaknya.
ABSTRACTThis undergraduate thesis discusses about one of the topology property which is thin space. This undergraduate thesis will show that there is one requirement to show that a metric space is thin or not beside the original definition. Beside that this undergraduate thesis will also discusses relationship between a uniform approachable metric space and thin space. After that this undergraduate thesis will also discusses about one of the properties that from a thin metric space have which is the compact separation property."
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2019
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
Soleman
"Ruang Atsuji adalah ruang metrik yang lengkap dimana setiap fungsi kontinu yang bernilai real adalah kontinu seragam. Suatu ruang metrik dikatakan memiliki Atsuji completion jika completion dari ruang metrik tersebut adalah ruang Atsuji. Dalam skripsi ini akan dipelajari karakteristik fungsional pada ruang metrik yang completionnya adalah ruang Atsuji.
An Atsuji space is a complete metric space where every real valued and continuous function on it is uniformly continuous. A metric space is said to have an Atsuji completion if its completion is an Atsuji space. In this skripsi it will be determined the functional characteristic of a metric space which completion is an Atsuji space."
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2012
S45080
UI - Skripsi Membership Universitas Indonesia Library
Pandu Setya Ilham
"Ruang metrik adalah suatu pasangan himpunan dan fungsi metrik, dengan fungsi metrik adalah fungsi yang memetakan dua titik pada himpunan ke himpunan set R(>=0)= [0,+∞). Pada ruang metrik terdapat satu teorema penting pada analisis yang dibuktikan oleh Stefan Banach (1920), yaitu Teorema Titik Tetap. Pada Ma, Jiang, & Sun (2014) konsep ruang metrik diperluas menjadi ruang metrik bernilai aljabar-C* dan Teorema Titik Tetap pada ruang metrik diperluas menjadi Teorema Titik Tetap pada ruang metrik bernilai aljabar- C*. Pada skripsi ini, dijelaskan bagaimana ruang metrik diperluas menjadi ruang metrik bernilai aljabar-C* dan dibuktikan kembali Teorema Titik Tetap pada ruang metrik bernilai aljabar-C*.
A metric space is a pair of set and metric function, where a metric function is a function which maps two points from the set into the set R(>=0)= [0,+∞). In metric space, there is an important theorem in analysis which has been proven by Stefan Banach (1920) that is, the Fixed Point Theorem. In Ma, Jiang, & Sun (2014) the concept of metric space is generalized to C*-algebra valued metric space and the Fixed Point Theorem in metric space is generalized to the Fixed Point Theorem in C*-algebra valued metric space. In this undergraduate thesis, it was explained how the concept of metric space can be generalized into C*-algebra valued metric space and the Fixed Point Theorem in C*-algebra valued metric space was proven back."
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2021
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
