ترجمه فارسی توضیحات (ترجمه ماشینی)
تئوری محاسبات: مقدمه (کتاب های جونز و بارتلت در علوم کامپیوتر)
این متن به دانش‌آموزان معرفی کامل و دقیقی از منطق رسمی مورد استفاده در زبان‌های برنامه‌نویسی منطقی و سیستم‌های استدلال خودکار ارائه می‌دهد. نویسنده مثال‌های گویا بسیاری را برای کمک به دانش‌آموزان در درک مفاهیم آورده است. مجموعه‌های تمرینی گسترده هر بخش را دنبال می‌کنند تا بلافاصله مفاهیمی که دانش‌آموز به آنها معرفی می‌شوند، تقویت شوند. بسیاری از جداول و تصاویر عالی برای کمک به دانش آموزان در مفهوم سازی گرامرها و انتقال ها گنجانده شده است.
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.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.