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

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

Рассмотрены схемы и конструкции управляемых энергоустановок на твердом ракетном топливе, особенности протекания в них внутрикамерных процессов. Приведены и проанализированы наиболее типичные конструкции двигателей, газогенераторов, сопловых блоков, систем газоразведения и клапанов ...