Studijuokite sentencinę logiką kaip pirmąjį susidūrimą su matematine logika. Tai apima tiesos lenteles ir „ir“, „arba“ ir „ne“ naudojimą simbolinėje logikoje. Šis tyrimo lygis taip pat turėtų apimti pirmosios eilės logiką, kuri prie kalbos prideda tokius kiekybinius koeficientus kaip „visiems“ ir „yra“.
Tęskite įrodymų teoriją, kuri yra simbolinės manipuliacijos tyrimas. Tam reikės oficialios kalbos, susidedančios iš simbolių rinkinio ir sintaksės. Šiuos elementus sudaro formulės, kurios naudojamos kuriant tos kalbos teorijų aksiomas.
Pirmojo laipsnio modelio teorija, apibūdinanti struktūras, kurios patenkins aksiomų rinkinį. Loginės formulės naudojamos nustatyti rinkinius, kurie gali būti apibrėžti tam tikroje struktūroje.
Pradėkite rinkinių teorijos tyrimą. Tai turėtų apimti labai didelius begalinius rinkinius, kurie parodytų, kad „rinkinys“ yra dviprasmiška sąvoka.
Toliau imkitės rekursijos teorijos. Ši sritis yra narystės tam tikroje aibėje tyrimas, nustatant, ką galima apskaičiuoti apie tą rinkinį per daugybę žingsnių. Rekursijos teorija apima tokias sąvokas kaip laipsnio struktūros, idėjos apie redukciją ir santykinį skaičiavimą.
Šį straipsnį parašė profesionalus rašytojas, redaguota kopija ir patikrinta faktai per daugelio taškų audito sistemą, siekiant užtikrinti, kad mūsų skaitytojai gautų tik geriausią informaciją. Norėdami pateikti savo klausimus ar idėjas arba tiesiog sužinoti daugiau, peržiūrėkite mūsų puslapį apie mus: nuorodą žemiau.