Ditemukan 41 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
Kowalski, Robert
New York: Elsevier, 1979
519.7 KOW i
Buku Teks Universitas Indonesia Library
Blalock, Hubert M., author
Englewood Cliffs, NJ: Prentice-Hall, 1969
511.5 BLA t
Buku Teks 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
London: Nort-Holland Publishing Company, 1973
511.3 TRU
Buku Teks Universitas Indonesia Library
Luis Farinas del Cerro, editor
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of...
Berlin: [, Springer-Verlag], 2012
e20409374
eBooks Universitas Indonesia Library
Jan van Eijck, editor
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "Games, actions and Social software" which was carried out at the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS) in Wassenaar, from September...
Berlin: [, Springer-Verlag], 2012
e20409548
eBooks Universitas Indonesia Library
Luke Ong, editor
This book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The...
Berlin: [, Springer-Verlag], 2012
e20410041
eBooks Universitas Indonesia Library
Rosen, Kenneth H., author
New York : McGraw-Hill Medica, 2013
511 ROS d
Buku Teks Universitas Indonesia Library
New York: Springer-Verlag, 1992
511.3 LOG
Buku Teks Universitas Indonesia Library
