Hasil Pencarian  ::  Simpan CSV :: Kembali

"Tugas akhir mi membahas cara pembuatan prosedur dan program pembuktian teorema dengan bahasa Turbo Prolog. Dalam hal ini Turbo Prolog digunakan sebagai alat pembukti teorerna. Juga dijelaskan logika dan dasar-dasar cara pembuatan prosedur dan program tersebut, diantaranya yang terpenting adalah dasar dan cara kerja Turbo Prolog, yaitu pembuktian dengan kontradiksi."

"Abstrak Topologi plus di R2 adalah sebuah topologi di R2 yang dibentuk oleh hinpunan buka+. Dalam tugas akhir ini akan digunakan pemahaman topologi plus di R2 dalam pembuktian teorema Baire. Teorema Baire menyatakan bahwa jika kedua turunan parsial pertama suatu fungsi f: R2 - R ada di setiap titik di R2, Maka terdapat suatu subhimpunan padat di R2 di Mana f diferensiabel."

"Pada topologi, homeomorfisme adalah pemetaan antara ruang topologi yang bersifat bijektif, kontinu, dan memiliki invers kontinu. Keberadaan homeomorfisme antara dua ruang topologi mengakibatkan ruang-ruang tersebut dianggap sama secara topologi. Dalam topologi, salah satu masalah utama yang dihadapi adalah masalah penentuan keberadaan homeomorfisme antara dua ruang topologi. Invarian topologi adalah sifat dari ruang topologi yang tidak berubah terhadap homeomorfisme, sehingga invarian topologi sering digunakan pada penetuan keberadaan homeomorfisme antara ruang-ruang topologi. Salah satu invarian topologi pada topologi aljabar adalah grup fundamental, yang merupakan grup dari kelas-kelas ekuivalensi gelung (loop) pada ruang topologi. Teorema van Kampen adalah sebuah teorema mengenai homomorfisme antara grup fundamental dari ruang topologi, yang dapat digunakan untuk menentukan grup fundamental dari ruang topologi yang dapat didekomposisi menjadi ruang topologi yang lebih sederhana. Pada tugas akhir ini, dibuktikan kembali teorema van Kampen secara rinci.

---

In topology, homeomorphism is a bijective continuous mapping between topological spaces with continuous inverse. The existence of homeomorphism between two topological spaces results in those spaces being considered topologically equivalent. A main problem faced in topology is the problem of determining the existence of homeomorphism between two topological spaces. Topological invariant is a property of topological space that does not change under homeomorphism, so so topological invariants are often used in determining the existence of homeomorphisms between topological spaces. One of the topological invariants used in algebraic topology is fundamental space, which is the group of equivalence classes of loops in topological spacae. Van Kampen theorem is a theorem about homomorphism between fundamental group of topological spaces, which can be used to determine fundamental group of topological space that can be decomposed into simpler topological space. This thesis will provide a detailed proof of van Kampen theorem."

"Pada skripsi ini pembuktian Teorema Fixed-Point Brouwer untuk kasus dimensi dua (pada cakram) melalui Aljabar Topologi akan dijabarkan. Pembuktian dilakukan dengan bantuan Teorema Ketiadaan Retraksi dan Teorema Lapangan Vektor. Selain membahas pembuktian untuk kasus dua dimensi ( 2 B ), pada skripsi ini pembuktian untuk kasus n dimensi ( n B ) juga dijabarkan. Pada skripsi ini teorema-teorema lain seperti hubungan retraksi dengan fixed point, dan hubungan homotopi dengan fixed point juga dibuktikan. "