
Свободный доступ

Ограниченный доступ
Автор: Жирных Б. Г.
Изд-во МГТУ им. Н.Э. Баумана: М.
Рабочая тетрадь предназначена для записи лекций по начертательной геометрии, читаемых на кафедре «Инженерная графика» МГТУ им. Н.Э. Баумана. В рабочей тетради содержится графический материал, требующийся при изложении курса лекций. Пояснения к чертежам следует делать на свободных полях тетради или на чистых листах бумаги, вставив их между страницами тетради.
Предпросмотр: Рабочая тетрадь для записи лекций по начертательной геометрии.pdf (0,3 Мб)
Автор: Дмитриева И. М.
Изд-во МГТУ им. Н.Э. Баумана: М.
Изложены основные определения, понятия, алгоритмы решения и задачи для самостоятельного решения в целях закрепления теоретического материала дисциплины «Инженерная графика».
Предпросмотр: Инженерная графика.pdf (0,1 Мб)
Автор: Бессонов А. А.
Проспект: М.
Искусственный интеллект уже прочно вошел в нашу жизнь, но для многих его
использование по-прежнему кажется уделом избранных. Автор опровергает этот миф и предоставляет читателю пошаговое описание реализации в программах Excel и R алгоритмов машинного и глубокого обучения, регрессии и кластеризации, корреляционного и дисперсионного анализа применительно к криминалистическому изучению преступных деяний. Отдельное внимание уделено разведочному анализу данных, методам работы с географическими координатами и сведениями о времени. Преимуществом книги является сочетание теории математической статистики и машинного обучения в объеме, достаточном для понимания сути реализуемых методов, и готовых прикладных решений, которые можно использовать как в научных исследованиях, так и в практике расследования преступлений. Законодательство приведено по состоянию на 1 октября 2020 г.
Предпросмотр: Искусственный интеллект и математическая статистика в криминалистическом изучении преступлений. Монография.pdf (0,3 Мб)
Автор: Шептунов М. В.
Горячая линия – Телеком: М.
краткой форме доступно изложены основы дискретной математики. Рассмотрены основы теории множеств, уделено внимание комбинаторному и теоретико-множественному подходам. Рассмотрены элементы математической логики. Изложены основные методы и подходы теории графов. Рассмотрены специальные маршруты в графах и поиск путей. Раскрыты основные вопросы теории кодирования. Наряду с основополагающими понятиями – кодами Грея и Хемминга уделено внимание применению алгоритма RSA в режимах шифрования и электронной цифровой подписи. Пособие подготовлено в соответствии с разработанными автором рабочими программами Финансового университета (ФГОБУ ВО «Финансовый университет при Правительстве РФ»).
Предпросмотр: Дискретная математика для бакалавриата.pdf (0,2 Мб)
Автор: Чернышов Ю. Н.
Горячая линия – Телеком: М.
Изложены методы решения экономических задач оптимизации с использованием средства «Поиск решения» MS Excel. Рассмотрены
задачи линейного программирования, систем массового обслуживания, теории игр и другие. Пособие подготовлено на основе задач и заданий, предлагаемых для решения студентам кафедры Инновационного предпринимательства Мытищинского филиала МГТУ им. Н. Э. Баумана при проведении практических занятий по дисциплине «Методы оптимальных решений».
Предпросмотр: Решение задач оптимизации с помощью Excel практикум.pdf (0,2 Мб)
Автор: Тимашев А. Н.
Горячая линия – Телеком: М.
Изложен современный курс математического анализа, предназначенный для изучения на механико-математических и физико-математических факультетах университетов и других вузов с повышенной математической подготовкой.
Предпросмотр: Математический анализ.pdf (0,2 Мб)
Автор: Тимашев А. Н.
Горячая линия – Телеком: М.
Кратко изложен курс обыкновенных дифференциальных уравнений, предназначенный для изучения на механико-математических и физико-математических факультетах университетов и других вузов с повышенной математической подготовкой. В основу пособия положены материалы лекционного курса, который автор многие годы читал на факультете прикладной математики Института криптографии, связи и информатики.
Предпросмотр: Обыкновенные дифференциальные уравнения. Краткий курс.pdf (0,2 Мб)
Автор: Тимашев А. Н.
Горячая линия – Телеком: М.
Кратко изложен курс теории аналитических функций комплексного переменного, предназначенный для изучения на механико-математических и физико-математических факультетах университетов и других вузов с повышенной математической подготовкой. В основу пособия положены материалы лекционного курса, который автор многие годы читал на факультете прикладной математики Института криптографии, связи и информатики.
Предпросмотр: Аналитические функции комплексного переменного.pdf (0,2 Мб)
Автор: Тимашев А. Н.
Горячая линия – Телеком: М.
Кратко изложен курс теории меры и интеграла Лебега, предназначенный для изучения на механико-математических и физико-математических факультетах университетов и других вузов с повышенной математической подготовкой. В основу пособия положены материалы лекционного курса, который автор многие годы читал на факультете прикладной математики Института криптографии, связи и информатики.
Предпросмотр: Мера и интеграл краткий курс.pdf (0,2 Мб)
Автор: Смирнов Г. В.
Горячая линия – Телеком: М.
Рассмотрены основные методы статистической обработки результатов измерений и моделирования, дополненные оригинальными примерами, полученными в результате собственных исследований автора. Представлен необходимый теоретический материал, приведены примеры выполнения практических заданий и даны варианты заданий для контрольных работ.
Предпросмотр: Моделирование и оптимизация объектов и процессов.pdf (0,3 Мб)
Автор: Крохалева А. Б.
Горячая линия – Телеком: М.
Издание посвящено решению актуальных задач в системе управления «учебное заведение — современный рынок труда». Раскрыта технология формирования показателя профессиональной готовности как элемента управления на современном рынке труда, включающая дополнительную подзадачу по оценке качества профессорско-преподавательского состава. Представлена разработанная авторами математическая модель и методика комплексной оценки качества педагогической деятельности при подготовке специалистов на основе теории нечетких множеств и алгоритма рейтинговой оценки. Впервые использован алгоритм выбора экспертов, основанный на энтропийном подходе. В качестве примера было исследовано направление «Информационная
безопасность» (ИБ).
Предпросмотр: Технология формирования показателей профессиональной готовности специалистов на современном рынке труда.pdf (0,2 Мб)
Автор: Душкин А. В.
Горячая линия – Телеком: М.
Рассмотрены теоретические основы моделирования систем с использованием современного математического аппарата. Подробно изложена основная концепция системного моделирования, дана общая схема модельных исследований, особое внимание уделено вопросам логико-лингвистического моделирования в части языковых средств представления знаний, методов оценки ситуаций и поиска рациональных решений. Показаны основные подходы к решению оптимизационных задач, в том числе на основе генетических алгоритмов. Описаны классические методы нейросетевого моделирования с их расширением на базе математического аппарата нечетких
вычислений.
Предпросмотр: Моделирование систем управления и информационно-технического обеспечения.pdf (0,2 Мб)
Горячая линия – Телеком: М.
Изложены философско-теоретические основания системного анализа,
определенные на уровне последних научных достижений и увязанные с
конкретными методами системно-аналитических исследований. Определены роль и место системного анализа в научном познании. Даны понятие, признаки и характеристики системы, рассмотрены классы систем, основы теории конфликта, самоорганизации и эволюции систем. Подробно описаны базовые концепции системно-аналитических исследований, показаны основные приемы моделирования систем.
Предпросмотр: Введение в системный анализ.pdf (0,3 Мб)
Автор: Карякин М. И.
Изд-во ЮФУ: Ростов н/Д.
Пособие содержит теоретический материал, а также варианты индивидуальных и проектных заданий, связанных как с основными разделами языка программирования Python (функции, строки, списки и т. п.), так и с использованием распространенных библиотек научного программирования
— Numpy, Matplotlib, Pandas. В качестве средства выполнения заданий
предполагается использование среды Jupyter Notebook.
Предпросмотр: Технологии программирования и компьютерный практикум на языке Python.pdf (0,5 Мб)
Автор: Шихова Надежда
Лаборатория знаний: М.
Книга предназначена для развития креативности и математического мышления у младших школьников. Основная цель данного пособия — познакомить школьника с циклическими явлениями на примере календаря и часов. Понимание циклического порядка пригодится при изучении деления с остатком и движения по кругу. Данным темам в школьных учебниках не уделяется достаточного внимания. В книге даны практико-ориентированные задачи. А герои книги — весёлые друзья-цыплята — помогут с лёгкостью решить математические загадки. Тетрадь содержит ответы на задания, что делает её удобной в использовании. Книга входит в состав учебно-методической системы раннего развития «МИР». Соответствует требованиям Федерального государственного образовательного стандарта начального общего образования (ФГОС НОО).
Предпросмотр: Математика - это интересно. Секреты времени.pdf (0,2 Мб)
Автор: Шихова Надежда
Лаборатория знаний: М.
Книга предназначена для развития креативности и математического мышления у младших школьников. Основная цель данного пособия — проработать понятие числового луча, разобраться в свойствах числового ряда. Эти знания необходимы для обучения в 5–6 классах. Герои книги — весёлые друзья цыплята — помогут решить математические загадки. Тетрадь содержит ответы на задания, что делает её удобной в использовании. Книга входит в состав учебно-методической системы раннего развития «МИР». Соответствует требованиям Федерального государственного образовательного стандарта начального общего образования (ФГОС НОО).
Предпросмотр: Математика - это интересно. Путешествие по числовому лучу.pdf (0,2 Мб)
Автор: Шихова Надежда
Лаборатория знаний: М.
Книга предназначена для развития креативности и математического мышления у младших школьников. Основная цель данного пособия — проработать тему сложения и умножения, важную для учёбы в 5–6 классах. Книга содержит задачи на изучение закономерностей в таблицах сотни, умножения и сложения. Герои книги — весёлые друзья-цыплята — помогут разобраться в вопросах математики. Тетрадь содержит ответы на задания, что делает её удобной в использовании. Книга входит в состав учебно-методической системы раннего развития «МИР». Соответствует требованиям Федерального государственного образовательного стандарта начального общего образования (ФГОС НОО).
Предпросмотр: Математика - это интересно. Всё по порядку.pdf (0,2 Мб)
Автор: Шихова Надежда
Лаборатория знаний: М.
Книга предназначена для развития креативности и математического мышления у младших школьников. Адресована детям, которые знакомы с геометрическими фигурами, понятиями периметра и площади, хорошо умеют читать и работать ножницами. Для работы понадобится цветная бумага, бумага в клетку, ножницы, скотч и клей, а ещё карандаш, циркуль и линейка. Герои книги — весёлые друзья-цыплята — помогут в разгадывании математических загадок. Тетрадь содержит ответы на задания, что делает её удобной в использовании. Книга входит в состав учебно-методической системы раннего развития «МИР». Соответствует требованиям Федерального государственного образовательного стандарта начального общего образования (ФГОС НОО).
Предпросмотр: Математика - это интересно. Эксперименты с листом бумаги.pdf (0,2 Мб)
Автор: Шихова Надежда
Лаборатория знаний: М.
Герои книги — весёлые друзья-цыплята — помогут разобраться в вопросах математики. Решая занимательные задачи, дети учатся определять координаты на плоскости, знакомятся со свойствами расстояния и площади, приобретают опыт работы с геометрическими объектами. Выполняя задания, дети развивают математическую интуицию и логическое мышление, вырабатывают умение строить примеры и находить ошибки. Тетрадь содержит ответы на задания, что делает её удобной в использовании. Книга входит в состав учебно-методической системы раннего развития «МИР». Соответствует требованиям Федерального государственного образовательного стандарта начального общего образования (ФГОС НОО).
Предпросмотр: Математика - это интересно. Приключения в клеточку.pdf (0,2 Мб)
Автор: Горбанева О. И.
Изд-во ЮФУ: Ростов н/Д.
Учебное пособие содержит полное и систематическое изложение материала,
входящего в учебную программу курса по выбору «Модели распределения ресурсов и коррупции». В доступной для студентов форме освещены основные тезисы авторских научных работ по распределению ресурсов в иерархических системах управления, а также некоторых других представителей теорий активных систем и организационного управления. Для закрепления программного материала после каждой главы, как правило, приводятся индивидуальные задания в 12 вариантах.
Предпросмотр: Модели распределения ресурсов и коррупции.pdf (0,6 Мб)
Автор: Седых Ирина Александровна
Изд-во Липецкого государственного технического университета
Приведены задания для выполнения на лабораторных занятиях по дисциплинам «Спецглавы вычислительной математики», «Численные методы».
Предпросмотр: Численные методы.pdf (1,0 Мб)
Автор: Сёмина Валерия Владимировна
Изд-во Липецкого государственного технического университета
В методических указаниях рассмотрены основные понятия метода наименьших квадратов для аппроксимации функций.
Предпросмотр: Аппроксимация функций.pdf (0,6 Мб)
Автор: Семиряжко Вера Александровна
Изд-во Липецкого государственного технического университета
Методические рекомендации содержат краткий теоретический материал по теории случайных потоков и их видам, а также по теории случайных процессов. Особое внимание уделено потокам Пальма и потокам Эрланга.
Предпросмотр: Случайные потоки.pdf (1,1 Мб)
Автор: Вансович К. А.
Изд-во ОмГТУ
Изложены основы метода конечных элементов для расчета элементов конструкций, применяемых при трубопроводной транспортировке нефти и газа. Приведены методы моделирования нагруженных твердых тел в программном комплексе ANSYS. Отдельно рассмотрены способы исследования напряженно-деформированного состояния надземных трубопроводов, вертикальных стальных резервуаров, шаровых резервуаров. Кратко представлены некоторые основы теории колебаний и метод модального анализа (определение собственных частот и форм (мод) собственных колебаний).
Предпросмотр: Численные методы исследования напряженно-деформированного состояния трубопроводов и резервуаров.pdf (0,2 Мб)
Автор: Ильин Владислав Владимирович
Интермедиатор: М.
Настоящее справочное пособие является дополнением к методическому пособию «Цифровая экономика: практическая реализация». Оба пособия написаны известным экспертом-консультантом и автором многих завоевавших признание книг по организации управления. В данной книге представлено документационное обеспечение цифровой экономики в виде примеров руководящей и исполнительной документации. Материал пособия поможет при изучении учебных дисциплин «Информационные технологии управления», «Управление качеством», «Автоматизированные информационные системы», «Управление проектами», преподаваемых в высших учебных заведениях экономико-управленческого профиля. Книгу также можно использовать как справочную при практической реализации информационных технологий управления. По своей практической направленности предлагаемое справочное пособие представляет логическое продолжение ранее изданных книг автора.
Предпросмотр: Цифровая экономика примеры руководящей и исполнительной документации справочное пособие.pdf (0,5 Мб)
Автор: Ильин Владислав Владимирович
Интермедиатор: М.
На основе многолетнего практического опыта по управлению проектами внедрения информационных систем, моделирования и реинжиниринга бизнес-процессов рассмотрены особенности российского проектного менеджмента. Особое внимание уделено технологии и процедуре управления проектами соответствующему инструментарию работе проектного офиса и внешнего офиса управления проектами моделям развития проектного управления, а также месту управления проектами в процессе управления инвестициями (системный подход, модель управления инвестиционным процессом, организация управления инвестициями).? Эта книга не дает готовых ответов и рецептов менеджерам предприятий, но она окажет им неоценимую помощь в формулировании правильных вопросов и подскажет правильные пути решения сложных управленческих задач с учетом особенностей национального проектного менеджмента.
Предпросмотр: Проектный менеджмент практическое пособие.pdf (0,2 Мб)
Автор: Ильин Владислав Владимирович
Интермедиатор: М.
Перед вами — пособие по внедрению Системы менеджмента качества (СМК) и информационных технологий в целом. Вы узнаете как создать СМК — важнейший инструмент оптимизации всех процессов в компании и повышения эффективности бизнеса, как подготовить проектную команду, а также изучите процесс взаимодействия заказчика и исполнителя. Кроме того, здесь представлен анализ опыта реализации более ста проектов, что, безусловно, важно для тех, кто собирается на практике использовать полученные из этой книги знания. Издание иллюстрировано множеством схем, диаграмм, рисунков.
Предпросмотр: Руководство качеством проектов. Практический опыт.pdf (0,2 Мб)
Интеллект-Центр: М.
Данное пособие предназначено для подготовки учащихся 9 классов к государственной итоговой аттестации — Основному государственному экзамену (ОГЭ) по математике. Издание включает типовые задания по всем содержательным линиям экзаменационной работы, а также 30 тренировочных вариантов в формате ОГЭ 2022 года. Пособие поможет школьникам проверить свои знания и умения по предмету, а учителям - оценить степень достижения требований образовательных стандартов отдельными учащимися и обеспечить их целенаправленную подготовку к экзамену.
Предпросмотр: Математика. Основной государственный экзамен. Готовимся к итоговой аттестации.pdf (0,3 Мб)
Автор: Броневич Андрей Георгиевич
Издательский дом ВШЭ
В учебном пособии рассмотрены такие основные разделы теории нечетких множеств, как нечеткие отношения, нечеткие числа, нечеткий логический вывод, а также прикладные разделы, связанные с применением нечеткой математики в анализе данных (нечеткая регрессия, нечеткая кластеризация, нечеткая классификация) и принятии решений (нечеткая оптимизация, многокритериальные методы принятия решений с нечеткими данными, ранжирование нечетких данных, нечеткое моделирование). Каждая глава заканчивается разделом задач для самостоятельного решения. Поэтому данное пособие можно использовать не только как учебник, но и как задачник на семинарских занятиях или для самостоятельной подготовки. Учебное пособие адресовано студентам, обучающимся по образовательным программам, связанным с анализом данных и принятием решений («Прикладная математика и информатика», «Экономика», «Экономика и статистика», «Бизнес-информатика» и др.).
Предпросмотр: Нечеткие модели анализа данных и принятия решений учебное пособие.pdf (0,7 Мб)
Автор: Львовский Сергей Михайлович
Издательский дом ВШЭ
В основе этого продвинутого учебника по математическому анализу — курс, который читался автором на факультете математики Высшей школы экономики. Представленный в книге материал имеет ряд отличий от традиционных курсов. Так, ряды вводятся сразу же после определения предела последовательности в книгу входит экскурс в элементарную теорию множеств (включая лемму Цорна и ее применения) и в общую топологию (включая канторово множество и p-адические числа). Заметное место в учебнике уделено анализу на многообразиях, включая дифференциальные формы, теорему Стокса и теорему Фробениуса.
Предпросмотр: Основы математического анализа.pdf (0,2 Мб)
Автор: Почекаев Роман Юлианович
Издательский дом ВШЭ
В книге впервые в отечественной науке исследуются отчеты, записки, дневники и мемуары российских и западных путешественников, побывавших в Монголии в XVII — начале XX вв., как источники сведений о традиционной государственности и праве монголов. Среди авторов записок — дипломаты и разведчики, ученые и торговцы, миссионеры и даже «экстремальные туристы», что дало возможность сформировать представление о самых различных сторонах государственно-властных и правовых отношений в Монголии. Различные цели поездок обусловили визиты иностранных современников в разные регоны Монголии на разных этапах их развития. Анализ этих источников позволяет сформировать «правовую карту» Монголии в период независимых ханств и пребывания под властью маньчжурской династии Цин, включая особенности правового статуса различных регионов — Северной Монголии (Халхи), Южной (Внутренней) Монголии и существовавшего до середины XVIII в. самостоятельного Джунгарского ханства. В рамках исследования проанализировано около 200 текстов, составленных путешественниками, также были изучены дополнительные материалы по истории иностранных путешествий в Монголии и о личностях самих путешественников, что позволило сформировать объективное отношение к запискам и критически проанализировать их.
Предпросмотр: Государство и право в Центральной Азии глазами российских и западных путешественников. Монголия XVII — начала XХ века.pdf (0,8 Мб)
Издательский дом ВШЭ
"Учебник написан по материалам курса ""Дискретная математика"", который читается студентам младших курсов факультета компьютерных наук НИУ ВШЭ. Темы этого курса являются частью базовой математической культуры и необходимы будущим математикам, программистам и специалистам в области анализа данных, но не входят в традиционно сложившиеся курсы начального математического цикла (математический анализ, алгебра, линейная алгебра). В книге излагаются начальные сведения из перечислительной комбинаторики, теории графов, теории чисел, теории множеств, теории вероятностей, теории игр, теории вычислимости. Не претендуя на полноценный охват какой-либо из упомянутых теорий, учебник дает введение в эти области, с одной стороны, достаточное для студентов соответствующих специальностей, а с другой –– позволяющее читать специализированную литературу.
Предпросмотр: Лекции по дискретной математике.pdf (0,2 Мб)
Автор: Захаров Алексей Владимирович
Издательский дом ВШЭ
В учебнике излагаются основы некооперативной теории игр и разбираются примеры из различных областей экономики и политической науки. Для понимания материала необходимо знание математического анализа и теории вероятностей на уровне первого курса. Книга может быть использована как основной учебник по семестровому курсу теории игр для студентов бакалавриата или магистратуры, не изучавших предмет ранее, или для более короткого повторного курса.
Предпросмотр: Теория игр в общественных науках учебник для вузов.pdf (0,2 Мб)
Автор: Осипенко С. А.
Директ-Медиа: М.
Данное пособие содержит теоретический материал, примеры решения типовых задач, систему задач для самостоятельной работы студентов и проверки знаний в виде итогового тестирования по разделу, а также примерные контрольные работы. Предложенная структура пособия помогает выделить главные аспекты изучаемых математических моделей, организовать и конкретизировать учебный процесс.
Предпросмотр: Элементы высшей математики учебное пособие.pdf (0,6 Мб)
Директмедиа Паблишинг: М.
В учебнике рассмотрены системные исследования как самостоятельное научное направление. Выделены основные виды системного подхода. Предложен оригинальный системно-объектный подход, позволяющий построить оригинальную теорию систем. Изложены основные положения, функциональные возможности и приложения новой теории систем. Дано формальное описание системы в терминах «Узел-Функция-Объект». Представлены известные и новые системно-объектные средства графоаналитического моделирования и анализа сложных систем. Показаны примеры практического применения нового инструментария.
Предпросмотр: Теория систем и системный анализ учебник.pdf (0,5 Мб)
Автор: Зубов Н. Н.
Директ-Медиа: М.
В издании рассмотрены основные процедуры сбора, обработки и анализа статистических данных, возможности их реализации на персональных компьютерах. Настоящее издание дает представление о теоретических основах статистических методов обработки данных, методиках и границах их применения. Для желающих более глубоко изучить соответствующие разделы теории вероятностей и математической статистики приведен список рекомендуемой литературы и глоссарий понятий этих учебных дисциплин. Изложение теории проиллюстрировано примерами из разнообразных областей медицинской и фармацевтической практики, которые должны убедить читателя в реальной возможности применения методов статистического анализа данных для решения как научных, так и практических задач.
Предпросмотр: Статистика в биомедицине, фармации и фармацевтике учебное пособие.pdf (0,7 Мб)
Автор: Гнатюк В. И.
Директ-Медиа: М.
В обзоре проанализированы возможности и условия для проведения энергосберегающих мероприятий в российском жилищном секторе. Освещается методология эффективного управления жилищным фондом, финансовые инструменты для обеспечения инвестиций в энергосбережение и технические аспекты энергосберегающих мероприятий, применяемые в нынешних экономических и политических условиях России. Значительное внимание уделено методологии оптимального управления энергопотреблением жилищного фонда, включающей процедуры создания базы данных, интервального оценивания, прогнозирования и нормирования энергопотребления объектов. Показано, что энергосбережение в жилищном секторе должно осуществляться путем реализации методики оптимального управления энергопотреблением на системном уровне с целенаправленным выходом на конкретные технические решения, обеспеченные рыночной институционной инфраструктурой и экономически эффективными схемами финансирования. При составлении аналитического обзора активно использовались открытые материалы сайтов «Институт экономики города» (http://www.urbaneconomics.ru), «Калининградский региональный центр энергосбережения» (http://www.kreec.ru) и «Техника, техносфера, энергосбережение» (http://www.gnatukvi.ru), а также справочника Энергосбережение в жилищном фонде: проблемы, практика и перспективы. — М.: DENA, Фонд «Институт экономики города», 2004. — 108 с.
Предпросмотр: Системные методы управления энергосбережением в жилищном фонде. Аналитический обзор.pdf (0,4 Мб)
Автор: Непейвода Н. Н.
Директ-Медиа: М.
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).
Предпросмотр: Прикладная логика учебное пособие.pdf (0,7 Мб)