Kategoria BISAC: Mathematics >> Logic

Griddlers logic puzzles, also known as Picross or Nonograms, are picture logic puzzles in which cells in a grid have to be colored or left blank according to numbers given at the side of the grid to reveal a hidden picture. Some people compare Griddlers to Sudoku. However, the Griddlers puzzles always reveal a nice image as a result.

This book consists of 151 Griddlers puzzles, from small and easy up to big and complicated ones that may take several hours to solve. The solutions of the puzzles appear at the end of the book. At the end of the book we also brought 6 black and white...

One of the most pressingproblems of mathematics over the last hundred years has been the question: What is a number? One of the most impressive answers has been the axiomatic development of set theory. The question raised is: "Exactly what assumptions, beyond those of elementary logic, are required as a basis for modern mathematics?" Answering this question by means of the Zermelo-Fraenkel system, Professor Suppes' coverage is the best treatment of axiomatic set theory for the mathematics student on the upper undergraduate or graduate level.
The opening chapter covers the basic...

This third edition of a popular, well-received text offers undergraduates an opportunity to obtain an overview of the historical roots and the evolution of several areas of mathematics.
The selection of topics conveys not only their role in this historical development of mathematics but also their value as bases for understanding the changing nature of mathematics. Among the topics covered in this wide-ranging text are: mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, the real numbers system, sets, logic and philosophy...

Dieses Buch bietet eine Einfuhrung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Pradikatenkalkul und seinen Anwendungen auf die Anfange der kunstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den naturlichen Zahlen definierbaren Teilmengen eingefuhrt, um schlielich die Godelschen Unvollstandigkeitssatze zu beweisen. Durch seinen klaren Stil und die eingefugten Ubungsaufgaben ist...

The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net).