Изучите сентенциальную логику как первое знакомство с математической логикой. Это включает в себя таблицы истинности и использование «и», «или» и «не» в символической логике. Этот уровень изучения должен также включать логику первого порядка, которая добавляет к языку такие количественные показатели, как «для всех» и «существует».
Продолжите теорию доказательств, которая является изучением символических манипуляций. Для этого потребуется формальный язык, состоящий из набора символов и синтаксиса. Эти элементы содержат формулы, которые используются для построения аксиом теорий этого языка.
Переход к теории моделей первого порядка, которая описывает структуры, удовлетворяющие набору аксиом. Логические формулы используются для определения наборов, которые могут быть определены в данной структуре.
Начните изучение теории множеств. Это должно включать очень большие бесконечные множества, чтобы показать, что «множество» - это неоднозначное понятие.
Затем займитесь теорией рекурсии. Это поле является исследованием принадлежности к данному набору путем определения того, что можно вычислить об этом наборе за конечное число шагов. Теория рекурсии включает в себя такие концепции, как структуры степеней, идеи сводимости и относительной вычислимости.
Эта статья была написана профессиональным писателем, отредактирована и проверена с помощью многоточечной системы аудита, чтобы наши читатели получали только самую лучшую информацию. Чтобы отправить свои вопросы или идеи или просто узнать больше, посетите нашу страницу о нас: ссылка ниже.