Beginner`S Further Guide To Mathematical Logic, A, Smullyan Raymond M
Автор: Sung Название: Algorithms in Bioinformatics ISBN: 1420070339 ISBN-13(EAN): 9781420070330 Издательство: Taylor&Francis Рейтинг: Цена: 13779.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents an introduction to the algorithmic techniques applied in bioinformatics. For each topic, this title details the biological motivation, defines the corresponding computational problems, and includes examples to illustrate each algorithm.
Автор: Herbert Enderton Название: A Mathematical Introduction to Logic, ISBN: 0122384520 ISBN-13(EAN): 9780122384523 Издательство: Elsevier Science Рейтинг: Цена: 13994.00 р. Наличие на складе: Поставка под заказ.
Описание: Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.
Автор: Feng Ye Название: Strict Finitism and the Logic of Mathematical Applications ISBN: 9400736312 ISBN-13(EAN): 9789400736313 Издательство: Springer Рейтинг: Цена: 18866.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Exploring the logic behind applied mathematics to the physical world, this volume illustrates how radical naturalism, nominalism and strict finitism can account for the applications of classical mathematics in current theories about natural phenomena.
Описание: Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the twentieth century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition.
Описание: This book describes a system of mathematical models and methods that can be used to analyze real economic and managerial decisions and to improve their effectiveness.
Описание: This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.
Автор: Fuente, Angel de la. Название: Mathematical methods and models for economists ISBN: 0521585295 ISBN-13(EAN): 9780521585293 Издательство: Cambridge Academ Рейтинг: Цена: 8554.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is intended as a textbook for a first-year PhD course in mathematics for economists and as a reference for graduate students in economics. It provides a self-contained, rigorous treatment of most of the concepts and techniques required to follow the standard first-year theory sequence in micro and macroeconomics.
Автор: Tramontano Название: Introduction to Bioinformatics ISBN: 1584885696 ISBN-13(EAN): 9781584885696 Издательство: Taylor&Francis Рейтинг: Цена: 12095.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the elucidation and analysis of a genomic sequence to the prediction of a protein structure and the identification of the molecular function, this book describes the rationale and limitations of the bioinformatics methods and tools that can help solve biological problems. It addresses the ways to store and retrieve biological data.
Автор: Smullyan Raymond M Название: Beginner`S Further Guide To Mathematical Logic, A ISBN: 9814725722 ISBN-13(EAN): 9789814725729 Издательство: World Scientific Publishing Рейтинг: Цена: 3168.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on G del's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
