مشخصات کتاب

Computability, complexity and languages: Fundamentals of theoretical computer science

ویرایش:  
نویسندگان: Davis M.,  Weyuker E.  
سری: Computer Science and Applied Mathematics 
ISBN (شابک) : 0122063805, 9780122063800 
ناشر: AP 
سال نشر: 1983 
تعداد صفحات: 434 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Computability, complexity and languages: Fundamentals of theoretical computer science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب محاسبات ، پیچیدگی و زبان ها: مبانی علوم رایانه ای نظری

این متن مقدماتی حوزه‌های کلیدی علوم کامپیوتر از جمله تئوری توابع بازگشتی، زبان‌های رسمی و خودکار را پوشش می‌دهد. حداقل پیشینه در ریاضیات رسمی را در نظر می گیرد. این کتاب به پنج بخش قابل محاسبه، گرامر و خودکار، منطق، پیچیدگی و حل نشدنی تقسیم شده است. * نظریه محاسبه پذیری به گونه ای معرفی شده است که حداکثر استفاده را از تجربه برنامه نویسی قبلی می کند، از جمله برنامه \"جهانی\" که کمتر از یک صفحه را اشغال می کند.* تعداد تمرین های گنجانده شده بیش از سه برابر شده است.* نظریه خودکار، منطق محاسباتی و نظریه پیچیدگی به شیوه ای انعطاف پذیر ارائه شده است و می تواند در انواع ترتیبات مختلف پوشش داده شود.

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

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. * Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.* The number of exercises included has more than tripled.* Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.

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

کتاب های تصادفی

دانلود کتاب Ferroelectric Materials for Energy Harvesting and Storage

دانلود کتاب Liars: How Progressives Exploit Our Fears for Power and Control

دانلود کتاب Cellulose Technology Research

دانلود کتاب Civil Excavations and Tunnelling - A Practical Guide

دانلود کتاب The political bubble: why Australians don't trust politics