Course on basic model theory, Sarbadhikari, Haimanti Srivastava, Shashi Mohan

Автор: A. S. Troelstra
Название: Basic Proof Theory
ISBN: 0521779111 ISBN-13(EAN): 9780521779111
Издательство: Cambridge Academ
Рейтинг:
Цена: 7445.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Автор: Neal Koblitz
Название: A Course in Number Theory and Cryptography
ISBN: 1461264421 ISBN-13(EAN): 9781461264422
Издательство: Springer
Рейтинг:
Цена: 6981.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is a substantially revised and updated introduction to arithmetic topics, both ancient and modern, that have been at the centre of interest in applications of number theory, particularly in cryptography.

Автор: Hodges
Название: Model Theory
ISBN: 0521066360 ISBN-13(EAN): 9780521066365
Издательство: Cambridge Academ
Рейтинг:
Цена: 11563.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas such as set theory, geometry, algebra and computer science. This book provides an integrated introduction to model theory for graduate students.

Автор: Michael L. O?€?Leary
Название: A First Course in Mathematical Logic and Set Theory
ISBN: 0470905883 ISBN-13(EAN): 9780470905883
Издательство: Wiley
Рейтинг:
Цена: 15357.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Rather than teach mathematics and the structure of proofssimultaneously, this book first introduces logic as the foundationof proofs and then demonstrates how logic applies to mathematicaltopics. This method ensures that readers gain a firmunderstanding of how logic interacts with mathematics and empowersthem to solve more complex problems.

Автор: Henri Cohen
Название: A Course in Computational Algebraic Number Theory
ISBN: 3642081428 ISBN-13(EAN): 9783642081422
Издательство: Springer
Рейтинг:
Цена: 9077.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With the advent of powerful computing tools and numerous advances in math- ematics, computer science and cryptography, algorithmic number theory has become an important subject in its own right. Both external and internal pressures gave a powerful impetus to the development of more powerful al- gorithms. These in turn led to a large number of spectacular breakthroughs. To mention but a few, the LLL algorithm which has a wide range of appli- cations, including real world applications to integer programming, primality testing and factoring algorithms, sub-exponential class group and regulator algorithms, etc ... Several books exist which treat parts of this subject. (It is essentially impossible for an author to keep up with the rapid pace of progress in all areas of this subject.) Each book emphasizes a different area, corresponding to the author's tastes and interests. The most famous, but unfortunately the oldest, is Knuth's Art of Computer Programming, especially Chapter 4. The present book has two goals. First, to give a reasonably comprehensive introductory course in computational number theory. In particular, although we study some subjects in great detail, others are only mentioned, but with suitable pointers to the literature. Hence, we hope that this book can serve as a first course on the subject. A natural sequel would be to study more specialized subjects in the existing literature.