Asas Kebolehkiraan: Mesin Turing dan Algoritma

Setiap perisian yang kita tulis hari ini terletak di atas asas teoretikal yang ditetapkan beberapa dekad lalu. Memahami apa yang boleh dan tidak boleh dikomputasi adalah penting untuk memahami had sebenar sains komputer moden dan reka bentuk perisian. Kursus berasaskan teks ini membimbing anda melalui model asas pengkomputeran, bergerak daripada konsep abstrak sesuatu algoritma kepada struktur matematik yang konkrit. Apa yang anda akan pelajari: 1. Mentakrifkan konsep matematik formal bagi algoritma dan kebolehkiraan. 2. Menganalisis struktur dan operasi mesin Turing melalui peralihan keadaan langkah demi langkah. 3. Terokai mesin daftar dan fahami cara program berasaskan pembilang melaksanakan pengkomputeraan. 4. Bandingkan model pengkomputeraan yang berbeza untuk membuktikan kesetaraan teoretikal mereka. 5. Memahami kepentingan fungsi universal dan mesin universal Turing. 6. Fahami had pengkomputeraan, termasuk Masalah Penhentian yang terkenal dan implikasi modennya. Anda akan bermula dengan mempelajari takrifan asas dan konteks sejarah sebelum mendalami model formal seperti mesin Turing dan daftar. Kursus ini diakhiri dengan penerokaan mesin universal dan sempadan masalah yang tidak boleh diselesaikan. Kursus ini direka untuk pelajar permulaan sains komputer, pengaturcara yang ingin tahu tentang teori, dan sesiapa sahaja yang ingin memahami had matematik perisian, tanpa prasyarat matematik lanjutan. Mulakan pembacaan hari ini untuk membina asas teoretikal yang kukuh untuk perjalanan sains komputer anda.