Моя библиотека: документы

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

«Давно прошло время, когда человеку, для того чтобы стать охотником, достаточно было приобрести ружье и боеприпасы. Сегодня от охотника требуется значительно больше, чем простая готовность к добыче животных. На него возложена обязанность разумной эксплуатации, сохранения и приумножения фауны. Охотник в состоянии справиться с этой задачей, если будет активным, компетентным в важном деле охраны природы. В настоящее время охотник должен иметь представление об основах использования природных богатств, о месте охоты в народном хозяйстве. Ему следует уяснить возможности охоты как одной из форм охраны диких животных и мест их обитания: лесов, рек, озер…»

Приводятся сведения об отечественном охотничьем оружии, а также краткие характеристики его материальной части, особенности следов на выстреленных пулях и гильзах, используемых при криминалистических исследованиях. Данное пособие является продолжением работы «Охотничье огнестрельное оружие отечественного производства», изданной ВНИИ МВД СССР в 1969 г. и содержащей сведения о моделях, выпускавшихся в период с 1917 по 1967 гг. Рассчитано на экспертов-криминалистов органов внутренних дел.

«Смерть тишайшего Царя Алексея Михайловича положила конец блестящему периоду развития царской охоты. Настало время крайнего её упадка, продолжавшееся в течении полувека, с 1676 по 1726 год. Молодой Царь Федор Алексеевич, не унаследовал от отца своего отца и тени его любви к «соколиной потехе». Человек болезненный, крайне слабого сложения, он не был рожден для подвижной жизни охотника и, получив хорошее образование под руководством Симеона Полоцкого, наполнял свои досуги писанием вирш и чтением русских и польских книг…»

«Флажками в охотничьем значении этого слова называются лоскутки цветной материи, прикрепленные (пришитые) к шнуру или к тонким палочкам. При охоте в лесу чаще применяется шнур, а в местности открытой, степной — флажки на палочке. Как всякий посторонний предмет, совершенно чуждый обстановке, в которой живет зверь, флажки своим цветом и видом в подавляющем большинстве случаев настораживают его внимание, заставляя не переступать флажную линию. Не всякий зверь с одинаковой опаской относится к флажкам. С наибольшим успехом этот способ охоты применяется на волка и лису…»

«В предшествовавшей истории учреждений Императорской охоты мы наблюдали не раз, как периоды крайнего их упадка сменялись периодами блестящего расцвета. Старинная Государева охотничья потеха падает в смутное время великой разрухи Московского Государства и вслед затем восстанавливается, совершенствуется и достигает высшего блеска при Тишайшем Царе Алексее Михайловиче…»

«… За время пребывания в гостях у чехословацких и румынских друзей я встречался с охотниками и рыболовами, посещал охотничьи хозяйства, участвовал в разных охотах, стрелял на стендах и посещал инкубаторные станции, где выводятся куропатки и фазаны. Эти станции одновременно служат и для передержки дичи. За многие годы моей служебной и охотничьей деятельности я бывал на Урале, в Сибири, в Средней Азии, на Кавказе, в Донбассе, в Подмосковье и во многих других областях. Однако у большинства наших охотников я не встречал такой заботы о своем хозяйстве, которую наблюдал среди охотников Чехословакии и Румынии. Нельзя сравнить необъятные просторы Советского Союза с территориями Чехословакии и Румынии. Тем не менее в нашей стране с каждым годом становится все больше и больше охотников, а количество дичи заметно убавляется. Охотники наших больших городов, выезжая на охоту, довольно часто возвращаются домой «без пуха и пера». Пора покончить с устарелым взглядом горе-охотников «на мой век дичи хватит» и «птица божья не сеет, не жнет, а живет… »

Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается место математической логики в системе научного познания.

В работе указываются практические приложения математической логики как основы для конструирования и работы разнообразных «умных» и «думающих» машин.

Книга рассчитана на научных работников, аспирантов, студентов и учителей средней школы, а также на широкий круг читателей, интересующихся философией, логикой и математикой.

Интенсивное развитие математической логики в последнее время сопровождается увеличением её роли в математике.

Одной из основных задач математической логики остаётся анализ оснований математики. Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики.

Из её идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого остались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашёл применение в вопросах конструкции вычислительных машин и автоматических устройств.

Курс «Элементы математической логики и теории множеств» впервые был прочитан для студентов 1-го курса механико-математического факультета Саратовского университета в 1961 году профессором В. В. Вагнером. С тех пор он читается ежегодно с сохранением в основном первоначальной программы.

С 1963 года этот курс введен в учебные планы мехматов университетов. Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962—66 гг. В § 1 вводятся основные понятия теории множеств. В § 2 и § 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается.

В § 4 и § 5 логика предикатов применяется для построения начал алгебры и теории бинарных отношений. В § 6 на основе теории бинарных отношений излагаются начальные понятия по теории отображений и объединений множеств. Каждый параграф заканчивается упражнениями, которые построены по принципу прогрессии трудности. В конце книги приведен список литературы, включающей основное пособие и рядом классик с математической логики и теории множеств.

Автор этой книги, выдающийся советский математик, академик Петр Сергеевич Новиков, родился в августе 1901 года.

Свою научную деятельность П. С. Новиков начал в двадцатые годы в области дескриптивной теории множеств. Петру Сергеевичу принадлежат глубокие научные результаты в области теории множеств, математической логики, теории алгоритмов и теории групп. Исключительная роль П. С. Новикова в развитии этих областей математики в СССР определяется также его многолетней педагогической деятельностью в МГПИ им. В. И. Ленина и в МГУ им. М. В. Ломоносова. П. С. Новиков создал большую научную школу в области математической логики и теории алгоритмов.

Его книга «Элементы математической логики», являющаяся первым отечественным курсом математической логики, пользуется большой популярностью как в нашей стране, так и за рубежом. Она переведена на английский, французский, итальянский и другие языки. В 1973 году вышло второе русское издание этой книги.

Учебное пособие содержит теоретический материал, необходимый для проведения практических и лабораторных работ по дисциплине «Электромеханические системы». В нем изложены основные положения электропривода в сельском хозяйстве. Подробно рассмотрены характеристики электропривода технологических установок сельскохозяйственного производства, особенности работы электропривода в сельском хозяйстве.

Учебное пособие предназначено для студентов вузов очной и заочной форм обучения по направлению подготовки «Агроинженерия», направленность «Электротехнологии и электрооборудование в сельском хозяйстве» (уровень магистратуры).

Рассмотрены принципы работы и электрические характеристики биполярных и МОП-транзисторов интегральных схем, базовых элементов цифровой и аналоговой схемотехники, БМК и ПЛМ, микроконтроллеров и микропроцессоров. Описаны методики выполнения лабораторных, расчетных на ЭВМ, курсовых, самостоятельных и др. работ. Пособие предназначено для бакалавров и магистров различных специальностей, изучающих электронику, микроэлектронику и схемотехнику; отдельные разделы могут быть полезными для аспирантов и инженеров-практиков.

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

Работы проводятся в программной оболочке Multisim 10 Корпорации Electronics Workbench.

Предназначена для студентов направления «Информатика и вычислительная техника», профили “Вычислительные машины, комплексы, системы и сети” 09.03.01, “Автоматизированные системы обработки информации и управления” 09.03.04 и направления “Прикладная информатика” профиль “Прикладная информатика в экономике” 09.03.03 всех форм обучения и ряда других специальностей, ориентированных на углубленное знание курса электроники

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

Учебное пособие предназначено для обучающихся по программам высшего образования по направлению подготовки 11.03.03 Конструирование и технология электронных средств при изучении дисциплины «Электронные приборы».

В дореволюционной гимназии (а одно время — и в советской школе) преподавали логику. Логику часто определяют как «науку о законах правильного мышления». Предполагалось, очевидно, что неотъемлемым атрибутом зрелости, по достижении которой человеку выдается аттестат, является умение мыслить (и к тому же — правильно мыслить).

Против самого замысла возразить что-либо трудно, но на деле чаще всего получалось, что умение (или неумение) мыслить — само по себе, а «предмет», именуемый логикой, — сам по себе. Величайшее достижение античной науки — формальная логика Аристотеля оказывалась “если и можно называть, слишком классической, чтобы ее можно было легко приспособить к нуждам быстро развивающихся естественных наук, не говоря уже о чисто практических приложениях.”

Настоящие «Очерки» написаны преимущественно для преподавателей математики средних школ и студентов физико-математических факультетов педагогических институтов. Их содержание не исчерпывает того, что теперь связывают со словом «введение», когда обращаются к вопросам обоснования математики. На первом месте стоят те вопросы обоснования математики, знание которых может оказаться полезным преподавателям математики средних школ.

Глава о математической логике написана Л. Е. Майстровым и Т. Л. Майстровой. Благодарим члена-корреспондента АН СССР П. С. Новикова, действительного члена АН УССР Б. В. Гнеденко и профессоров Э. Кольмана, К. А. Рыбникова и И. Я. Депмана, дружеские советы которых были учтены нами при окончательном редактировании «Очерков».

Будем также благодарны читателям за относящиеся к «Очеркам» замечания и пожелания, которые просим направлять по адресу: Москва, Чистые пруды, 6, Учебно-педагогическое издательство, редакция математики.

Книга включает перевод двух статей из «Справочника по математической психологии», изданного в США. В статьях обсуждаются проблемы измерений в экспериментальной психологии, приводится богатый материал по конкретным типам шкал и анализируются соотношения между физическими параметрами эксперимента и определяемыми ими психологическими параметрами.

Книга будет, несомненно, интересна как специалистам, работающим в области экспериментальной психологии, так и широкому кругу читателей, интересующихся применением математических методов к описанию явлений в других науках.

В книге Э. Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений.

Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует, однако, отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.

Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании.

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

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

Тем не менее во всех перечисленных примерах разнообразных видов человеческой деятельности (число таких примеров можно было бы увеличивать до бесконечности) есть существенно общие черты. Это общность заключается в первую очередь в необходимости увязывать причины со следствиями, воздействуя с результатами, одни действия с другими действиями.

Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктивизации математического анализа.

Книга доступна математикам всех специальностей, начиная со студентов младших курсов. Она представляет интерес также для всех лиц, интересующихся основаниями математики.

Данная технология является дальнейшим развитием «Машинной технологии возделывания зерновых культур в Нечерноземной зоне России без применения гербицидов», разработанной по решению Президиума РАСХН и в соответствии с программой Миннауки РФ «Перспективные процессы производства сельскохозяйственной продукции» направление «Зерновой комплекс 2000». Технология испытана в совхозе «Власть Советов» Московской области (АО «Тропарево»), одобрена секциями Ученого совета ВИМ и НИИСХ ЦРНЗ и рекомендована к внедрению в Нечерноземной зоне России. Предназначена для специалистов сельского хозяйства, механизаторов коллективных хозяйств и фермеров.

Первая книга английской «Энциклопедии практического садоводства», посвященная технологии выращивания овощных культур: посеву, уходу за растениями, сбору урожая и его хранению и т. д. Текст сопровождают наглядные иллюстрации. Издание рассчитано на широкий круг огородников-любителей.

Предлагаемая вниманию читателей книга польского логика Яна Лукасевича (1878—1956) «Аристотелевская силлогистика с точки зрения современной формальной логики» является одним из выдающихся его трудов.

До опубликования этой работы Лукасевич уже был известен и в Польше и за рубежом как представитель школы математической логики. Еще в 1921 году он издает труд по многозначной логике («Logica dwuwartościowa», Варшава). В 1929 году в печати появляется работа Лукасевича «Elementy logiki matematycznej» («Элементы математической логики»), где уже намечается позднейшее его истолкование силлогистики Аристотеля.

Вслед за тем он совместно с Тарским выпускает «Untersuchungen über das Aussagenkalkül» («Исследования по исчислению высказываний»), 1930. После этого он публикует работы: «Zur Geschichte der Aussagenlogik» («К истории логики высказываний»), 1935 (в № 2—3 V тома журнала «Erkenntniss»); «Die Logik und Grundlagenproblem» («Логика и проблема обоснования»), 1938.

Мы продолжаем формализованное описание математики. Основным объектом первой части курса было математическое доказательство; было показано, что его подходящим формальным аналогом является понятие вывода в языке, после чего самые интересные результаты утверждали невозможность осцлерательных математических утверждений (например, гипотезы континуума).

Основным объектом этой второй части курса будет детерминированный процесс вычисления, или переработки нечисловой информации, короче, алгоритм. Будет построено подходящее формальное описание алгоритмов (точнее, результаты их действий), и самые интересные результаты окажутся утверждением о несуществовании алгоритмов, вычисляющих содержательно описываемые функции.

Содержанием математической логики является изучение языка математики. Разумеется, забота о языке и постоянная его перестройка для приведения в соответствие с меняющимся состоянием знаний характерна для любой естественной науки (ср. судьбу “флогистона” и “мирового эфира” в физике).

Тем не менее, необходимая работа обычно осуществляется по ходу дела, и то пристальное критическое рассмотрение, которому математика подвергла самое себя и свои средства выражения, представляется уникальным.

Причина этого состоит, конечно, в том, что все остальные естественные науки имеют предмет, внешний им, и эволюция языка наук определяется постоянным сравнением научного описания с описываемой реальностью.

В наши дни широкого использования математических методов исследования во многих областях науки и искусства современная логика привлекает все большее внимание исследователей. Однако при этом на первый план зачастую выходит формальный аппарат логики, а не идейная ее сторона. Именно этим идейным аспектам логики, пока незаслуженно остающимся на втором плане, посвящены в основном «Заметки по логике».

Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями. Очень ценен для начинающего читателя набор задач, которые призваны привить вкус к самостоятельным исследованиям по логике.

Книгу с большим интересом прочтут и те, кто только начинает заниматься математикой (на первом курсе вузов или в старших классах средней школы), и специалисты.

Эта книга, посвященная проблемам математической логики, написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающихся при этом парадокcах. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Книга может быть прочитана не только математиками, она вполне доступна школьникам старших классов.

Книга является самой обширной из имеющихся монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и потому может считаться общедоступной.

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

Книга посвящена графическому аппарату математической логики — диаграммам Веннa, их истории и применению. Автор показывает, что диаграммы Веннa могут облегчать решение различных задач математической логики и задач, связанных с построением надежных автоматов из не вполне надежных элементов.

В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диаграмм в связи с задачами логики высказываний и логики одноместных предикатов, а также в связи с проблемами теории нейронных схем.

В данной книге кратко и доступно для начинающих изучение логики излагаются основные законы, правила, методы и термины традиционной логики.

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

В книгу включены также статьи о некоторых понятиях диалектико-материалистической теории познания и диалектической логики.

Настоящее пособие предназначено в первую очередь ученикам IX—X классов средней общеобразовательной школы, интересующимся математикой. Учителя математики также найдут в нем материал, который смогут использовать в своей работе.

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

Имя одного из крупнейших современных специалистов в области математической логики С. К. Клинк знакомо советскому читателю по русскому переводу его фундаментального труда “Введение в метаматематику” (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Новая его книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант чисто логической части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал.

Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлекает также внимание всех занимающихся или интересующихся математической логикой.

Небольшая монография, посвященная теории классов моделей — области математической логики, интенсивно развивавшейся в течение последних 10–15 лет. Содержание монографии — обобщение теории моделей на случай произвольного пространства истинности.

Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и теории множеств и элементарные сведения по математической логике. Изложение сопровождается упражнениями и задачами.

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

В книге французского автора рассматривается широкий спектр электронных систем охраны и сигнализации. Цель настоящего издания - дать детальное представление о всех звеньях охранного комплекса. Наряду с недорогими устройствами охраны помещений описаны самодельные конструкции для применения в быту: сигнализация при пожаре, датчики утечки воды, самые разнообразные противоугонные системы, программаторы для популярных контроллеров.

Книга рассчитана на самые широкие читательские круги - от радиолюбителей до профессионалов.

Изложены основные разделы дисциплины «Электротехника и элек троника». Приведено описание четырнадцати лабораторных работ. Каждая работа сопровождается теоретическим материалом в форме конспективного изложения основных разделов лекций, примерами расчетов и моделирования электрических цепей и электронных схем, расчетными домашними заданиями по обработке экспериментальных результатов. Компьютерный лабораторный практикум построен на базе современного программного комплекса TINA-8 компании Texas Instruments, упрощенную студенческую версию которого можно свободно получить на сайте http://www. ti. com/tool/tina-ti, и предназна чен для формирования навыков, умений и компетенций в расчетах и экспериментальных исследованиях электрических цепей и электронных схем. Пособие может быть использовано как при традиционных, так и дистанционных технологиях обучения студентов.

Для студентов, изучающих дисциплины «Электротехника и элек троника», «Общая электротехника и электроника», «Общая электро техника», «Теоретические основы электротехники», «Электротехника».

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

Знакомство с миром электротехники принесет много полезного и интересного любознательному читателю. В ходе опытов и экспериментов пытливый читатель познакомится с основополагающими принципами и законами электротехники, поймет, как работают электросети, электрические машины, даже научится самостоятельно рассчитывать простые электрические цепи.

Информация книги будет полезна и слушателем технических учебных заведений, и тем, кто хочет расширить свой кругозор в области электроники и электротехники. Книга предназначена для широкого круга читателей.

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

Предназначено для учащихся учреждений среднего специального обра зования по специальности «Мехатроника». Будет полезно преподавателям для организации лабораторных и практических работ.

Пособие состоит из 18 лекций, содержащих теоретический материал, задачи для решения, схемы для моделирования, контрольные вопросы, и соответствует программе дисциплины «Электротехника». Отличительной особенностью книги является то, что любую изучаемую схему можно загрузить в бесплатную студенческую версию программы TINA-TI и исследовать самостоятельно её работу. Пособие содержит дополнительные главы - резонансные контуры, электрические фильтры, двухполюсники, цепи с распределёнными параметрами, которые представляют интерес для углублённого понимания курса.

Для студентов, обучающихся по направлению подготовки 27.03.04 - «Управление в технических системах».

В учебнике изложены базовые материалы по всем основным разделам электротехники: электрические и магнитные цепи постоянного и переменного токов, электрические измерения, основы промышленной электроники, электрические машины, производство и распределение электрической энергии. Все главы представляют собой 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 году. Параллельно ряд зарубежных математиков (Райс, Деккер, Майхилл, Фридберг, Лахлан, Лакомб, Пур-Эль и др.) также занимались изучением различных вопросов, связанных с вычислимыми нумерациями. Независимо были осуществлены попытки изучения нумерованных алгебр (Фрелих — Шепердсон, Рабин), которые также обнаружили интересные специфические «нумерационные» особенности.