ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Theory of computation: an introduction

دانلود کتاب نظریه محاسبات: معرفی

Theory of computation: an introduction

مشخصات کتاب

Theory of computation: an introduction

دسته بندی: ریاضیات محاسباتی
ویرایش:  
نویسندگان:   
سری: Jones and Bartlett books in computer science 
ISBN (شابک) : 0867204974, 9780585295022 
ناشر: Jones and Bartlett Publishers 
سال نشر: 1996 
تعداد صفحات: 628 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 24


در صورت تبدیل فایل کتاب Theory of computation: an introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه محاسبات: معرفی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نظریه محاسبات: معرفی

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


توضیحاتی درمورد کتاب به خارجی

This text offers students a carefully developed and complete introduction to the formal logic used in logic programming languages and automatic reasoning systems. The author includes many illustrative examples to help students grasp concepts. Extensive exercise sets follow every section to immediately reinforce concepts as the student is introduced to them. Many excellent tables and illustrations are included to further help students conceptualize grammars and transitions.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی