A Problem Course in Mathematical Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: Bilanuik S.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 186 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 676 کیلوبایت 

قیمت کتاب (تومان) : 37,000

دپارتمان ریاضیات دانشگاه ترنت، 1991، -186 ص. این متنی برای یک دوره کارشناسی مسئله محور در منطق ریاضی است. این مبانی منطق گزاره ای و مرتبه اول را از طریق قضایای صحت، کامل بودن و فشردگی پوشش می دهد.
جلد دوم، محاسبات، مبانی محاسباتی را با استفاده از ماشین‌های تورینگ و توابع بازگشتی، قضایای ناقص بودن و نظریه پیچیدگی از طریق P و NP پوشش می‌دهد. این مبانی محاسباتی با استفاده از ماشین‌های تورینگ و توابع بازگشتی و قضیه ناتمامیت گودل را پوشش می‌دهد و می‌تواند برای یک دوره یک ترم در مورد این موضوعات استفاده شود. جلد اول، منطق گزاره ای و مرتبه اول، مبانی این مباحث را از طریق قضایای صحت، کامل بودن و فشردگی پوشش می دهد. منطق گزاره >
زبان
تکالیف حقیقت
استخراج
صداقت و کامل بودن
منطق مرتبه اول
زبانها
ساختارها و مدل‌ها
استخراج
صداقت و کامل بودن
کاربردهای فشردگی
قابلیت محاسبه
ماشین‌های تورینگ
تغییرها و شبیه‌سازی‌ها
جهانی ماشین‌های تورینگ و مسئله توقف
توابع محاسباتی و غیرقابل محاسبه
توابع بازگشتی اولیه
توابع بازگشتی
ناقص بودن
مقدماتی
کدگذاری منطق مرتبه اول
تعریف توابع بازگشتی در حساب
قضیه ناقص بودن

Department of Mathematics Trent University, 1991, -186 pp. This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositional and first-order logic through the Soundness, Completeness, and Compactness Theorems.
Volume II, Computation, covers the basics of computability using Turing machines and recursive functions, the Incompleteness Theorems, and complexity theory through the P and NP. It covers the basics of computability, using Turing machines and recursive functions, and Gödel's Incompleteness Theorem, and could be used for a one semester course on these topics. Volume I, Propositional and First- Order Logic, covers the basics of these topics through the Soundness, Completeness, and Compactness Theorems. Propositional Logic
Language
Truth Assignments
Deductions
Soundness and Completeness
First-Order Logic
Languages
Structures and Models
Deductions
Soundness and Completeness
Applications of Compactness
Computability
Turing Machines
Variations and Simulations
Universal Turing Machines and the Halting Problem
Computable and Non-Computable Functions
Primitive Recursive Functions
Recursive Functions
Incompleteness
Preliminaries
Coding First-Order Logic
Defining Recursive Functions In Arithmetic
The Incompleteness Theorem