Ditemukan 2 dokumen yang sesuai dengan query
Valentino Vito
"
Teori graf adalah sebuah bidang studi interdisipliner yang memiliki berbagai aplikasi dalam pemodelan matematika dan ilmu komputer. Penelitian dalam teori graf tidak hanya bergantung pada teorema baru, namun juga pada konjektura baru. Algoritma penyanggah konjektura dapat digunakan untuk menyanggah suatu konjektura dengan cara mencari sebuah counterexample, seringnya dengan cara memaksimumkan suatu fungsi skor pada graf. Penelitian ini mengusulkan sebuah algoritma penyanggah konjektura baru, disebut sebagai algoritma adaptive Monte Carlo search (AMCS), yang diperoleh dari hasil ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2023
T-pdf
UI - Tesis Membership Universitas Indonesia Library
Valentino Vito
"
Lema Lima Pendek adalah sebuah pernyataan mengenai kategori Abelian. Untuk mendefinisikan kategori Abelian, perlu dibahas mengenai kategori. Teori kategori adalah sebuah teori yang memberikan konteks untuk menyatukan berbagai macam struktur matematis. Suatu kategori terdiri atas sebuah koleksi berisi objek beserta himpunan-himpunan berisi morfisma sedemikian sehingga beberapa aksioma terpenuhi. Sebuah kategori dapat digambarkan sebagai sebuah diagram berpanah dengan setiap panah dipandang sebagai sebuah morfisma. Pada teori kategori, beberapa konsep seperti produk dan kernel dapat didefinisikan. ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2020
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
