Вивчайте сентенційну логіку як першу зустріч з математичною логікою. Сюди входять таблиці істинності та використання знаків "і", "або" та "не" в символічній логіці. Цей рівень вивчення також повинен включати логіку першого порядку, яка додає до мови такі квантори, як "для всіх" та "існує".
Продовжуйте з теорією доказів, яка є вивченням символічних маніпуляцій. Для цього знадобиться офіційна мова, що складається з набору символів та синтаксису. Ці елементи містять формули, які використовуються для побудови аксіом для теорій цієї мови.
Перехід до теорії моделі першого порядку, яка описує структури, які задовольнять набору аксіом. Логічні формули використовуються для визначення множин, які можуть бути визначені в даній структурі.
Почніть вивчення теорії множин. Сюди слід включити дуже великі нескінченні множини, щоб показати, що "множина" є неоднозначним поняттям.
Далі розглянемо теорію рекурсії. Це поле - вивчення приналежності даного набору шляхом визначення того, що можна розрахувати щодо цього набору за кінцеву кількість кроків. Теорія рекурсії включає такі поняття, як структури ступенів, уявлення про зводимість та відносну обчислюваність.
Ця стаття була написана професійним письменником, відредагована та перевірена фактами за допомогою багатоточкової системи аудиту, намагаючись забезпечити, щоб наші читачі отримували лише найкращу інформацію. Щоб надіслати свої запитання чи ідеї або просто дізнатися більше, перегляньте сторінку про нас: посилання нижче.