 |
|
|
Item Details
| Title:
|
MATHEMATICAL LOGIC
FOUNDATIONS FOR INFORMATION SCIENCE |
| By: |
Wei Li |
| Format: |
Hardback |
| List price:
|
£53.99 |
|
We believe that this item is permanently unavailable, and so we cannot source
it.
|
|
|
|
|
|
| ISBN 10: |
3764399767 |
| ISBN 13: |
9783764399764 |
| Publisher: |
BIRKHAUSER VERLAG AG |
| Pub. date: |
11 December, 2009 |
| Edition: |
2010 ed. |
| Series: |
Progress in Computer Science and Applied Logic 25 |
| Pages: |
273 |
| Translated from: |
Chinese |
| Description: |
This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical mathematical logic, and it offers formal proofs and concrete examples for all theoretical results. |
| Synopsis: |
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. It provides guidelines for the development of information science and technology. This book, with 10 chapters, presents basic principles and formal calculus of mathematical logic systematically. The first five chapters cover the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems. The contents of the last five chapters are extensions and developments of classical mathematical logic. This part elaborates version sequences of formal theories and their limits, the system of revision calculus, proxchemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. It also describes the paradigm of environments of three kinds of languages and the basic principles of metalanguage environments and addresses the workflow of scientific research in the information era.The first five chapters of this book may be used as an undergraduate text in mathematical logic and the last five chapters may be taught to graduate students in relevant disciplines. The book may serve as a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. |
| Illustrations: |
biography |
| Publication: |
Switzerland |
| Imprint: |
Birkhauser Verlag AG |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|