دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: [1 ed.]
نویسندگان: William M. Farmer
سری: Computer Science Foundations and Applied Logic
ISBN (شابک) : 9783031211119, 9783031211126
ناشر: Springer Nature Switzerland
سال نشر: 2023
تعداد صفحات: 295
[309]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 Mb
قیمت کتاب (تومان) : 29,000
در صورت تبدیل فایل کتاب Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه نوع ساده - منطق عملی برای بیان و استدلال درباره ایده های ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه نوع ساده - منطق عملی برای بیان و استدلال درباره ایده های ریاضی
این کتاب درسی منحصربه‌فرد، برخلاف یک متن منطقی استاندارد، منطقی را در اختیار خواننده قرار می‌دهد که در عمل می‌توان از آن برای بیان و استدلال درباره ایده‌های ریاضی استفاده کرد. این کتاب مقدمه‌ای است بر نظریه نوع ساده، یک نسخه کلاسیک درجه بالاتر از منطق محمول که منطق مرتبه اول را گسترش می‌دهد. این یک منطق عمل محور به نام Alonzo را ارائه می‌کند که بر اساس فرمول‌بندی نظریه نوع ساده آلونزو چرچ است که به عنوان نظریه نوع کلیسا شناخته می‌شود. برخلاف منطق های محمول سنتی، آلونزو عبارات تعریف نشده را می پذیرد. این کتاب با استفاده از آلونزو نشان می دهد که چگونه نظریه نوع ساده به طور ایده آل برای استدلال در مورد ساختارهای ریاضی و ساخت کتابخانه های دانش ریاضی مناسب است. موضوعات و ویژگی ها: -اولین مقدمه کتابی را برای نظریه نوع ساده به عنوان منطق محمول ارائه می دهد منطقی نزدیک به تمرین ریاضی در اختیار خواننده قرار می دهد -ابزارهای مورد نیاز برای ساخت کتابخانه های دانش ریاضی را ارائه می دهد -از دو معناشناسی، یکی برای ریاضیات و دیگری برای منطق استفاده می کند -بر دیدگاه مدل-نظری منطق محمول تاکید می کند -شامل چندین موضوع مهم مانند توصیف قطعی و مورفیسم های نظریه که معمولاً در کتاب های درسی منطق استاندارد یافت نمی شوند. این کتاب که برای دانشجویان محاسبات و ریاضیات در مقطع کارشناسی ارشد یا فوق لیسانس طراحی شده است، همچنین برای ریاضیدانان، متخصصان محاسبات، مهندسان و دانشمندانی که برای بیان و استدلال درباره ایده های ریاضی به یک منطق عملی نیاز دارند، مناسب است.
توضیحاتی درمورد کتاب به خارجی
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.
