Математическая логика
Готовый набор из 46 карточек с вопросами и ответами по математической логике помогает последовательно повторить ключевые понятия дисциплины и проверить понимание материала. В первый тематический блок входят дедуктивные системы и исчисления, непротиворечивость и полнота, логика высказываний, логическое следование, принцип дедукции и метод резолюций. Карточки по логике и алгебре предикатов охватывают синтаксис и семантику языка, клаузальную форму, резолюции, предикаты и логические функции, области определения, значения и истинности. В наборе также разобраны свободные и связанные переменные, открытые и замкнутые формулы, интерпретации, равносильность, общезначимость, виды формул, логическое следование, запись предложений и анализ рассуждений на языке алгебры предикатов. Отдельный блок посвящён теории алгоритмов: интуитивному понятию алгоритма и необходимости его математического уточнения, формализации алгоритмов, рекурсивным функциям, рекуррентным соотношениям, машине Тьюринга, тезису Черча, проблемам разрешения и вычисления, а также алгоритмически неразрешимым задачам. Завершающие карточки рассматривают сложность вычислений, меры сложности, легко- и труднорешаемые задачи, классы P и NP, NP-полноту и эффективные алгоритмы. Набор подходит студентам для самостоятельной подготовки, повторения перед зачётом или экзаменом и быстрой самопроверки. Преподаватели могут использовать готовые карточки на занятиях, для опроса и закрепления тем.