Hasil Pencarian  ::  Simpan CSV :: Kembali

"Tugas akhir ini membahas tentang pengunaan metode penukaran 2-2 dalam menentukan perjalanan keliling wiraniaga yang mempunyai nilai (atau biaya) yang paling optimal, dalam hal ini mencari nilai yang minimal dari suatu perjalanan keliling wiraniaga."

"Dalam tuga6 akhir mi akan diberikan suatu cara mencari solusi sistem persamaan linier AX=B dimana A adalah matriks non singulir dengan rnenggunakan Coates graf Akan dibahas Pula tentang penyederhanaan Coates graf Proses penyederhanaan yang dipakal adalah:1. Eliminasi verteks dan2. DekoinposisiSebagai hasil sampingan juga akan diberikan cara menghitung determinan dan kofaktor eleinen suatu matriks."

"Penelitian pendahuluan ini mempunyai tujuan untuk menghasilkan formalisasi sebagian dari teori graph. Graph merupakan ilmu yang cakupannya luas dan mempunyai banyak aplikasi. Akan tetapi, di dalam pustaka sistem HOL belum terdapat teori graph yang formal. Penyusunan formalisasi diawali dengan studi literatur mengenai sistem HOL, kemudian dilanjutkan dengan eksperimen-eksperimen. Terdapat enam buah eksperimen yang dilakukan secara bertahap. Eksperimen pertama berupa eksperimen menggunakan pustaka HOL. Eksperimen kedua berupa eksperimen memformalisasikan teori gcd yang kemudian memberikan pengetahuan mengenai bentuk formalisasi teori. Eksperimen ketiga menghasilkan struktur data untuk teori graph dan sebuah definisi dari teori graph. Eksperimen keempat menjelaskan beberapa contoh pembuktian menggunakan Taktik yang membantu terbentuknya formalisasi teori graph. Eksperimen kelima dan keenam memaparkan hal-hal yang perlu diperhatikan dari definisi-definisi dan teorema informal dari teori graph. Hasil dari penelitian ini adalah formalisasi dari sebagian teori graph yang dinyatakan dalam 21 definisi penting, 6 definisi umum, 28 definisi bantuan, 3 definisi tanggung, dan 1 teorema. Selain itu, dihasilkan juga pedoman pembuktian menggunakan Taktik dalam sistem HOL.This preliminary research has a goal to produce a formalization of part of graph theory. Graph has been known widely and has many applications. However, a formalization of graph theory has not been implemented in HOL system?s library. This work begins with studying literature about HOL system, then continued with several experiments. There are six experiments. The first experiment is using HOL?s library. The second experiment is formalization on GCD theory, which then elaborates the basic form of formalization. The third experiment produces data structures for graph theory and one definition of graph theory. The fourth experiment describes several proofing examples using Tactic that help make a formalization on graph theory. The fifth and sixth experiments explain things to note from the informal definitions and theorems of graph theory. The result from this research is a formalization of part of graph theory that stated in 21 important definitions, 6 general definitions, 28 helper definitions, 3 pseudo definitions, and 1 theorems. In addition, proofing guidance using Tactic in HOL system also be produced."

"ABSTRAKDiberikan graph planar ortogonal dengan derajat simpulnya 4, mempunyai belokan pada rusuknya dari tidak ada rusuk yang saling berpotongan. Dalam tulisan inti dibahas bagaimana mendapatkan graph planar ortogonal dengan jumlah belokan minimum dari disajikan dalam petak ortogonal. Graph planar ortogonal dengan jumlah belokan minimum yang disajikan dalam petak ortogonal dari graph planar ortogonal asal isomorfis."

"ABSTRAKBentuk matriks almost strictly sign regular ASSR adalah bentuk menengah antara bentuk sign regular dan strictly sign regular. Akan dilakukan dekomposisi QR terhadap bentuk ASSR dan dilakukan karakterisasi terhadap hasil dari dekomposisi tersebut. Hasil karakterisasi ini akan digunakan untuk mendapat metode penentuan matriks ASSR. Algoritma beserta hasil implementasi dari metode tersebut turut disertakan.

---

ABSTRACTThe QR decomposition of almost strictly sign regular ASSR matrices has been characterized by Alonso 2015 . It yields a theorem that helps to identify ASSR matrices through QR decomposition. In this paper, the algorithm for the identification is constructed based on Alonso rsquo s characterization. This paper also provides step by step explanation of the identification process, in correspondence with Alonso's characterization. Some numerical examples are presented."

"Tujuan utama penulisan skripsi ini adalah membahas tentang generalisasi dan Intersection Graph (atau Irisan Graph seperti yang biasa kita lakukan) ke dalam Fuzzy Intersection Graph. Generalisasi ini dilakukan dengan cara menerapkan konsep Fuzzy Set ke dalam teori graph. Representasi Fuzzy Intersection Graph juga akan dibahas dalam skripsi ini."