С. И. Гуров

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

Издательство: Издательство МГУ
Дата выхода: январь 2015

Главными инструментами математической кибернетики являются дискретная математика и алгебра. Основные понятия и свойства математических структур этих наук - частично упорядоченные множества, решетки, булевы алгебры, алгебраические системы - являются рабочим инструментом ученых в различных областях прикладной математики, таких как распознавание образов и прогнозирование, оптимальное управление,...

Издательство: Либроком
Дата выхода: январь 2013

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

Издательство: Либроком
Дата выхода: январь 2014