Ditemukan 25844 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."
Lengkap +
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."
Lengkap +
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 Universitas Indonesia Library
Copson, E.T.
London: Cambridge University Press, 1968
516.37 COP m
Buku Teks 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."Lengkap +
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."
Lengkap +
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2012
S45080
UI - Skripsi Membership Universitas Indonesia Library
Ridho Elfapriano Susilo
"Salah satu perumuman dari ruang metrik adalah ruang metrik parsial. Ruang metrik parsial merupakan (X, p) dengan X merupakan himpunan tak kosong dan p : X × X → R merupakan metrik parsial pada X, yaitu pemetaan bernilai R pada X×X yang memenuhi beberapa aksioma. Nilai metrik parsial tersebut dapat diperumum menjadi aljabar-C* unital A, sehingga dibentuk ruang metrik parsial bernilai aljabar-C* (X, A, p) dengan X merupakan himpunan tak kosong dan p : X × X → A merupakan metrik parsial bernilai aljabar-C* pada X, yaitu pemetaan bernilai A pada X × X yang memenuhi beberapa aksioma. Titik tetap dari pemetaan pada suatu himpunan, khususnya ruang metrik, adalah titik yang dipetakan ke dirinya sendiri. Teorema titik tetap merupakan teorema mengenai eksistensi dan ketunggalan titik tetap dari pemetaan pada ruang metrik. Pada skripsi ini, ditentukan dan dibuktikan hubungan ruang metrik parsial bernilai aljabar-C* dengan ruang metrik bernilai aljabar-C*. Selain itu, dibuktikan teorema titik tetap dari pemetaan kontraktif bernilai aljabar-C* pada ruang metrik parsial bernilai aljabar-C*.
One of the extension of metric spaces is partial metric spaces. A partial metric space is a pair (X, p) where X is a nonempty set and p : X × X → R is a partial metric on X, which is a real valued mapping on X × X that satisfy some axioms. The value of partial metrics can be generalized to a unital C*-algebra A, so that we can form a C*-algebra valued partial metric space (X, A, p) where X is a nonempty set and p : X × X → A is a C*-algebra valued partial metric on X, which is a A-valued mapping on X × X that satisfy some axioms. A fixed point of a mapping on a set, particularly metric space, is a point that is mapped to itself. Fixed point theorems are theorems regarding existence and uniqueness of a fixed point of a mapping on metric spaces. In this research, we establish and prove the relations between C*-algebra valued partial metric spaces and C*-algebra valued metric spaces. Furthermore, we prove a fixed point theorem of a C*-algebra valued contractive mapping on C*-algebra valued partial metric spaces."
Lengkap +
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2023
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
