Петухов

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1987.

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

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


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

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

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

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

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

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