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

Think critical thinking and logic skills for everyday life

Bibliografi : hlm. 442-454 No Inv.: 146570,146571/P/Perp/14/2c

Towards a general theory of classifications

This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which would be available to any kind of them: hierarchical or non-hierarchical, ordinary or fuzzy, overlapping or non-overlapping, finite or infinite, and so on, establishing a basis for all possible divisio…

Visual reasoning with diagrams

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early…