SCI Библиотека

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

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

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

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

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

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

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

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

Курс «Элементы математической логики и теории множеств» впервые был прочитан для студентов 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 Конструирование и технология электронных средств при изучении дисциплины «Электронные приборы».