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 ₽

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

Если Вы закажете книгу до 26.05.2025, то мы привезём её ориентировочно 07.07.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
Похожие книги
Pathophysiology of Heart Disease: An Introduction to Cardiovascular Medicine
изд. 2025

Leonard S. Lilly Pathophysiology of Heart Disease: An Introduction to Cardiovascular Medicine

  • ENG
  • изд. 2025
Designed to effectively prepare readers for their first encounters with patients with cardiovascular disease, Pathophysiology of Heart Disease: An Introduction to Cardiovascular Medicine is an award-winning text consistently preferred by medical students and faculty worldwide. In this fully revised ...
9 093 ₽
Stone Island
изд. 2020

Rabkin Eugene / Эжен Рабкен Stone Island

  • ENG
  • изд. 2020
The first book on the iconic, urban-inspired streetwear brand.
9 075 ₽
Nike: Better is Temporary
изд. 2021

Sam Grawe Nike: Better is Temporary

  • ENG
  • изд. 2021
At Nike, the desire to be the best is a journey, not a destination - better is always temporary.
11 080 ₽
Virgil Abloh. Nike. ICONS(Something's off)
изд. 2021

Virgil Abloh. Nike. ICONS(Something's off)

  • ENG
  • изд. 2021
From Air Jordan 1 to Air Presto, Nike and Virgil Abloh reinvented sneaker culture with their project, The Ten. Experience engineering ingenuity and Abloh`s investigative design process: each shoe is a piece of industrial design and a readymade sculpture. The binding on ICONS showcases an open spine,...
7 970 ₽
The Adidas Archive. The Footwear Collection. 40th Ed.
изд. 2023

The Adidas Archive. The Footwear Collection. 40th Ed.

  • GER
  • изд. 2023
The adidas story is one of groundbreaking designs, epic moments, and conceiving the all-around sports shoe, worn by the likes of Lionel Messi, Run DMC, and Madonna. A mecca for sneaker fans, this book presents adidas`s history through almost 200 pairs of shoes, including one-of-a-kind originals, vin...
3 321 ₽
Гемобластозы
изд. 2025

Рыков М.Ю., Долгополов И.С. Гемобластозы

  • изд. 2025
Практическое руководство включает сжатое изложение клинических рекомендаций по лечению пациентов с заболеваниями кроветворной и лимфоидной ткани (гемобластозами) с учетом современных достижений мировой науки. В руководстве отражены современные методы скрининга, диагностики и лечения, организации мед...
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 ₽