نظریه زبان ها و ماشین ها - گروه 01 - محققی
نیمسال دوم 1404
اين درس به مباني نظري و تا حدي فلسفي رايانه ها مي پردازد و سوالاتي نظير: كامپيوتر چيست؟ رايانش چيست؟ مرز بين محاسبه پذيري و محاسبه ناپذيري مسايل كجاست؟ مورد مطالعه قرار مي گيرد. براي اين هدف، با استفاده از مدل هاي انتزاعي و رياضي، مفهوم دقيقي براي محاسبه و انواع ماشينهاي محاسباتي تعريف مي گردد. بر مبناي آن، دسته هاي مختلف ماشينهاي محاسبه و توان پردازشي آنها از منظر نظري مورد بررسي قرار مي گيرد.