Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas

ISBN: 9783031211119
Код товара 153801

Farmer W.M. / Фармер

Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas

Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas

ISBN: 9783031211119
Код товара 153801

8 384 ₽

Доставка под заказ

Если Вы закажете книгу до 02.05.2025, то мы привезём её ориентировочно 13.06.2025.

  • Автор

    Farmer W.M. / Фармер

  • Издатель

    Springer

  • Тип обложки

    Hardback

  • Размеры

    235 x 155

  • Год издания

    2023

  • Вес (г)

    635

  • ISBN

    9783031211119

  • Язык

    ENG

  • Кол-во страниц

    295

О чём книга?

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates, using Alonzo, how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge. Topics and features: * Offers the first book-length introduction to simple type theory as a predicate logic * Provides the reader with a logic that is close to mathematical practice * Presents the tools needed to build libraries of mathematical knowledge * Employs two semantics, one for mathematics and one for logic * Emphasizes the model-theoretic view of predicate logic * Includes several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooks Aimed at students of computing and mathematics at the graduate or upper-undergraduate level, this book is also well-suited for mathematicians, computing professionals, engineers, and scientists who need a practical logic for expressing and reasoning about mathematical ideas. William M. Farmer is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.

1 Introduction.- 2 Answers to Readers’ Questions.- 3 Preliminary Concepts.- 4 Syntax.- 5 Semantics.- 6 Additional Notation.- 7 Beta-reduction and Substitution.- 8 Proof Systems.- 9 Theories.- 10 Sequences.- 11 Developments.- 12 Real Number Mathematics.- 1
Похожие книги
Classic Anatomical Illustrations
изд. 2008

Vesalius Classic Anatomical Illustrations

  • ENG
  • изд. 2008
An awe-inspiring fusion of science and art, this magnificent single-volume reference features more than 130 ground-breaking anatomical illustrations by history's most brilliant artists. Dramatic and highly studied sketches dating back to the sixteenth through eighteenth centuries, these images ...
1 607 ₽
Guyton and Hall Textbook of Medical Physiology,13 ed.
изд. 2015

Hall, John E. Guyton and Hall Textbook of Medical Physiology,13 ed.

  • изд. 2015
The 13th edition of Guyton and Hall Textbook of Medical Physiology continues this bestselling title's long tradition as the world’s foremost medical physiology textbook. Unlike other textbooks on this topic, this clear and comprehensive guide has a consistent, single-author voice and focuses on...
10168 ₽   7 118 ₽
Essential Clinical Anatomy, International Edition 5e
изд. 2014

Keith L. Moore, Arthur F. Dalley II, Anne M. R. Ag Essential Clinical Anatomy, International Edition 5e

  • изд. 2014
Essential Clinical Anatomy, Fifth Edition presents core anatomical concepts in a concise, student-friendly format. The text includes the hallmark blue Clinical Boxes, as well as surface anatomy and medical imaging features. It is an ideal text for shorter medical courses and health professions cours...
7227 ₽   5 059 ₽
How to eat
изд. 2025

How to eat

  • изд. 2025
2 374 ₽
Contemporary nursing
изд. 2025

Contemporary nursing

  • изд. 2025
12 125 ₽
Transforming global health partnerships
изд. 2025

Transforming global health partnerships

  • изд. 2025
This is a book about the human experience of conducting global health research, linked to operational responses to the control and prevention of diseases worldwide. Rather than a manual or how-to guide, we propose a roadmap and vision of equitable, sustainable, and impactful partnerships shared thro...
6 986 ₽
Practical general practice
изд. 2025

Practical general practice

  • изд. 2025
10 441 ₽
Clinical handbook of neuromuscular medicine
изд. 2025

Clinical handbook of neuromuscular medicine

  • изд. 2025
This updated and expanded new edition provides a concise introduction to the Neuromuscular Medicine subspecialty of neurology for residents and fellows. It's organized by disease states and includes chapters on diagnostic and management tools of particular relevance, including muscle and nerve ...
9 781 ₽