دانلود کتاب Sets, Logic, Computation: An Open Introduction to Metalogic – مجموعه ها، منطق، محاسبات: مقدمه ای باز بر متالوژیک

توضیحات

‘Sets, Logic, Computation is an introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Lwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.’

————————————————————–

ترجمه ماشینی :

مجموعه‌ها، منطق، محاسبات کتاب درسی مقدماتی متالولوژی است. این نظریه مجموعه‌های ساده‌لوح، منطق مرتبه اول، حساب متوالی و استنتاج طبیعی، کامل بودن، فشردگی، و قضایای لونهایم-اسکولم، ماشین‌های تورینگ، و غیرقابل تصمیم‌گیری مسئله توقف و منطق مرتبه اول را پوشش می‌دهد. مخاطبان، دانشجویان مقطع کارشناسی با پیشینه ای در منطق رسمی هستند.

tag : دانلود کتاب مجموعه ها، منطق، محاسبات: مقدمه ای باز بر متالوژیک , Download مجموعه ها، منطق، محاسبات: مقدمه ای باز بر متالوژیک , دانلود مجموعه ها، منطق، محاسبات: مقدمه ای باز بر متالوژیک , Download Sets, Logic, Computation: An Open Introduction to Metalogic Book , مجموعه ها، منطق، محاسبات: مقدمه ای باز بر متالوژیک دانلود , buy مجموعه ها، منطق، محاسبات: مقدمه ای باز بر متالوژیک , خرید کتاب مجموعه ها، منطق، محاسبات: مقدمه ای باز بر متالوژیک , دانلود کتاب Sets, Logic, Computation: An Open Introduction to Metalogic , کتاب Sets, Logic, Computation: An Open Introduction to Metalogic , دانلود Sets, Logic, Computation: An Open Introduction to Metalogic , خرید Sets, Logic, Computation: An Open Introduction to Metalogic , خرید کتاب Sets, Logic, Computation: An Open Introduction to Metalogic ,