Петухов

Методологические основы внешнего проектирования целенаправленных процессов и целеустремленных систем, Петухов Г.Б., Якунин В.И., 2006.

В монографии даётся последовательное и полное освещение основополагающих концепций, методологии и методов комплексного (системного) исследования эффективности целенаправленных процессов (ЦНП-операций) любой природы, а также методов и методик анализа и оптимального синтеза целеустремленных технических систем (ЦУТС) и процессов их целевого функционирования (ЦНПФС) на этапах их внешнего проектирования (ВНЕПР). Монография предназначена для научных сотрудников и системных инженеров (системотехников),
деятельность которых связана с проблемами исследования качества ЦУТС и эффективности ЦНПФС, а также для студентов и преподавателей ВТУЗов.

Справочник мастера машиностроительного производства, Петухов С.В., 2017.

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

Англо-русский геолого-геофизический словарь, Купалов-Ярополк И.К., Петухов А.С., 1964.
   
   Словарь содержит 25 тыс. терминов, относящихся к прикладной геофизике (сейсморазведке, магниторазведке, гравиразведке, электроразведке, промыслово-геофизическим исследованиям в нефтяных и газовых скважинах), а также к геологии (общей геологии, нефтяной геологии, литологии, стратиграфии, тектонике). ‘Кроме того, даны термины по поискам и разведке, бурению, разработке нефтяных и газовых месторождений, наиболее часто встречающиеся в геолого-геофизической литературе.
Словарь предназначен для широкого круга специалистов геофизиков и геологов нефтедобывающей промышленности, переводчиков англо-американской технической литературы, а также может быть использован студентами геологических и геофизических специальностей.

Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013.

Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 — "Информатика и вычислительная техника" (Специальность 220100 — ""Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 — ""Информатика и вычислительная техника ".
В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100. Достаточно подробно изложены основы логики высказываний и логики предикатов, включая приложение логики предикатов к доказательству правильности алгоритмов. Пособие содержит вводный материал по логическому программированию и клаузальной логике, а также основные понятия нечеткой и модальной логики. Приведены основы теории алгоритмов и алгоритмической разрешимости, доказательство эквивалентности моделей алгоритмов Тьюринга и рекурсивных схем Клини. Пособие содержит также введение в теорию эффективной вычислимости, переборных NP-нолных и NP-трудных задач.

1.7. Формальные теории и исчисление высказываний.
Формальная теория это
а) Множество правильно построенных формул (ППФ), или выражений, определяющих язык теории.
б) Подмножество формул множества ППФ, называемых аксиомами теории.
в) Правила вывода, т.е. конечное множество отношений между формулами.
Доказательством называется конечная последовательность
формул Ф, такая, что каждая Ф есть либо аксиома, либо
получена из предыдущих формул по одному из правил вывода.

Культурология, Петухов В.Б., Петухов Т.В., 2006.

   Пособие предназначено для студентов всех специальностей, обучающихся на втором курсе УлГТУ. Включает в себя аннотированную рабочую программу по курсу «Культурология» в объеме государственных стандартов специальностей 2000 г., а также методические материалы для подготовки к семинарским занятиям: описание изучаемой проблематики, планы семинарских занятий, контрольные вопросы, словарь ключевых понятий и терминов и рекомендуемую литературу по темам.
Пособие нацелено на усвоение студентами базовых теоретических понятий курса и основных закономерностей и особенностей развития мировой культуры. Отечественная культура рассматривается как часть мирового культурного процесса.

Название: Справочник - Мощные полупроводниковые приборы - Тиристоры.

Автор: Замятин В.Я., Кондратьев Б.В., Петухов В.М.

1987.

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

Хрестоматия по курсу Введение в психологию - Учебное пособие - Соколова Е.Е. - 1999

         Настоящая хрестоматия представляет собой учебное пособие по курсу "Введение в психологию", включенному в план подготовки психологов всех специальностей. Она подготовлена на основе программы курса, разработанной коллективом преподавателей кафедры общей психологии факультета психологии Московского государственного университета им. М.В.Ломоносова