Ditemukan 484 dokumen yang sesuai dengan query
Manna, Zohar, author
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and...
Philadelphia: Society for Industrial and Applied Mathematics, 1980
e20450584
eBooks Universitas Indonesia Library
Ben-Ari, Mordecchai, 1948-, author
London: Springer-Verlag, 2012
511.3 BEN m
Buku Teks Universitas Indonesia Library
LaMeres, Brock J., author
This textbook provides a starters guide to Verilog, to be used in conjunction with a one-semester course in Digital Systems Design, or on its own for readers who only need an introduction to the language. This book is designed to match the way the material is actually taught in the...
Switzerland: Springer Nature, 2019
e20509911
eBooks Universitas Indonesia Library
Lee, Samuel C., author
Jakarta: Erlangga, 1991
621.381 958 LEE dt (1)
Buku Teks Universitas Indonesia Library
Kowalski, Robert
New York: Elsevier, 1979
519.7 KOW i
Buku Teks Universitas Indonesia Library
Rybacki, Karyn C. (Karyn Charles), 1947-, author
Harlow, Essex: Pearson, 2014
808.53 RYB a
Buku Teks Universitas Indonesia Library
Blalock, Hubert M., author
Englewood Cliffs, NJ: Prentice-Hall, 1969
511.5 BLA t
Buku Teks Universitas Indonesia Library
New York: Irvington Publ., 1967
300.72 INT
Buku Teks Universitas Indonesia Library
Andini Murti, author
Skripsi ini membahas consumer society dari pemikiran Jean Baudrillard dan Herbert Marcuse dan melakukan analisa komparasi terhadap pemikiran kedua filsuf tersebut. Marcuse merupakan filsuf teori kritis dari Mazhab Frankfurt yang mengkritik masyarakat industri maju mengenai yang memiliki suatu gaya hidup konsumtif akibat tendensi totalitarian dari teknologi. Individu pada masyarakat industri...
Depok: Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 2005
S15994
UI - Skripsi (Membership) Universitas Indonesia Library
Marlando Wawolumaya, author
Tesis ini merupakan penelitian atas pemikiran Gottlob Frege yang mencoba untuk memanifestasikan prinsip-prinsip logika ke dalam tataran bahasa. Penelitian ini pada dasarnya lebih mengacu kepada problem yang krusial dalam logika mau pun bahasa, yaitu kebermaknaan. Kebermaknaan menjadi sebuah isu dalam logika yang menjadi ruang ontologis penyebab dari kesesatan dan ambiguitas....
Depok: Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 2011
T28735
UI - Tesis (Open) Universitas Indonesia Library
