Hasil Pencarian

Ditemukan 484 dokumen yang sesuai dengan query

Jan Hendrik Rapar, author

Pengantar logika : asas-asas penalaran sistematis

Yogyakarta: Kanisius, 1996

160 JAN p

Buku Teks Universitas Indonesia Library

B. Arief Sidharta, author

Pengantar Logika: Sebuah Langkah Pertama Pengenalan Medan Telaah

Buku ini perlu disambut dengan gembira, karena memuat bidang ilmu filsafat yang tidak saja penting sebagai wujud dari hasil pemikiran dasariah mengenai kegiatan berpikir manusia, tetapi juga penting karena logika memberikan dasar-dasar ketrampilan yang memiliki nilai praktis bagi manusia untuk dapat melaksanakan proses berpikir secara benar dan sahih. Bagi Ilmu...

Bandung: Rafika Aditama, 2016

160 ARI p

Buku Teks Universitas Indonesia Library

Alex Lanur, author

Logika selayang pandang

Yogyakarta: Kanisius, 1983

160 ALE l

Buku Teks Universitas Indonesia Library

Designing with programmable array logic / by The Technical Staff of Monolithic Memories

New York : McGraw-Hill, 1981

621.381 7 TEC d

Buku Teks Universitas Indonesia Library

Rancang bangun logic analyzer dengan menggunakan PC untuk menampilkan timing diagram (diagram pewaktuan)

Fakultas Teknik Universitas Indonesia, 1999

S39015

UI - Skripsi (Membership) Universitas Indonesia Library

Mundici, Daniele, author

Logic : a brief course

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself...

Milan: Springer, 2012

e20420479

eBooks Universitas Indonesia Library