Mga Hindi Mapagpasyahang Problema sa Pagsusuring Matematikal

Bagamat ang pagsusuring matematikal ay nagbibigay ng makapangyarihang mga kasangkapan para sa pagmomodelo ng tuluy-tuloy na mundo, inihahayag ng makabagong teorya ng computability ang mahigpit na mga limitasyon sa kung ano ang kayang lutasin ng mga algorithm. Ang kursong ito na nakabatay sa teksto ay gagabay sa iyo sa interseksyon ng teoretikal na agham ng kompyuter at klasikal na pagsusuring matematikal, na nagpapaliwanag kung paano lumilitaw ang kawalan ng desisyon sa pang-araw-araw na mga operasyong matematikal. Makakabuo ka ng matibay na pag-unawa kung paano nakaaapekto ang algorithmikong kawalan ng desisyon sa integrasyon, mga differential equation, at pag-verify ng identidad sa tuluy-tuloy na matematika, na nag-uugnay sa abstraktong teorya sa mga kongkretong tanong sa pagsusuri. Ang iyong matututuhan: - Unawain ang mga pangunahing konsepto ng computability, Turing machines, at pormal na kawalan ng desisyon - Suriin ang teorema ni Richardson at ang hamon ng algorithm sa identidad ng pare-parehong ekspresyon - Suriin kung paano lumilitaw ang kawalan ng desisyon sa indefinite integration at mga elementaryong pormula - Tuklasin ang mga limitasyon ng mga solusyong algorithm sa ordinaryo at partial differential equations - Ikonekta ang teorya ng computability sa makabagong matematika ng komputasyon at simbolikong komputasyon - Iba-ibahin ang mga komputableng tunay na numero mula sa mga pangunahing hindi komputableng tuluy-tuloy na operasyon Nagsisimula ang kurso sa mga pangunahing kahulugan, terminolohiya ng lohika, at mga batayan ng computability bago unti-unting tuklasin ang mga klasikong problemang hindi mapagpasyahan sa iba't ibang sangay ng pagsusuri. Ang bawat paksa ay ipinapakita sa pamamagitan ng malinaw na nakasulat na mga paliwanag at nakabalangkas na mga halimbawa. Ang kursong ito ay idinisenyo para sa mga mausisa na nagsisimula, mga mag-aaral ng matematika, at mga mahilig sa agham ng kompyuter na naglalayong maunawaan ang mga teoretikal na hangganan ng komputasyon. Walang kinakailangang advanced na background sa pormal na lohika. Simulang magbasa ngayon upang tuklasin ang mga kamangha-manghang hangganan kung saan nagtatagpo ang matematika at agham ng kompyuter.