توضیحات
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can beusedin practice to express and reason about mathematical ideas.
The book is an introduction tosimple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic calledAlonzothat is based on Alonzo Church’s formulation of simple type theory known asChurch’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 apracticallogic for expressing and reasoning about mathematical ideas.
————————————————————–
ترجمه ماشینی :
این کتاب درسی منحصر به فرد، بر خلاف یک متن منطقی استاندارد، منطقی را در اختیار خواننده قرار می دهد که در واقع می تواند در تمرین برای بیان و استدلال درباره ایده های ریاضی استفاده کند. این کتاب مقدمه ای برای نظریه نوع ساده است، یک نسخه کلاسیک درجه بالاتر از منطق محمول که منطق مرتبه اول را گسترش می دهد. این یک منطق عمل محور به نام آلونزو ارائه می دهد که بر اساس فرمول بندی نظریه نوع ساده آلونزو چرچ است که به عنوان نظریه نوع کلیسا شناخته می شود. برخلاف منطق های محمول سنتی، آلونزو عبارات تعریف نشده را می پذیرد. این کتاب با استفاده از آلونزو نشان می دهد که چگونه نظریه نوع ساده به طور ایده آل برای استدلال در مورد ساختارهای ریاضی و ساخت کتابخانه های دانش ریاضی مناسب است. \ موضوعات و ویژگیها: -اولین مقدمهای را که در طول کتاب برای تئوری نوع ساده بهعنوان منطق محمول ارائه میکند – منطقی نزدیک به تمرین ریاضی در اختیار خواننده قرار میدهد – ابزارهای مورد نیاز برای ساخت کتابخانههای دانش ریاضی را ارائه میکند. – از دو معناشناسی استفاده می کند، یکی برای ریاضیات و دیگری برای منطق – بر دیدگاه مدل-نظری منطق محمول تاکید می کند – شامل چندین موضوع مهم مانند توصیف قطعی و مورفیسم های تئوری است که معمولاً در کتاب های درسی منطق استاندارد یافت نمی شود هدف دانش آموزان است. این کتاب در زمینه محاسبات و ریاضیات در مقطع کارشناسی ارشد یا فوق لیسانس، برای ریاضیدانان، متخصصان محاسبات، مهندسان و دانشمندانی که برای بیان و استدلال در مورد ایده های ریاضی به منطق عملی نیاز دارند، مناسب است.
tag : دانلود کتاب نظریه نوع ساده – منطق عملی برای بیان و استدلال درباره ایده های ریاضی , Download نظریه نوع ساده – منطق عملی برای بیان و استدلال درباره ایده های ریاضی , دانلود نظریه نوع ساده – منطق عملی برای بیان و استدلال درباره ایده های ریاضی , Download Simple Type Theory – A Practical Logic for Expressing and Reasoning About Mathematical Ideas Book , نظریه نوع ساده – منطق عملی برای بیان و استدلال درباره ایده های ریاضی دانلود , buy نظریه نوع ساده – منطق عملی برای بیان و استدلال درباره ایده های ریاضی , خرید کتاب نظریه نوع ساده – منطق عملی برای بیان و استدلال درباره ایده های ریاضی , دانلود کتاب 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 , دانلود 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 , خرید کتاب Simple Type Theory – A Practical Logic for Expressing and Reasoning About Mathematical Ideas ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.