Изучавайте сентенционната логика като първата среща с математическата логика. Това включва таблици на истината и използването на „и“, „или“ и „не“ в символната логика. Това ниво на изследване трябва също да включва логика от първи ред, която добавя квантори като "за всички" и "съществува" към езика.
Продължете с доказателствена теория, която е изследване на символична манипулация. Това ще изисква официален език, състоящ се от набор от символи и синтаксис. Тези елементи включват формули, които се използват за изграждане на аксиоми за теориите на този език.
Напредък към теорията на модела от първи ред, която описва структурите, които ще задоволят набор от аксиоми. Логическите формули се използват за определяне на множествата, които могат да бъдат дефинирани в дадена структура.
Започнете изучаване на теория на множествата. Това трябва да включва много големи безкрайни множества, за да покаже, че „набор“ е двусмислено понятие.
Следвайте теорията на рекурсията. Това поле е изследване на принадлежността към даден набор чрез определяне на това, което може да се изчисли за този набор в краен брой стъпки. Теорията на рекурсията включва понятия като степенни структури, идеи за редуцируемост и относителна изчислимост.
Тази статия е написана от професионален писател, копирана е и е проверена чрез многоточкова система за одит, за да гарантира, че нашите читатели получават само най-добрата информация. За да изпратите вашите въпроси или идеи или просто да научите повече, вижте нашата страница за нас: връзка по-долу.