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…

Elements of logical reasoning

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

ix, 264 hlm. ; 25 cm.

Judul Seri

-

No. Panggil

511.3 PLA e

Concise computer mathematics : tutorials on theory and problems

Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree. The text reflects the need to quickly introduce students from a variety of educational backgrounds to a number of essential mathematical concepts. The materia…

Reactive kripke semantics

This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the propert…

A course on mathematical logic

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares stude…

A logical introduction to proof

The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of …

Logika proposisional

No Inv.: 89534-89545/PSM/Perp/04/2c~102424/P/Perp/05/1c~111578-111582/P/Perp/07/5c

Mathematics in games, sports and gambling : the games people play

Bibliografi : hlm. 347-349 No Inv.: 138610-138611/P/Perp/14/2c

Introduction to mathematical logic

Bibliografi : hlm. 433-446 No Inv.: 138572,138573/P/Perp/14/2c

Dasar logika informatika ; sesuai silabus mata kuliah logika matematika

Bibliografi : hlm. 130