توضیحات
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model’s rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in analyses of effective computability, decidability, and Gdel’s incompleteness theorems. Students who already have some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.
————————————————————–
ترجمه ماشینی :
این کتاب درسی مقدمهای با مدلهای نظری پایه محاسبهپذیری برای دانشجویان مقطع کارشناسی فراهم میکند و برخی از ساختار غنی و متنوع مدل را توسعه میدهد. بخش اول کتاب به اتوماتای محدود و خصوصیات آنها اختصاص دارد. خودکارهای Pushdown کلاس وسیع تری از مدل ها را ارائه می دهند و امکان تجزیه و تحلیل زبان های بدون زمینه را فراهم می کنند. در فصلهای باقیمانده، ماشینهای تورینگ معرفی میشوند و کتاب به تجزیه و تحلیل محاسباتپذیری مؤثر، تصمیمپذیری و قضایای ناقص بودن Gdel ختم میشود. دانشآموزانی که قبلاً تجربهای با ریاضیات گسسته ابتدایی دارند، این دوره اول را با سرعت خوب میبینند و تعدادی از فصلهای تکمیلی مفاهیم پیشرفتهتری را معرفی میکنند.
tag : دانلود کتاب اتومات و محاسبه پذیری , Download اتومات و محاسبه پذیری , دانلود اتومات و محاسبه پذیری , Download Automata and Computability Book , اتومات و محاسبه پذیری دانلود , buy اتومات و محاسبه پذیری , خرید کتاب اتومات و محاسبه پذیری , دانلود کتاب Automata and Computability , کتاب Automata and Computability , دانلود Automata and Computability , خرید Automata and Computability , خرید کتاب Automata and Computability ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.