دانلود کتاب Language, proof, and logic

ترجمه فارسی توضیحات (ترجمه ماشینی)

زبان، اثبات و منطق

این بسته کتاب/نرم‌افزار زبان مرتبه اول را به روشی مناسب برای دوره‌های اول و دوم منطق پوشش می‌دهد. خدمات درجه‌بندی آنلاین منحصر به فرد، راه‌حل‌های صدها تمرین رایانه‌ای را فوراً درجه‌بندی می‌کند. این به طور خاص طراحی شده است تا توسط مربیان فلسفه به گونه ای استفاده شود که برای دانشجویان کارشناسی فلسفه، علوم کامپیوتر، ریاضیات و زبان شناسی مفید باشد. این کتاب یک نسخه کاملاً بازنویسی شده و بسیار بهبود یافته از زبان منطق درجه اول است. مطالب مقدماتی به شیوه ای سیستماتیک و در دسترس ارائه شده است. فصول پیشرفته شامل اثبات درستی و کامل بودن منطق گزاره ای و محمولی، و همچنین طرحی قابل دسترس از اولین قضیه ناتمامی گودل است. این کتاب برای طیف گسترده ای از دروس، از دوره های منطق اول برای دوره های کارشناسی (فلسفه، ریاضیات و علوم کامپیوتر) تا دوره اول منطق فارغ التحصیل مناسب است. این بسته شامل چهار نرم‌افزار است: Tarski’s World 5.0، نسخه جدیدی از برنامه محبوب که زبان مرتبه اول پایه و معناشناسی آن را آموزش می‌دهد. فیچ، یک محیط اثبات کسر طبیعی برای ارائه و بررسی اثبات های مرتبه اول. Boole، برنامه ای که ساخت و بررسی جداول صدق و مفاهیم مرتبط را تسهیل می کند. ارسال، برنامه ای که به دانش آموزان اجازه می دهد تمرین های انجام شده با برنامه های فوق را به Grade Grinder، سرویس درجه بندی خودکار، ارسال کنند. گزارش نمرات به دانش آموز و در صورت درخواست به مربی دانش آموز برگردانده می شود و نیازی به بررسی خسته کننده تکالیف را از بین می برد. همه برنامه ها برای سیستم های ویندوز، مکینتاش و لینوکس در دسترس هستند. مربیان نیازی به استفاده از خود برنامه ها ندارند تا بتوانند از ارزش آموزشی آنها استفاده کنند. اطلاعات بیشتر در مورد نرم افزار را می توانید در lpl.stanford.edu بیابید. قیمت بسته متنی/نرم افزاری جدید شامل یک شناسه ثبت نام می باشد که در هر بار ارسال اثر به سرویس درجه بندی باید از آن استفاده شود. پس از فعال شدن، شناسه ثبت نام قابل انتقال نیست.

Language, proof, and logic

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel’s first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The package includes four pieces of software: Tarski’s World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.); Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student’s instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.