Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 41 - 50 of about 50 related to Recursively Enumerable Sets and Degrees: A Study of Computable Functions and ....   

Introduction to Languages, Machines and Logic: Computable Languages ...

Alan P. Parkes - Computers - 2002 - 351 pages
A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially ...
Limited preview - About this book

Soft Computing: Integrating Evolutionary, Neural, and Fuzzy Systems

Andrea Tettamanzi, Marco Tomassini - Business & Economics - 2001 - 328 pages
Soft computing encompasses various computational methodologies, which, unlike conventional algorithms, are tolerant of imprecision, uncertainty, and partial truth. Soft ...
Limited preview - About this book

Information and Randomness: An Algorithmic Perspective

Cristian S. Calude - Mathematics - 2002 - 468 pages
The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I said: "The research in ...
Limited preview - About this book

Boolean Functions and Computation Models

Peter Clote, Evangelos Kranakis - Computers - 2002 - 601 pages
This textbook presents a survey of research on boolean functions, circuits, parallel computation models, function algebras, and proof systems. Its main aim is to elucidate the ...
Limited preview - About this book

Fuzzy Discrete Structures

Davender S. Malik, John N. Mordeson - Business & Economics - 2000 - 263 pages
The subject of the book could be described as fuzzy discrete structures. The book deals with fuzzy logic, fuzzy switching functions, fuzzy decision trees, fuzzy networks, fuzzy ...
Limited preview - About this book

Automated Theorem Proving: Theory and Practice, Volume 1

Monroe Newborn, Monty Newborn - Computers - 2001 - 231 pages
This text and software package introduces the reader to automated theorem proving and provides two approaches implemented as easy-to-use programs. The two approaches studied ...
Limited preview - About this book

The Joy of Sets: Fundamentals of Contemporary Set Theory

Keith Devlin - Mathematics - 1994 - 194 pages
This text covers the parts of contemporary set theory relevant to other areas of pure mathematics. After a review of "na´ve" set theory, it develops the Zermelo-Fraenkel axioms ...
Limited preview - About this book

Logic of Domains

G. Zhang - Computers - 1991 - 260 pages
No preview available - About this book

  1. My library
  2. Help
  3. Advanced Book Search