Математическая логика
Математика
  • формат pdf
  • размер 2.13 МБ
  • добавлен 22 декабря 2011 г.
Michael huth, Mark ryan. Logic in computer science modelling and Reasoning about Systems
Our motivation for (re)writing this book
One of the leitmotifs of writing the first edition of our book was the observation
that most logics used in the design, specification and verification of
computersystems fundamentally deal with a satisfaction relation
M ?
where M is some sort of situation or model of a system, and ? is a specification,
a formula of that logic, expressing what should be true in situation
M. At the heart of this set-up is that one can often specify and implement
algorithms for computing . We developed this theme forpr opositional,
first-order, temporal, modal, and program logics. Based on the encouraging
feedback received from five continents we are pleased to hereby present
the second edition of this text which means to preserve and improve on the
original intent of the first edition.
Похожие разделы
Смотрите также

Barwise J., Etchemendy J. Language, Proof and Logic

  • формат pdf
  • размер 3.72 МБ
  • добавлен 01 ноября 2011 г.
Издательство Seven Bridges Press, 1999, -597 pp. What do the fields of astronomy, economics, finance, law, mathematics, medicine, physics, and sociology have in common? Not much in the way of subject matter, that's for sure. And not all that much in the way of methodology. What they do have in common, with each other and with many other fields, is their dependence on a certain standard of rationality. In each of these fields, it is assumed that...

Bibel W. Deduction: Automated Logic

  • формат djvu
  • размер 2.01 МБ
  • добавлен 14 сентября 2011 г.
Academic Press, 1993. - 253 Pages. Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive methods on the level of propositional and first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, and their realization in concrete systems. This book can be use...

Dov M. Gabbay. Handbooks of logic in computer science. Volume 5

Справочник
  • формат pdf
  • размер 27.86 МБ
  • добавлен 22 декабря 2011 г.
Volume 5. Logic and Algebraic Methods. The present Volume 5 continues with logical and algebraic methodologies basic to computer science. Chapter 1 covers Martin-L0f's type theory, originally developed to clarify the foundations of constructive mathematics it now plays a major role in theoretical computer science. The second chapter covers categorial logic, the interaction area between category theory and mathematical logic. It builds on the basi...

Hamburger H., Richards D. Logic and Language Models for Computer Science

  • формат pdf
  • размер 16.21 МБ
  • добавлен 25 декабря 2010 г.
Prentice Hall, 2002. - 341 Pages. This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata-motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of examples and figures, yet without-losing sight of, and indeed celebrating, t...

Hedman S. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

  • формат pdf
  • размер 6.84 МБ
  • добавлен 03 декабря 2011 г.
Oxford University Press, 2004. - 452 pages. The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering...

Mendelson E. Introduction to Mathematical Logic

  • формат pdf
  • размер 10.39 МБ
  • добавлен 25 июня 2011 г.
Chapman & Hall/CRC, 1997. - 456 pages. The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and a...

Nienhuys-Cheng S.-H., de Wolf R. Foundations of Inductive Logic Programming

  • формат pdf
  • размер 8.28 МБ
  • добавлен 06 ноября 2011 г.
Издательство Springer, 1997, -248 pp. One of the most interesting recent developments within the field of automated deduction is inductive logic programming, an area that combines logic programming with machine learning. Within a short time this area has grown to an impressive field, rich in spectacular applications and full of techniques calling for new theoretical insights. This is the first book that provides a systematic introduction to the...

Paulson L.C. Logic and Computation. Interactive Proof with Cambridge LCF

  • формат djvu
  • размер 1.5 МБ
  • добавлен 06 февраля 2012 г.
Издательство Cambridge University Press, 1987, -316 pp. Growing numbers of computer scientists recognise the importance of formal methods of system design [48]. LCF and ML are often mentioned, seldom understood. There is a wide literature, as the bibliography attests. Gordon, Milner, and Wadsworth [41] describe Edinburgh LCF, with a few remarkable examples. The present book aims to make Cambridge LCF accessible to a wide audience. Serious stude...

Smullyan R.M. Logical Labyrinths

  • формат pdf
  • размер 3.64 МБ
  • добавлен 18 октября 2011 г.
AK Peters, 2009. - 275 pages. This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for...

Van Benthem J.F., ter Meulen A. Handbook of Logic and Language

Справочник
  • формат pdf
  • размер 66.99 МБ
  • добавлен 21 декабря 2011 г.
Elsevier, 2011. - 1168 pages. This is an expanding field and the logical study of language is becoming more interdisciplinary playing a role in disciplines such as computer science, artificial intelligence, cognitive science and game theory. Completely revised and updated, this new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as providi...