Mga Saligan ng Computability: Mga Turing Machine at Algorithm

Ang bawat piraso ng software na isinusulat natin ngayon ay nakasalalay sa mga teoretikal na pundasyon na itinatag dekada na ang nakalipas. Ang pag-unawa sa kung ano ang maaari at hindi maaaring i-compute ay mahalaga upang maunawaan ang tunay na mga hangganan ng modernong computer science at software design. Ang kursong ito na nakabatay sa teksto ay gagabay sa iyo sa mga pangunahing modelo ng komputasyon, mula sa abstrakto na konsepto ng isang algorithm patungo sa mga konkretong matematikal na estruktura. Ang iyong matututuhan: 1. Tukuyin ang pormal na konseptong matematikal ng isang algorithm at computability. 2. Suriin ang estruktura at operasyon ng mga Turing machine sa pamamagitan ng sunod-sunod na state transition. 3. Tuklasin ang mga register machine at unawain kung paano isinasagawa ng mga counter-based program ang mga komputasyon. 4. Ihambing ang iba't ibang modelo ng komputasyon upang patunayan ang kanilang teoretikal na pagkakapareho. 5. Unawain ang kahalagahan ng mga universal function at ng universal Turing machine. 6. Unawain ang mga hangganan ng komputasyon, kabilang ang sikat na Halting Problem at ang mga modernong implikasyon nito. Magsisimula ka sa pamamagitan ng pag-aaral ng mga pangunahing kahulugan at kontekstong historikal bago sumabak sa mga pormal na modelo tulad ng mga Turing at register machine. Magtatapos ang kurso sa pagtuklas sa mga unibersal na makina at sa hangganan ng mga problemang hindi malulutas. Ang kursong ito ay idinisenyo para sa mga nagsisimulang estudyante ng computer science, mga programmer na mausisa tungkol sa teorya, at sinumang nais maunawaan ang mga matematikal na hangganan ng software, nang walang anumang paunang kinakailangang abanteng matematika. Simulan ang pagbabasa ngayon upang bumuo ng isang matibay na teoretikal na pundasyon para sa iyong paglalakbay sa computer science.