Cylindric-like algebras and algebraic logic

Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways: as an algebraic form of def…

The mathematics of coordinated inference

Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their heads; each hat is either red or green. The two prisoners must simultaneously submit a guess of their own hat color, and they both go free if at least one of them guesses correctly. While no communication is allowed once the hats have been placed, they will, however…

Fact nd fiction

No Inv.: 138775-138776/P/Perp/14/2c

Logika dasar : tradisional simbolik dan induktif

No Inv.: 773-775/S/Perp/92/3c~723/S/Perp/91/1c~4025-4031/Perp/86/7c~6825-6829/P/Perp/92/5c

Logical foundations of mathematics and computational complexity : a gentle in…

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of pr…

Ernst Zermelo - collected Works/gesammelte werke II : volume II/band II - cal…

Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers consists of two volumes. The present Volume II covers Ernst Zermelo’s work on the calculus of variations, appli…

Berpikir kritis : sebuah pengantar

Edisi

-

ISBN/ISSN

9789790750913

Deskripsi Fisik

viii, 247 hlm. ; 25 cm

Judul Seri

-

No. Panggil

160 FIS b

The real numbers : an introduction to set theory and analysis

While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this text makes a serious study of the real number system and the issues it brings to light. Analysis needs the real numbers to model the line, and to support the concepts of continuity and measure. But these seemingly simple requirements lead to deep issues of set theory—uncountability, t…

Introduction to languages and the theory of computation

Bibliografi : hlm. 425-426

Logika informatika : dasar-dasar logika untuk pemrograman komputer dan peranc…

Bibliografi : hlm. 202; No Inv.: 137855-137859/P/Perp/14/5c