В учебнике изложены базовые материалы по всем основным разделам электротехники: электрические и магнитные цепи постоянного и переменного токов, электрические измерения, основы промышленной электроники, электрические машины, производство и распределение электрической энергии. Все главы представляют собой 50 логически завершенных двухчасовых тем. В 24 приложениях приведены примеры расчетов электрических схем, электромагнитных и электронных устройств по всем указанным темам.
Учебник может быть использован при изучении общепрофессиональной дисциплины «Электротехника» в соответствии с ФГОС СПО для профессий технического профиля. Для студентов учреждений среднего профессионального образования.
Изложены основные разделы дисциплины «Электротехника, электро ника и схемотехника». Приведено описание четырнадцати лабораторных работ. Каждая работа сопровождается теоретическим материалом в фор ме конспективного изложения основных разделов лекций, примерами рас четов и моделирования электрических цепей и электронных схем, расчет ными домашними заданиями по обработке экспериментальных результа тов. Компьютерный лабораторный практикум построен на базе новой об лачной среды схемотехнического проектирования TINACloud компании DesignSoft, подключение пользователя к которой происходит через Интер нет в любом месте и в любое время без установки программы на собствен ном устройстве с использованием как настольного компьютера, так и раз личных мобильных устройств (ноутбуков, планшетов, смартф онов). Практикум предназначен для формирования навыков, умений и компе тенций в расчетах и экспериментальных исследованиях электрических це пей и электронных схем. Пособие может быть использовано как при тра диционных, так и дистанционных технологиях обучения студентов.
Для студентов, обучающихся по направлениям 27.03.04.62 - «Управ ление в технический системах», 15.03.06 - «Мехатроника и робототехни ка», 09.03.01 - «Информатика и вычислительная техника», изучающих дисциплины «Электротехника», «Электроника», «Электротехника, элек троника и схемотехника».
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца; см. ниже) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвящённых машинному доказательству теорем.
В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связаннные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
Читатель, не обладающий никакими специальными сведениями по области математической логики (но обладающий некоторой математической культурой), может использовать этот сборник и в качестве учебника для систематического изучения теории логического вывода. При таком использовании можно рекомендовать следующий порядок чтения.
Под логической физикой в книге понимается раздел логики, в котором исследуется терминология, относящаяся к пространству, времени, движению, причинности и т. д. В отличие от физики и философии, в которых формулируются совокупности утверждений о пространстве, времени и движении, сфера логической физики ограничивается исключительно логическими свойствами этой терминологии и содержащих ее утверждений.
Автор рассматривает термины, обозначающие пространственный и временной порядок предметов, а также понятия индивида, структуры, эмпирической связи, движений, причинности, возможности, необходимости, вероятности, закона и т. д.
При этом анализируются известные парадоксы движения и эмпирических связей, устанавливается различие логических следствий из определений терминов и физических допущений, предлагаются логические исчисления, дающие обоснование некоторым идеям современной физики и философии.
В учебном пособии дана классификация электротехнических материалов и изделий применяемых в электроустановках. Описаны их основные характеристики и свойства, приведены области применения и эксплуатационные режимы.
Рекомендовано учебно-методической комиссией факультета энергетики Кубанского государственного аграрного университета в качестве учебного пособия по направлениям 13.03.2 и 35.03.06 «Агроинженерия» (уровень бакалавриата).
В пособии изложены вопросы построения энергоэффективных регулируемых электроприводов переменного тока. Приведены имитирующие и оптимизационные модели элементов силовой части для решения задач оптимизации режимов двигателей. Дана методика оценки энергетической эффективности режимов электроприводов. Рассмотрены принципы построения, структуры и алгоритмы оптимизаторов режимов для систем управления электроприводов с подчиненным регулированием координат.
Предназначено для студентов, обучающихся по направлению подготовки 13.04.02 «Электроэнергетика и электротехника» и по магистерской программе «Электропривод и автоматизация технологических комплексов». Пособие будет полезно для аспирантов и специалистов, занимающихся разработкой и проектированием регулируемых электроприводов переменного тока.
Эта книга содержит информацию, полученную из подлинных и высоко оцененных источников. Разумные усилия были приложены для публикации надежных данных и информации, но автор и издатель не могут принять на себя ответственность за законность всех материалов или последствия их использования. Авторы и издатели попытались проследить владельцев авторских прав всего материала, воспроизведенного в этой публикации и принести извинения владельцам авторских прав, если разрешение опубликовать в этой форме не было получено. Если какой-либо материал авторского права не был подтвержден, запишите и сообщите нам, таким образом, мы можем исправить в любой будущей перепечатке.
Пособие составлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования и рабочими программами по дисциплине. Содержит методические указания по выполнению двенадцати лабораторных работ, включающих краткие теоретические сведения темам занятий, задания, планы составления отчёта, контрольные вопросы, литературу.
Предназначено для студентов, обучающихся по направлению подготовки 13.03.02 – Электроэнергетика и электротехника.
Предлагаемая читателю книга представляет собой введение в проблематику и методы теории нумераций - нового развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи для вычислимых нумераций в то время занялся В. А. Успенский.
Основные его результаты изложены в статье 63 и в книге 10, вышедшей в 1960 году. Параллельно ряд зарубежных математиков (Райс, Деккер, Майхилл, Фридберг, Лахлан, Лакомб, Пур-Эль и др.) также занимались изучением различных вопросов, связанных с вычислимыми нумерациями. Независимо были осуществлены попытки изучения нумерованных алгебр (Фрелих — Шепердсон, Рабин), которые также обнаружили интересные специфические «нумерационные» особенности.
