Skip to main content
LibreTexts - Ukrayinska

Зміст

Набори, Логіка, Обчислення - вступний підручник з металогіки. Він охоплює теорію наївних множин, логіку першого порядку, послідовне обчислення та природне дедукцію, повноту, компактність та теореми Левенгейма-Сколема, машини Тьюринга та невизначеність проблеми зупинки та логіки першого порядку. Аудиторія - студенти бакалаврату з певним досвідом у формальній логіці.
  • Was this article helpful?