نام کتاب
Sets, Logic, Computation

An Open Introduction to Metalogic

Richard Zach

Paperback425 Pages
PublisherIndependently Published
Edition1
LanguageEnglish
Year2021
ISBN9798536395509
209
A6039
انتخاب نوع چاپ:
جلد سخت
688,000ت
0
جلد نرم
628,000ت
0
طلق پاپکو و فنر
638,000ت
0
مجموع:
0تومان
کیفیت متن:اورجینال انتشارات
قطع:B5
رنگ صفحات:سیاه و سفید
پشتیبانی در روزهای تعطیل!
ارسال به سراسر کشور

#Sets

#Logic

#Computation

#Undecidability

توضیحات

A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.


Table of Contents

I Sets, Relations, Functions

1 Sets

2 Relations

3 Functions

4 The Size of Sets

II First-order Logic

6 Syntax of First-Order Logic

7 Semantics of First-Order Logic

8 Theories and Their Models

9 Derivation Systems

10 The Sequent Calculus

11 Natural Deduction

12 The Completeness Theorem

13 Beyond First-order Logic

III Turing Machines

14 Turing Machine Computations

15 Undecidability


About the Author

Richard Zach is Professor of Philosophy at the University of Calgary, Canada. He works in logic, the history of analytic philosophy, and the philosophy of mathematics. In logic, his main interests are non-classical logics and proof theory. He has also written on the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. He has held visiting appointments at the University of California, Irvine, McGill University, and the University of Technology, Vienna.

دیدگاه خود را بنویسید
نظرات کاربران (0 دیدگاه)
نظری وجود ندارد.
کتاب های مشابه
آنالیز
1,080
How to Prove It
680,000 تومان
منطق
924
Introduction to Mathematical Logic
709,000 تومان
منطق
223
Intermediate Logic
607,000 تومان
منطق
881
Modern Mathematical Logic
890,000 تومان
منطق
209
Sets, Logic, Computation
628,000 تومان
منطق
871
A Mathematical Introduction to Logic
523,000 تومان
منطق
265
A Course in Model Theory
446,000 تومان
منطق
989
Computability and Logic
563,000 تومان
منطق
301
Defending the Axioms
338,000 تومان
آنالیز
545
How to Read and Do Proofs
530,000 تومان
قیمت
منصفانه
ارسال به
سراسر کشور
تضمین
کیفیت
پشتیبانی در
روزهای تعطیل
خرید امن
و آسان
آرشیو بزرگ
کتاب‌های تخصصی
هـر روز با بهتــرین و جــدیــدتـرین
کتاب های روز دنیا با ما همراه باشید
آدرس
پشتیبانی
مدیریت
ساعات پاسخگویی
درباره اسکای بوک
دسترسی های سریع
  • راهنمای خرید
  • راهنمای ارسال
  • سوالات متداول
  • قوانین و مقررات
  • وبلاگ
  • درباره ما
چاپ دیجیتال اسکای بوک. 2024-2022 ©