|
Abstract
|
این کتاب به عنوان یک درس مقدماتی برای زبان های رسمی ، ماشین ها، محاسبه پذیری ، و موضوعات مرتبط طراحی شده است. این مباحث، بخش اصلی چیزی را که تحت عنوان نظریه ی محاسبات شناخته می شود تشکیل می دهد. هم اکنون، یک درس نیز در همین موضوع در مجموعه ی دروس سرفصل علوم کامپیوتر جا افتاده و اغلب در همان ترم های آغازین دوره تدریس می شود. از این رو، مخاطبان احتمالی این کتاب اساساً شامل دانشجویان سال دوم و سوم در رشته های علوم کامپیوتر یا مهندسی کامپیوتر هستند.
پیش نیاز مطالب این کتاب شامل دانش مختصری از یک زبان برنامه نویسی سطح بالاتر (عموماً C، C++، پایتون، یا جاوا) و آشنایی با مبانی ساختمان داده ها و الگوریتم هاست. گذراندن درسی در زمینه ی ریاضیات گسسته که شامل تئوری مجموعه، توابع، روابط، منطق، و عناصر استدلال ریاضی باشد ضروری است. یک چنین درسی به عنوان بخشی از سرفصل معمول علوم کامپیوتر مقدماتی به حساب می آید. . . .
|