МАТЕМАТИКА

Методические рекомендации содержат краткий теоретический материал по теории «Принятие решений в условиях неопределённости». Большое место отведено представлениям матрицы решений: её графическим и табличным интерпретациям. Рассмотрены минимаксный критерий принятия решений, критерий Байеса — Лапласа, критерий произведения.

Пособие соответствует государственному образовательному стандарту дисциплин «Математика», «Алгебра», «Аналитическая геометрия» направлений подготовки бакалавров 010303 «Механика и математическое моделирование», профиль подготовки «Математическое моделирование и компьютерный инжиниринг», 270303 «Системный анализ и управление», профиль подготовки «Теория и математические методы системного анализа и управления в технических, экономических и социальных системах». Рассмотрены возможности применения математического редактора Mathcad, Desmos, Wol&amAlpha для научных и инженерных расчетов.

Поурочные методические разработки составлены по учебнику М.И. Моро и др. «Математика. 2 класс» УМК «Школа России» (М.: Просвещение), входящему в действующий федеральный перечень учебников (приказ Минпросвещения России от 21.09.2022 № 858). Материал соответствует требованиям ФГОС НОО 2021 г. и ФОП НОО (приказ Минпросвещения России от 18.05.2023 № 372). Здесь педагог найдет всё, что необходимо для качественной подготовки к уроку: тематическое планирование учебного материала, подробные конспекты занятий, методические рекомендации по работе над проектами, различные игры, кроссворды, загадки, тексты физкультминуток. Подходит к учебникам «Математика» в составе УМК М.И. Моро, М.А. Бантовой, Г.В. Бельтюковой и др., выпущенным с 2023 г. по настоящее время.

Поурочные методические разработки составлены по учебнику М.И. Моро и др. «Математика. 1 класс» УМК «Школа России» (М.: Просвещение), входящему в действующий федеральный перечень учебников (приказ Минпросвещения России от 21.09.2022 № 858). Материал соответствует требованиям ФГОС-2021 и ФОП НОО (приказ Минпросвещения России РФ от 18.05.2023 № 372). Здесь педагог найдет все, что необходимо для качественной подготовки к уроку: тематическое планирование учебного материала, подробные конспекты занятий, методические рекомендации по работе над проектами, различные игры, кроссворды, загадки, тексты физкультминуток. Подходит к учебникам «Математика» в составе УМК М.И. Моро, М.А. Бантовой, Г.В. Бельтюковой и др. 2023–2024 гг. выпуска.

Изложены основные приемы работы в пакете MathCAD версии 15, описаны порядок и правила создания и редактирования основных вычислений, выполнение символьных и матричных вычислений, а также применение численных методов для решения типовых задач с примерами их реализации.

Данная книга – это второй том двухтомного пособия «Практикум по высшей математике». В нём представлены все основные разделы высшей математики: элементы математического анализа, линейной алгебры, аналитической геометрии,теории вероятностей и математической статистики. Во второй том входят следующие разделы: интегральное исчисление функций одной (действительной и комплексной) переменной и функций многих переменных; элементы векторного анализа, комплексного анализа и операционного исчисления; дифференциальные уравнения; элементы теории вероятностей и математической статистики. Каждый раздел содержит теоретический материал с большим количеством геометрических иллюстраций, образцы решения разнообразных задач, задачи для самостоятельного решения (в том числе достаточное количество прикладных задач). В конце книги приводятся ответы.

Данная книга – это первый том двухтомного пособия «Практикум по высшей математике». В нём представлены все основные разделы высшей математики: элементы математического анализа, линейной алгебры, аналитической геометрии, теории вероятностей и математической статистики. В первый том входят следующие разделы: множества и координатные пространства; прямые и плоскости; кривые и поверхности; предел и непрерывность функции; ряды; дифференциальные исчисления; основные теоремы дифференциального исчисления и их приложения. Каждый раздел содержит теоретический материал с большим количеством геометрических иллюстраций, образцы решения разнообразных задач, задачи для самостоятельного решения (в том числе достаточное количество прикладных задач). В конце книги приводятся ответы.

Уже больше десяти лет программисты на Ruby обращаются к данной книге как к надежному источнику сведений о том, как эффективно писать на этом языке. А теперь Хэл Фултон и Андрэ Арко изрядно обновили этот классический труд, включив описание новых средств языка и инструментов. Новое издание охватывает версию Ruby 2.1 и содержит более 400 примеров, отвечающих на вопрос «Как это делается в Ruby?». Все примеры сопровождаются подробным описанием задачи и технических ограничений. Затем дается пошаговое объяснение одного хорошего решения с детальными комментариями, позволяющими лучше усвоить материал. Третье издание удобно организовано по темам, так что стало еще проще найти ответ на свой вопрос и писать более качественный код в согласии с духом и философией Ruby.

Давай вместе отправимся в удивительный мир программирования — страну Алгоритмию, где ты сможешь помочь котенку Scratch спасти Инфоград от злобного Вируса. Ты научишься создавать игры и анимации, которыми сможешь поделиться с друзьями. Программировать — это интересно. А программировать игры — вдвойне! Скорее бери в руки мышь и вперед — в захватывающее путешествие! Время кодить настало! Программирование — увлекательное и полезное занятие для детей и взрослых. Специальный язык Scratch поможет даже новичку быстро собрать игру из цветных блоков, словно пазл. Создание игры — это обучение с развлечением, а сказочный сюжет необходим для поддержания интереса ребенка. В данной книге представлены 30 полноценных проектов.

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

Книга представляет собой самоучитель по одной из лучших САПР КОМПАС-3D V13, предназначенной для выполнения чертежно-конструкторской документации, построения объемных 3D-моделей, сборок и листовых деталей. По итогам Всероссийского конкурса в 2004 году (г. Москва) первое издание этой книги отмечено призом за победу в номинации «Лучшая учебно-методическая разработка по применению КОМПАС-3D». В нынешнем восьмом издании впервые приводятся примеры выполнения прочностных расчетов методом конечных элементов с помощью встроенного модуля системы прочностного анализа APM FEM, компании НТЦ АПМ.

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

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

Учебник разработан с учетом требований профессиональных стандартов, сопряженных с профессиональной деятельностью выпускника: «Программист», «Администратор баз данных», «Специалист по информационным системам», «Руководитель проектов в области информационных технологий», «Специалист по тестированию в области информационных технологий», «Технический писатель», «Системный администратор информационно-коммуникационных систем», «Специалист по администрированию сетевых устройств информационно коммуникационных систем». Учебник предназначен для бакалавров направлений подготовки 09.03.01 — Информатика и вычислительная техника, 09.03.02 — Информационные системы и технологии, 09.03.04 — Программная инженерия, 09.04.01 — Информатика и вычислительная техника (магистратура). Учебник включает дипломированные лабораторные работы и практические задания, разработанные на соответствие требований профессиональных стандартов 06 группы: Связь и информационно-коммуникационные технологии. В каждом практическом задании определяется цель, прилагается теоретический материал, представляются способы решений заданий. По таблице критериев оценивания выполненного задания обучающийся может самостоятельно проверить и оценить себя.

В книге рассмотрена система NX CAM, предназначенная для создания управляющих программ для станков с ЧПУ. NX CAM реализует широкий набор функций, в том числе обработку призматических деталей, сложной профильной оснастки, а также деталей типа турбинных лопаток и моноколес. Отдельные главы книги посвящены токарной, токарно-фрезерной обработке и операциям измерения на станке. Подробно рассмотрено использование встроенного модуля симуляции станка для проверки управляющих программ вне станка, что позволяет исключить стадию отладки программ на станке и в целом повышает производительность оборудования. В книге затронута тема совместного использования NX CAM с системой управления инженерными данными Teamcenter, что открывает перед предприятиями широкие перспективы построения единого информационного пространства предприятия. Все модели, рассмотренные в книге, можно найти на корпоративном сайте Siemens PLM Software по следующей ссылке www.siemens.com/plm/ru/cam_models.

Ruby - относительно новый объектно-ориентированный язык, разработанный Юкихиро Мацумото в 1995 году и позаимствовавший некоторые особенности у языков LISP, Smalltalk, Perl, CLU и других. Язык активно развивается и применяется в самых разных областях: от системного администрирования до разработки сложных динамических сайтов. Книга является полноценным руководством по Ruby - ее можно использовать и как учебник, и как справочник, и как сборник ответов на вопросы типа «как сделать то или иное в Ruby». В ней приведено свыше 400 примеров, разбитых по различным аспектам программирования, и к которым автор дает обстоятельные комментарии.

Книга посвящена одному из самых популярных встраиваемых языков — Lua. Этот язык использовался во многих играх и большом количестве различных приложений. Язык сочетает небольшой объем занимаемый памяти, высокое быстродействие, простоту использования и большую гибкость. Книга рассматривает практически все аспекты использования Lua, начиная с основ языка и заканчивая тонкостями расширения языка и взаимодействия с С. Важной особенностью книги является огромный спектр охватываемых тем — практически все, что может понадобиться при использовании Lua. Также к каждой главе дается несколько упражнений, позволяющих проверить свои знания. Книга будет полезна широкому кругу программистов и разработчиков игр. Для понимания последних глав книги необходимо знание языка С, но для большинства остальных глав достаточно базовых знаний о программировании.

В данной книге речь идёт о работе процессора в двух его основных режимах: защищённом режиме и 64-битном, который также называют long mode («длинный режим»). Также помимо изложения принципов и механизмов работы процессора в защищённом и 64-битном режимах, речь пойдёт о программировании на ассемблере в операционных системах семейства Windows, как в 32-битных, так и 64-битных версиях. Рассматривается не только разработка обычных приложений для операционных систем Windows, но и разработка драйверов на ассемблере. При написании книги уделялось большое внимание именно практической составляющей, т.е. изложение материала идёт только по делу и только то, что необходимо знать любому системному и низкоуровневому программисту. Последний раздел книги посвящён принципам работы многопроцессорных систем, а также работе с расширенным программируемым контроллером прерываний (APIC). На сайте издательства находятся полные исходные коды примеров к книге, а также дополнительные программы и материалы.

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

Почему многие выбирают Clojure? Потому что это функциональный язык программирования, не только позволяющий использовать Java-библиотеки, службы и другие ресурсы JVM, но и соперничающий с другими динамическими языками, такими как Ruby и Python. Эта книга продемонстрирует вам гибкость Clojure в решении типичных задач, таких как разработка веб-приложений и взаимодействие с базами данных. Вы быстро поймете, что этот язык помогает устранить ненужные сложности в своей практике и открывает новые пути решения сложных проблем, включая многопоточное программирование.

Книга рассчитана на тех, кто нуждается в понятном и доступном введении в язык C++, и может использоваться как самоучитель. Она также рассказывает о компьютерах и алгоритмическом решении задач, поэтому может служить в качестве первого учебника программирования. Авторы убедительно показывают, что темы, когда-то считавшиеся слишком сложными для вводного курса по С++ и объектно-ориентированному программированию, можно успешно объяснять на ранних стадиях обучения. Книга является удачным выбором для первого знакомства с С++. Материал излагается в строгой, но доступной для начинающего программиста форме. Авторы приводят многочисленные откомпилированные и проверенные упражнения с ответами.

Данная книга рассказывает об особенностях программирования для новых версий AutoCAD (2013–2015). В ней разъясняется процесс написания программного кода на четырех языках: C++, C#, LISP, VBA. Рассмотрены среды разработки Microsoft Visual Studio 2010–2013, Microsoft Visual Basic 7.1, а также библиотеки ObjectARX 2013–2015, AutoCAD .NET API 2013–2015. Описан механизм проектирования интеллектуальных объектов (custom objects), которые становятся новыми примитивами AutoCAD. Методически книга может использоваться и при работе с предыдущими версиями AutoCAD.

Данная книга открывает серию переводов зарубежных изданий по проектированию цифровых систем, которую готовят к выходу в свет компания «ДМК Пресс» и МИЭМ НИУ ВШЭ при поддержке группы компаний YADRO (yadro.com). Она предназначена для тех, кто хочет узнать о том, как устроена технология FPGA, и получить практический опыт работы с реальными проектами. Читатель получит общее представление о программируемых логических интегральных схемах, научится программировать на языке SystemVerilog, разработает, выполнит тестирование и реализует ряд проектов разной степени сложности от простого калькулятора до комплексного проекта, использующего AXI и внешнюю периферию, подключенную через PS/2 и VGA. Демонстрационные примеры реализованы на доступных платах Nexys A7 или Basys 3 (с чипами Xilinx) и сопровождаются исходными кодами.

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

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

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

Учебное пособие содержит 662 задачи различного уровня сложности — от легких упражнений до сложных прикладных программ. На конкретных примерах показан профессиональный подход к стилю программирования, к надежности и корректности алгоритмов и программ. Глава 1 книги («Основы программирования») содержит 439 задач, многие из которых по силам школьникам и студентам подготовительного курса. Содержание этой части соответствует учебным программам по информатике, но не дублирует базовых учебников. За исключением нескольких простых упражнений, все программы проверены в системе Turbo Pascal 7.

Применение машинного обучения для лучшего понимания природы данных — умение, необходимое любому современному разработчику программ или аналитику. Python — замечательный язык для создания приложений машинного обучения. Благодаря своей динамичности он позволяет быстро производить разведочный анализ данных и экспериментировать с ними. Обладая первоклассным набором библиотек машинного обучения с открытым исходным кодом, Python дает возможность сосредоточиться на решаемой задаче и в то же время опробовать различные идеи. Книга начинается с краткого введения в предмет машинного обучения и знакомства с библиотеками NumPy, SciPy, scikit-learn. Но довольно быстро авторы переходят к более серьезным проектам с реальными наборами данных, в частности, тематическому моделированию, анализу корзины покупок, облачным вычислениям и др.

Книга известного специалиста в области информатики Никлауса Вирта написана по материалам его лекций по вводному курсу проектирования компиляторов. На примере простого языка Оберон-0 рассмотрены все элементы транслятора, включая оптимизацию и генерацию кода. Приведен полный текст компилятора на языке программирования Оберон.

Книга во всех подробностях освещает параллельное программирование на современном C++. Особое внимание уделено опасностям и трудностям параллельного программирования (например, гонке данных и мертвой блокировке) и способам борьбы с ними. Приводятся многочисленные примеры кода, позволяющие читателю легко закрепить теорию на практических примерах. Издание адресовано читателям, которые хотят освоить параллельное программирование на одном из наиболее распространенных языков.

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

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

Третья книга учебника состоит из двух частей. Первая часть содержит основы психодиагностики и включает описание более 120 стандартизированных и проверенных психодиагностических методик, предназначенных для исследования детей от 2–3 до 16–17 лет, а также учителей, родителей. Во второй части имеются сведения по организации и проведению научного психологического исследования и дается описание методов математической статистики.

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

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

В книге рассматривается программирование для 64-разрядной архитектуры x86 и использование расширенного набора векторных команд (AVX). Изучив этот материал, вы сможете кодировать быстродействующие функции и алгоритмы с использованием 64-разрядного языка ассемблера x86 и расширений набора команд AVX, AVX2 и AVX-512. Примеры исходного кода разработаны с использованием Visual Studio C++ и MASM; для их запуска рекомендуется ПК на базе x86 с 64-разрядной ОС Windows 10 и процессором, поддерживающим AVX. Предполагается, что читатели имеют опыт программирования на языках высокого уровня и базовые знания C++.

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

Иногда нас называют мартышками, работающими с данными, но на самом деле мы чаще походим на волшебников. Наши данные редко появляются на свет в готовом к работе виде, и у нас могут уходить долгие часы на их очистку, фильтрацию и преобразование. Power Query помогает сократить этот процесс при первичной нажатию на кнопку. Когда дело касается импорта, очистки и преобразования исходных данных для дальнейшего анализа, освоить Power Query бывает гораздо легче, чем выучить формулы Excel или язык программирования VBA. Нет сомнений, что Power Query навсегда изменит подход специалистов Excel к работе с данными. Если у вас есть Excel, значит, у вас уже есть Power Query – этот инструмент встроен в Excel 2016 и выше. Эта книга поможет вам извлечь максимум пользы из Power Query.

Начните работу с Apache Flink, фреймворком с открытым исходным кодом, на котором основаны многие крупнейшие в мире системы обработки потоковых данных. В данной книге вы изучите фундаментальные понятия параллельной потоковой обработки и узнаете, чем эта технология отличается от традиционной пакетной обработки данных. Ф. Уэске и В. Калаври, занятые в проекте Apache Flink с первых дней, покажут вам, как создавать масштабируемые потоковые приложения с помощью API Flink DataStream, а также непрерывно выполнять и поддерживать эти приложения в операционных средах. Потоковая обработка идеально подходит для многих задач: подготовки данных с малой задержкой, потоковой аналитики и информационных панелей в реальном времени, раннего оповещения и обнаружения мошенничества. Вы можете обрабатывать потоковые данные любого типа, включая взаимодействия с пользователем, финансовые транзакции и данные интернета вещей, немедленно после получения.

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

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

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

Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).

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

В пособии изложен теоретический и практический материал раздела парный регрессионный анализ. Включает типовые примеры и задачи с использованием Microsoft Office Excel и Eviews. Для освоения данного материала достаточно знания базового курса теории вероятностей и математической статистики.

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

Представлены четыре раздела учебного курса «Методы оптимизации». В каждом разделе изложены необходимые теоретические сведения, рассмотрены реализации алгоритмов численных методов оптимизации на примерах, приведены способы решения или проверки решений в программе Microsoft Excel.

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

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

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