Проучите логику реченица као први сусрет са математичком логиком. То укључује табеле истине и употребу „и“, „или“ и „не“ у симболичкој логици. Овај ниво студије такође треба да укључује логику првог реда, која језику додаје квантификаторе као што су „за све“ и „постоји“.
Наставите са теоријом доказа, која је проучавање симболичке манипулације. Ово ће захтевати формални језик који се састоји од скупа симбола и синтаксе. Ови елементи садрже формуле које се користе за изградњу аксиома за теорије тог језика.
Напредак у теорији модела првог реда, која описује структуре које ће задовољити скуп аксиома. Логичке формуле се користе за одређивање скупова који могу бити дефинисани у датој структури.
Започните проучавање теорије скупова. Ово би требало да укључује врло велике бесконачне скупове који показују да је „скуп“ двосмислен концепт.
Следи теорија рекурзије. Ово поље је проучавање припадности датом скупу одређивањем онога што се може израчунати у вези са тим скупом у коначном броју корака. Теорија рекурзије укључује концепте као што су структуре степена, идеје о редуцибилности и релативној израчунљивости.
Овај чланак написао је професионални писац, преправио га и проверио чињенице кроз систем ревизије у више тачака, настојећи да наши читаоци добију само најбоље информације. Да бисте предали своја питања или идеје или једноставно сазнали више, погледајте нашу страницу о нама: линк испод.