topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 10
 |
Logic of Computation
ISBN: 9783642638329 / Angielski / Miękka / 2012 / 403 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type...
The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Sc...
|
cena:
201,72 |
 |
Proof and Computation
ISBN: 9783642793639 / Angielski / Miękka / 2011 / 470 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal...
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of P...
|
cena:
403,47 |
 |
Proofs and Computations
ISBN: 9780521517690 / Angielski / Twarda / 2011 / 480 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Godel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to 11 CA0. Ordinal analysis and the (Schwichtenberg Wainer) subrecursive hierarchies play a central role and are used in proving...
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and ...
|
cena:
352,88 |
 |
Logic of Computation
ISBN: 9783540629634 / Angielski / Twarda / 1997 / 394 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis. The lectures presented here provide the basic knowledge a researcher in this area should have and give excellent starting points for exploring the literature. Topics covered include semantics and...
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 Int...
|
cena:
480,69 |
 |
Computational Logic
ISBN: 9783642636707 / Angielski / Miękka / 2012 / 448 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of... Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from ma...
|
cena:
605,23 |
 |
Proof and System-Reliability
ISBN: 9781402006074 / Angielski / Twarda / 2002 / 415 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science.
As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Expe...
|
cena:
534,05 |
 |
Proof and System-Reliability
ISBN: 9781402006081 / Angielski / Miękka / 2002 / 415 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations.
This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also... As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Expe...
|
cena:
201,72 |
 |
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
ISBN: 9789813270930 / Angielski / Twarda / 2018 / 300 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
487,78 |
 |
Logic and Algebra of Specification
ISBN: 9783642634482 / Angielski / Miękka / 2014 / 442 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are alsodue to new theoretical advances, to a great extent stimulated by computer science, which have led to new types of logic and new logical calculi. The new techniques, methods and tools from logic, combined with algebra-based ones, offer very powerful and useful tools for the computer scientist, which may soon become...
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic...
|
cena:
605,23 |
 |
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
ISBN: 9789811236471 / Angielski / Twarda / 2021 / 380 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
658,50 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
