Undersøg sententiel logik som det første møde med matematisk logik. Dette inkluderer sandhedstabeller og brugen af "og" "eller" og "ikke" i symbolsk logik. Dette studieniveau skal også omfatte første ordens logik, som tilføjer kvantificeringsmidler som "for alle" og "der findes" til sproget.
Fortsæt med bevisteori, som er studiet af symbolsk manipulation. Dette kræver et formelt sprog bestående af et sæt symboler og en syntaks. Disse elementer indeholder formler, der bruges til at opbygge aksiomer til teorierne for det sprog.
Gå videre til førsteordens modelteori, som beskriver de strukturer, der vil tilfredsstille et sæt aksiomer. Logiske formler bruges til at bestemme de sæt, der kan defineres i en given struktur.
Begynd en undersøgelse af sætteori. Dette bør omfatte meget store uendelige sæt for at vise, at et "sæt" er et tvetydigt koncept.
Tag næste rekursionsteori op. Dette felt er studiet af medlemskab af et givet sæt ved at bestemme, hvad der kan beregnes om dette sæt i et endeligt antal trin. Rekursionsteori involverer begreber som gradstrukturer, ideer om reducerbarhed og relativ beregningsevne.
Denne artikel blev skrevet af en professionel forfatter, kopieret redigeret og faktakontrolleret gennem et flerpunkts-auditsystem i bestræbelser på at sikre, at vores læsere kun modtager de bedste oplysninger. For at sende dine spørgsmål eller ideer eller bare lære mere, se vores side om os: link nedenfor.