Вид документа : Однотомное издание Шифр издания : 129565 Автор(ы) : Успенский В. А., Верещагин Н. К., Плиско В. Е. Заглавие : Вводный курс математической логики . -2 Выходные данные : Москва: Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2007 Колич.характеристики :128 с. ISBN, Цена 9785922102780: Б.ц. УДК : 510.7 ББК : 22.12 Аннотация: В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факуль- тете МГУ. Излагаются элементы теории множеств, основные понятия, относя- щиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Доп. точки доступа: Верещагин, Н. К. Плиско, В. Е.

Вид документа : Однотомное издание Шифр издания : 967396 Автор(ы) : Верещагин В.И., Рунда М.М., Ковальский Б.И., Безбородов Ю.Н. Заглавие : Методы контроля и результаты исследования состояния моторных масел двигателей внутреннего сгорания в условиях длительного хранения и эксплуатации : Монография Выходные данные : Красноярск: Сибирский федеральный университет, 2016 Колич.характеристики :188 с. ISBN, Цена 9785763834246: Б.ц. Аннотация: Рассмотрены основные методы контроля эксплуатационных свойств моторных масел, проведён анализ изменения их физико-химических свойств в зависимости от сроков хранения. Предложены показатели качества моторных масел, позволяющие обосновать предельное состояние, по достижению которого необходима их замена. Предназначена для студентов и аспирантов технических специальностей, инженерно-технических работников, занимающихся производством смазочных материалов, проектированием, конструированием и эксплуатацией машин и механизмов. Доп. точки доступа: Рунда, М.М. Ковальский, Б.И. Безбородов, Ю.Н.

Вид документа : Однотомное издание Шифр издания : 1032200 Автор(ы) : Петров О.Н., Сокольников А.Н., Агровиченко Д.В., Верещагин В.И. Заглавие : Сооружение и эксплуатация насосных и компрессорных станций : Учебное пособие Выходные данные : Красноярск: Сибирский федеральный университет, 2018 Колич.характеристики :192 с. ISBN, Цена 9785763838961: Б.ц. Аннотация: В учебном пособии дана характеристика всех объектов, входящих в состав нефтеперекачивающих и компрессорных станций как технологического, так и вспомогательного назначения. Подробно рассмотрены насосно-силовое, компрессорное и вспомогательное оборудование цехов и технологические схемы головных и промежуточных станций. Приведены общие требования к сооружению и эксплуатации насосных и компрессорных цехов. Предназначено для студентов вузов, обучающихся по направлению подготовки бакалавров 23.03.03 «Эксплуатация транспортно-технологических машин и комплексов», профили: 23.03.03. 07 «Сервис транспортных и транспортно-технологических машин и оборудования (трубопроводный транспорт нефти и газа)» и 23.03.03.06 «Сервис транспортных и транспортно-технологических машин и оборудования (нефтепродуктообеспечение и газоснабжение)». Доп. точки доступа: Сокольников, А.Н. Агровиченко, Д.В. Верещагин, В.И.