Menghadirkan Cahaya Tuhan, Mehdi Ha'iri Yazdi

Judul/Title: Menghadirkan Cahaya Tuhan: Epistimologi Iluminasionis dalam filsafat Islam (The Principles of Epistimology in Islamic Philosophy: Knowledge by Presence, State University of New York Press, 1992)
Penulis/Author: Mehdi Ha'iri Yazdi
Penerbit/Publisher: Mizan
Edisi/Edition: 2003
Halaman/Pages: 364
Dimensi/Dimension: 16 x 23.5 x 1.5cm
Sampul/Cover: Paperback
Bahasa/Language: Indonesia
Kategori/Category: Dijual/For Sale
Harga/Price: Rp. 99.000,-
Call No.:
Status: Ada/Available

***

Ilmu hudhuri (knowledge by presence atau pengetahuan-dengan-kehadiran) adalah istilah yang pertama kali digunakan oleh Syihab Al-Din Suhrawardi-pendiri mahzab iluminasionisme dalam filsafat Islam-untuk merujuk ke jenis pengetahuan yang diperoleh melalui kesadaran intuitif. Pengetahuan tentang diri, perasaan, dan keadaan-keadaan pribadi, serta pengalaman mistik adalah contoh bentuk-bentuk ilmu Hudhuri. Karena bersifat nonempiris, filsafat modern cenderung menafikan kesejatian pengetahuan ini dengan menganggapnya sebagai lompatan-lompatan imajinasi yang tidak memiliki kandungan kognitif.

Mehdi Hairi Yazdi-diasuh dan dibesarkan oleh tradisi filsafat Islam di hauzah-hauzah Persia dan kemudian mendalami filsafat modern di universitas-universitas Barat berhasil mendemonstrasikan keabsahan dan keautentikan ilmu hudhuri sebagai model ilmu nonreprenstasional. Melalui argumen-argumen logis, analisis semantik, dan epistimologis yang tajam dan bernas, dia tiba pada sebuah kesimpulan bahwa ilmu hudhuri saja tak dapat ditolak eksistensinya, tetapi bahkan merupakan basis konstitusi seluruh jenis dan modus pengetahuan manusia.

Logika Informatika, Suprapto

Judul/Title: Logika Informatika
Penulis/Author: Suprapto
Penerbit/Publisher: Gava Media
Edisi/Edition: 2003
Halaman/Pages: 202
Dimensi/Dimension: 16 x 23 x 1cm
Sampul/Cover: Paperbacks
Bahasa/Language: Indonesia
Kategori/Category: Dijual/For Sale
Harga/Price: Rp. 85.000,-
Call No.:
Status: Ada/Available

***

Mengingat keterbatasan buku logika khususnya "Logika Informatika" dan khususnya lagi yang berbahasa Indonesia, maka buku ini disamping disediakan untuk memenuhi kebutuhan para mahasiswa D-3 atau S-1 Program Studi Ilmu Komputer juga untuk para penggemar logika khususnya dasar-dasar logika untuk pemrograman komputer dan perancangan komputer.
Buku ini disusun dalam empat bab, yaitu:
Bab pertama berisi kalimat-kalimat abstrak dalam logika proporsisional, interpretasi, semantic tree, kalimat-kalimat valid, satisfiable, dan subtitusi.

• Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid, tidak valid, quantifier.
• Bab ketiga berisi skema-skema kalimat valid, closure, dan
• Bab keempat berisi logika biner, aljabar Boolean, fungsi-fungsi Boolean, manipulasi aljabar, manipulasi dengan Map.

Measure, Lebesgue Integral and Hilbert Space, A.N. Kolmogorov and S.V. Fomin

Judul/Title: Measure, Lebesgue Integrals, and Hilbert Space
Penulis/Author: A.N. Kolmogorov and S.V. Fomin
Penerbit/Publisher: Academic Press
Edisi/Edition: 1961
Halaman/Pages: 143
Dimensi/Dimension: 15.5 x 22.5 x 1cm
Sampul/Cover: Hardcover & Hardcopy
Bahasa/Language: English
Kategori/Category: Dijual/For Sale
Harga/Price: Rp. 125.000,-
Call No.:
Status: Ada/Available

***

This book is a translation of A.N.Kolmogorov and S.V. Fomin's book "Elementary Teorii Funktsii i Funktsional'nogo Analiza, II. Mera, Integral lebega i Prostranstvo Hilberta" (1960).
An English translation of the first part of this work was prepared by Leo F. Boron and published by Graylock Press in 1957 and is mentioned in [A] of the suggested reading matter added at the end of the present book.

The approach adopted by the Russian authors should be of great interest to many students since the concept of a semiring is introduced early on in the book and is made to play a fundamental role in the subsequent development of the notions of measure and integral. Of particular value to the student is the initial chapter in which all the ideas of measure are introduced in a geometrical way in terms of simple rectangles in the unit square. Subsequently the concept of measure is introduced in complete generality, but frequent back references to the simpler introduction do much to clarify the more sophisticated treatment of later chapters.

A number of errors and inadequacies of treatment noted by the Russian authors in their first volume are listed at the back of their second book and have been incorporated into our translation. The only change we have made in this addenda is to re-ference it in terms of the English Translation.

In this edition the chapters and sections have been numbered to make them independent of the numbering of the first part of the book and to emphasize the self-contained character of the work.

Linear & Functional Analysis, Bryan P. Rynne and Martin A. Youngson

Judul/Title: Linear Functional Analysis
Penulis/Author: Bryan P. Rynne and Martin A. Youngson
Penerbit/Publisher: Springer
Edisi/Edition: 2008
Halaman/Pages: 324
Dimensi/Dimension: 17 x 24 x 2cm
Sampul/Cover: Hardcover & Hardcopy
Bahasa/Language: English
Kategori/Category: Dijual/For Sale
Harga/Price: Rp. 125.000,-
Call No.:
Status: Ada/Available

***

This book provides an introduction to the ideas and methods of linear functional analysis at a level appropriate to the final year of an undergraduate course at British university. The prerequisites for reading it are a standard undergraduate knowledge of linear algebra and real analysis (including the theory of metric spaces).

Part of the development of functional analysis can be traced to attempts to find a suitable framework in which to discuss differential and integral equations. Often, the appropriate setting turned out to be a vector space of real or complex-valued functions defined on some set. In general, such a vector space is infinite-dimensional. This leads to difficulties in that, although many of the elementary properties of finite-dimensional vector spaces hold in infinite-dimensional vector spaces, many others not. For examples, in general infinite-dimensional vector spaces there is no framework in which to make sense of analytic concepts such as convergence and continuity. Nevertheless, on the spaces of most interest to us there is often to a norm (which extends the idea of the length of a vector to a somewhat more abstract setting). Since a norm on a vector space gives rise to a metric on the space, it is now possible to do analysis in the space. As real or complex-valued functions are often called functional, the term functional analysis same to be used for this topic.