Да, первый рассказ из сборника, что я успела прочитать, что надо! И написано хорошо, и содержание необычное, но жизненное. Очень понравилось, хотя там...
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство...
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство...