Studera sententiallogik som det första mötet med matematisk logik. Detta inkluderar sanningstabeller och användningen av "och" "eller" och "inte" i symbolisk logik. Denna studienivå bör också inkludera första ordningslogik, som lägger till kvantifierare som "för alla" och "det finns" till språket.
Fortsätt med bevisteori, som är studiet av symbolisk manipulation. Detta kräver ett formellt språk som består av en uppsättning symboler och en syntax. Dessa element består av formler som används för att bygga axiomer för teorierna för det språket.
Gå vidare till första ordningens modellteori, som beskriver de strukturer som uppfyller en uppsättning axiomer. Logiska formler används för att bestämma de uppsättningar som kan definieras i en given struktur.
Börja studera uppsättningsteori. Detta bör innehålla mycket stora oändliga uppsättningar för att visa att en "uppsättning" är ett tvetydigt koncept.
Ta nästa rekursionsteori. Detta fält är studiet av medlemskap i en viss uppsättning genom att bestämma vad som kan beräknas om uppsättningen i ett begränsat antal steg. Rekursionsteori involverar begrepp som gradstrukturer, idéer om reducerbarhet och relativ beräknbarhet.
Den här artikeln skrevs av en professionell författare, redigerades och kopierades faktiskt genom ett flerpunktsgranskningssystem för att säkerställa att våra läsare bara får den bästa informationen. För att skicka dina frågor eller idéer, eller för att helt enkelt lära dig mer, se vår sida om oss: länk nedan.