نرم افزار: سیستم ها: محاسبات علمی

درس مسئله در منطق ریاضی

A Problem Course in Mathematical Logic

دانلود کتاب A Problem Course in Mathematical Logic (به فارسی: درس مسئله در منطق ریاضی) نوشته شده توسط «Bilaniuk S.»

اطلاعات کتاب درس مسئله در منطق ریاضی

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

نویسنده: Bilaniuk S.

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1997

تعداد صفحه: 91

حجم کتاب: 1 مگابایت

کد کتاب: 0195046722 , 0387902430 , 0387903461 , 0394745027

نوبت چاپ: version 1.3

توضیحات کتاب درس مسئله در منطق ریاضی

این جلد دوم یک متن برای یک دوره کارشناسی مسئله محور در منطق ریاضی است. این مبانی محاسباتی با استفاده از ماشین‌های تورینگ و توابع بازگشتی و قضیه ناتمامیت گودل را پوشش می‌دهد و می‌تواند برای یک دوره یک ترم در مورد این موضوعات استفاده شود. جلد اول، منطق گزاره ای و مرتبه اول، مبانی این مباحث را از طریق قضایای صحت، کامل بودن و فشردگی پوشش می دهد. اطلاعات در مورد در دسترس بودن و شرایط استفاده و تکثیر این کتاب در مقدمه آورده شده است.

This is the Volume II of a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of computability, using Turing machines and recursive functions, and Goedel’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. Information on availability and the conditions under which this book may be used and reproduced are given in the preface.

دانلود کتاب «درس مسئله در منطق ریاضی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان