Петухов

Англо-русский геолого-геофизический словарь, Купалов-Ярополк И.К., Петухов А.С., 1964

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

Англо-русский геолого-геофизический словарь, Купалов-Ярополк И.К., Петухов А.С., 1964
Скачать и читать Англо-русский геолого-геофизический словарь, Купалов-Ярополк И.К., Петухов А.С., 1964
 

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

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

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

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

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

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

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

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

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

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

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

Справочник - Мощные полупроводниковые приборы - Тиристоры - Замятин В.Я., Кондратьев Б.В., Петухов В.М.

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

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

1987.

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

Справочник - Мощные полупроводниковые приборы - Тиристоры - Замятин В.Я., Кондратьев Б.В., Петухов В.М.


Скачать и читать Справочник - Мощные полупроводниковые приборы - Тиристоры - Замятин В.Я., Кондратьев Б.В., Петухов В.М.
 

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

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

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

Хрестоматия по курсу Введение в психологию

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