Ditemukan 2891 dokumen yang sesuai dengan query
Sundstrom, Ted
New Jersey: Pearson-Prentice Hall, 2007
511.36 SUN m
Buku Teks Universitas Indonesia Library
Joshi, Mark
"This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new proofs across different areas of pure mathematics with ease. The patterns in proofs from diverse fields such as algebra, analysis, topology and number theory are explored. Specific topics examined include game theory, combinatorics, and Euclidean geometry, enabling a broad familiarity.
The author, an experienced lecturer and researcher renowned for his innovative view and intuitive style, illuminates a wide range of techniques and examples from duplicating the cube to triangulating polygons to the infinitude of primes to the fundamental theorem of algebra. Intended as a companion for undergraduate students, this text is an essential addition to every aspiring mathematician’s toolkit."
Switzerland: Springer International Publishing, 2015
e20528436
eBooks Universitas Indonesia Library
Rademaker, Alexandre, editor
"A proof theory for description logics introduces sequent calculi and natural deduction for some DLs (ALC, ALCQ). Cut-elimination and normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes."
London: Springer, 2012
e20406298
eBooks Universitas Indonesia Library
Gila Hanna
"This book, resulting from the 19th ICMI Study, brings together a variety of viewpoints on issues such as : (1) the potential role of reasoning and proof in deepening mathematical understanding in the classroom as it does in mathematical practice, (2) the developmental nature of mathematical reasoning and proof in teaching and learning from the earliest grades, and (3) the development of suitable curriculum materials and teacher education programs to support the teaching of proof and proving."
Dordrecht, Netherlands: Springer, 2012
e20400684
eBooks Universitas Indonesia Library
Sulistiandriatmoko
"Alat bukti elektronik telah diatur dalam Pasal 86 Undang-Undang Narkotika. Alat bukti elektronik tersebut selalu diandalkan pada setiap tingkatan peradilan, baik pada tingkat penyidikan, penuntutan maupun pemeriksaan di pengadilan. Kekuatan pembuktian alat bukti elektronik sebagai alat bukti yang sah dapat dilihat dalam Putusan Pengadilan Negeri Jakarta Barat nomor 1094/Pid.Sus/2015 PN.JKT.BRT, 13 Nopember 2015 yang memvonis terdakwa Wong Chi Ping dengan hukuman mati dan putusan banding Pengadilan Tinggi DKI Jakarta nomor 307/PID/2015/PT.DKI, 18 Januari 2016Â juga telah menguatkan putusan Pengadilan Negeri Jakarta Barat tersebut. Alat bukti elektronik yang dijadikan pertimbangan Hakim dalam memutus perkara tersebut berasal dari berkas dakwaan Jaksa dan Jaksa mendapatkan dari berkas perkara penyidikan yang diajukan oleh Penyidik BNN. Legalitas penyidik BNN melakukan penyadapan untuk mendapatkan alat bukti elektronik diatur pada Pasal 75 huruf i Undang-Undang Narkotika.
Electronic evidence is provided in Article 86 of the Narcotics Act. Such electronic evidence is always relied upon at every level of the judiciary, whether at the level of investigation, prosecution or trial in court. The strength of proof of electronic evidence as a valid evidence can be seen in the Decision of West Jakarta District Court number 1094/Pid.Sus/2015/PN.JKT.BRT, 13 November 2015 which sentenced the defendant Wong Chi Ping to death sentence and appeal decision of DKI High Court Jakarta number 307/PID/2015/PT.DKI, January 18, 2016 has also strengthened the decision of West Jakarta District Court. Electronic evidence which the Judge takes into consideration in deciding the case comes from the indictment file of the Prosecutor and the Prosecutor obtained from the file of the investigation case filed by the BNN Investigator. Legality investigator BNN intercepts to obtain electronic evidence is set in Article 75 letter i Narcotics Ac
"
Depok: Fakultas Hukum Universitas Indonesia, 2018
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Barnett, Stephen
Oxford: Clarendon Press, 1990
629.831 2 BAR i
Buku Teks Universitas Indonesia Library
Gordon, Charles K.
California: Dickenson, 1967
512.817 GOR i
Buku Teks Universitas Indonesia Library
Bailley, Norman T. J.
London: Charles Griffin, 1975
519.52 BAI m
Buku Teks Universitas Indonesia Library
Leo Jimmi Agustinus
"Membahas penagnanan perkara tindak pidana pencucian uang khususnya dalam hal perlu tudaknya pembuktian tindak pidana asal dalam penanganan tindak pidana pidana pencucian uang dan kaitan antara dua tindak pidana tersebut. Penelitian ini adalah penelitian hukum normatif yang bersipat deskriptis analisis, dimana data yang diperoleh akan dianalisis secara kualitatif, Penelitian ini berkesimpulan bahwa adanya hubungan berkelanjtan yang terpisah dan berdiri sendii sendiri antara tindak pidana asal dan tindak pidana pencucian uang, adanya kesamaan bentuk antara tindak pidana pencucian uang dngan tindak pidana penadahan, dan dalam penanganan tindak pidana pencucian uang tidak diperlukan untuk pembuktian terlebih dahlu tindak pidana asalnya. Penelitian ini juga menyarankan agar setiap komponen dalam sistem peradlan pidana untuk mempunyai kesamaan sikap mengenai kesimpulan penelitian ini menyarankan bagi penegak hukum untuk memberikan ruang seluasnya bagi terdakwa tindak pidana pencucian uang untuk menggunakan haknya sesuai UUPPTIPPU.
This thesis details on administering cases on money laundering criminal act specifically on whether or not os required origin criminal act burden of proof in money laundering criminal act and connection between both criminal act. This study shall be a normative legal study and analysis descriptive in nature, whereby the collected data will be analyzed qualitatively. This study concluded that there exists a separate and independent sustainable relationship between origin criminal act and money laundering criminal act, a similarity of form between money laundering criminal act and fencing criminal act, and in administering money laundry criminal act it is not required to first proof its origin criminal act. Further, this study suggests for each component in the criminal justice system to have a unity of attitude to the conclusion of this study for the formation of an integrated criminal justice system. This study also encourages legal practitioners to provide the broadest space to money laundering criminal defendant to utilize his/her right under UUPPTPPU."
Depok: Fakultas Hukum Universitas Indonesia, 2011
T28944
UI - Tesis Open Universitas Indonesia Library
Kaplan, Edward L.
New York: John Wiley & Sons, 1982
519.7 KAP m
Buku Teks Universitas Indonesia Library