Hasil Pencarian

Ditemukan 6 dokumen yang sesuai dengan query

Judhi Santoso, author

Simulasi mesin turing dengan mesin pangakses acak menggunakan blok memori

Dengan suatu program dapat ditunjukkan bahwa kompleksitas waktu simulasi MT 2-pita dengan MPA menggunakan blok memori mempunyai orde yang sama dengan hasil yang diperoleh dari analisa algoritma, yakni T (n) loglog (S (n)). Dalam tugas akhir ini digunakan tiga metoda untuk menguji orde kompleksitas waktu tersebut. Metoda tersebut adalah: 1. metoda blok...

Depok: Universitas Indonesia, 1990

T8503

UI - Tesis Membership Universitas Indonesia Library

Denta Prayudana Adji, author

Gambaran faktor precondition for unsafe acts dan unsafe acts pada pengendara motor saat turing menggunakan metode human factors analysis and classification system (HFACS) di Klub Motor X tahun 2015 = Measurement precondition for unsafe acts and unsafe acts factor on motorcycle rider at the touring using human factors analysis classification system (HFACS) in X Motorcycle Club 2015

Klub Motor X merupakan salah satu klub motor yang anggotanya tersebar di seluruh Indonesia, namun untuk penelitian kali ini hanya dibatasi wilayah Jabodetabek saja. Klub motor ini memiliki agenda rutin yaitu melakukan turing. Dalam perjalanan turing tersebut, ditemukan berbagai risiko yang dapat menimbulkan terjadinya kecelakaan. Meski tidak tercatat secara detail,...

Depok: Fakultas Kesehatan Masyarakat Universitas Indonesia, 2016

S61998

UI - Skripsi Membership Universitas Indonesia Library

Theory and applications of models of computation : 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics,...

Berlin: Springer-Verlag, 2012

e20410304

eBooks Universitas Indonesia Library

Ericolas Chandra, author

Posibilitas Agen Moral Artifisial: Sintesa Fungsionalisme Komputasional dengan Naturalisme Kognitif = The Possibility of Artificial Moral Agents: Synthesis of Computational Functionalism and Cognitive Naturalism

Kurangnya pertanggungjawaban etis pada aksi robot disebabkan oleh ketidakseimbangan antara perkembangan otonomi robot dengan kemampuannya dalam membuat putusan moral. Menanggapi isu ini, skripsi ini berupaya menyediakan justifikasi pada posibilitas Agen Moral Artifisial melalui diskursus filsafat akal budi dan metaetika. Posibilitas ini tersusun atas teori komputasional sebagai pandangan ontologis, naturalisme kognitif...

Depok: Fakultas Ilmu Pengetahuan Budaya Universitas Indonesia, 2016

S-pdf

UI - Skripsi Membership Universitas Indonesia Library

Ericolas Chandra, author

Posibilitas agen moral artifisial: sintesa fungsionalisme komputasional dengan naturalisme kognitif = The possibility of artificial moral agents: synthesis of computational functionalism and cognitive naturalism

ABSTRAK
Kurangnya pertanggungjawaban etis pada aksi robot disebabkan oleh ketidakseimbangan antara perkembangan otonomi robot dengan kemampuannya dalam membuat putusan moral. Menanggapi isu ini, skripsi ini berupaya menyediakan justifikasi pada posibilitas Agen Moral Artifisial melalui diskursus filsafat akal budi dan metaetika. Posibilitas ini tersusun atas teori komputasional sebagai pandangan ontologis, naturalisme kognitif...

2016

S67944

UI - Skripsi Membership Universitas Indonesia Library

Rich, Elaine, author

Automata, Computability, and Complexity: Theory and Applications

Upper Saddle River NJ: Pearson Prentice hall, 2009

511.3 RIC a

Buku Teks Universitas Indonesia Library

:: Hasil Pencarian :: Simpan CSV :: Kembali

Hasil Pencarian