Formally p-adic Fields, A. Prestel; P. Roquette

Автор: Von Plato Jan
Название: The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
ISBN: 0691174172 ISBN-13(EAN): 9780691174174
Издательство: Wiley
Рейтинг:
Цена: 3548.00 р. 5069.00 -30%
Наличие на складе: Есть (1 шт.)
Описание:

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.

Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schr der, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt G del conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.

Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.

Автор: A. Prestel
Название: Lectures on Formally Real Fields
ISBN: 3540138854 ISBN-13(EAN): 9783540138853
Издательство: Springer
Рейтинг:
Цена: 3487.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Develops the theory of valuations as well as of Henselizations. This book presents three applications of the general theory - as to Artin's Conjecture on the p-adic number fields - that could not be obtained by the use of absolute values only.

Автор: Jean E. Pin
Название: Formal Properties of Finite Automata and Applications
ISBN: 354051631X ISBN-13(EAN): 9783540516316
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Christiano Braga; Peter Csaba ?lveczky
Название: Formal Aspects of Component Software
ISBN: 3319289330 ISBN-13(EAN): 9783319289335
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niteroi, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions.

Автор: S?bastien Ferr?; Sebastian Rudolph
Название: Formal Concept Analysis
ISBN: 3642018149 ISBN-13(EAN): 9783642018145
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 7th International Conference on Formal Concept Analysis, ICFCA 2009, held in Darmstadt, Germany, in May 2009. This book includes the papers that present results in Formal Concept Analysis and related fields.

Автор: Ito Masami Et Al
Название: Automata, Formal Languages And Algebraic Systems - Proceedings Of Aflas 2008
ISBN: 9814317608 ISBN-13(EAN): 9789814317603
Издательство: World Scientific Publishing
Рейтинг:
Цена: 13781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. This book covers the areas such as automata and grammars, languages and codes, and logics and trees.

Автор: Didier Bert; Jonathan P. Bowen; Martin C. Henson;
Название: ZB 2002: Formal Specification and Development in Z and B
ISBN: 3540431667 ISBN-13(EAN): 9783540431664
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification notion and cover the full scope for the B method, from theoretical issues to applications.

Автор: Carlos Martin-Vide; Victor Mitrana; Gheorghe P?un
Название: Formal Languages and Applications
ISBN: 3642535542 ISBN-13(EAN): 9783642535543
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers.

Автор: Jan Vytopil
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540550925 ISBN-13(EAN): 9783540550921
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event models to specification, modeling, analysis and verification of real-time and fault-tolerant systems.

Автор: Pierre Bonzon; Marcos Cavalcanti; Rolf Nossum
Название: Formal Aspects of Context
ISBN: 9048154723 ISBN-13(EAN): 9789048154722
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: We welcome Volume 20, Formal Aspects of Context.

Автор: Gemma Bel-Enguix; M Dolores Jim?nez-L?pez; Carlos
Название: New Developments in Formal Languages and Applications
ISBN: 3642096964 ISBN-13(EAN): 9783642096969
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others.

Автор: Giovanni Sommaruga
Название: Formal Theories of Information
ISBN: 3642006582 ISBN-13(EAN): 9783642006586
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the scientific outcome of a joint effort of the computer science departments of the universities of Berne, Fribourg and Neuchatel. This book examines whether there is any common ground between the different approaches to the concept of information.