Аннотация: Рассмотрены задачи по математическому анализу, вычислительной и прикладной математике, информационным технологиям и их реализация на языке Python. Описана технология работы с библиотекой SymPy, приведены необходимые теоретические сведения и формулы для решения рассмотренных задач. Для оценки уровня усвоения студентами пройденного материала предложены варианты заданий для самостоятельной работы.Предназначено для бакалавров направлений подготовки 09.03.02 «Информационные системы и технологии», 22.03.01 «Материаловедение и технологии материалов», 28.03.02 «Наноинженерия».Подготовлено на кафедре информатики и прикладной математики.

Аннотация: Рассмотрены задачи по линейной алгебре, вычислительной и прикладной математике, информационным технологиям и их решения с использованием языка программирования Python. Описана технология работы с библиотекой SciPy, приведены необходимые теоретические сведения и формулы для решения рассмотренных задач. Для оценки уровня усвоения студентами пройденного материала предложены варианты заданий для самостоятельной работы.Предназначено для бакалавров направлений подготовки 28.03.02 «Наноинженерия», 09.03.02 «Информационные системы и технологии», изучающих дисциплины «Обработка экспериментальных данных», «Прикладная математика», «Вычислительная математика», «Информационные технологии».Подготовлено на кафедре информатики и прикладной математики.

Аннотация: Рассмотрены возможности интегрированной среды Scilab в области программирования и решения задач вычислительной математики, таких как решение уравнений и систем уравнений, аппроксимация и интерполяция, численное интегрирование, оптимизация. Приведен теоретический материал, примеры решения задач. Для оценки уровня усвоения студентами пройденного материала предложены варианты заданий для самостоятельной работы.Предназначено для бакалавров, обучающихся по направлениям подготовки 18.03.01 «Химическая технология», 28.03.02 «Наноинженерия», 09.03.02 «Информационные системы и технологии», изучающих дисциплины «Информатика», «Вычислительная математика», «Прикладная математика», «Обработка экспериментальных данных», «Методы оптимизации».Подготовлено на кафедре информатики и прикладной математики.

Аннотация: Представлены задачи по теории вероятностей и математической стати-стике и их реализация на языке Python. Описана технология работы с модулями scipy.stats и statistics, приведены необходимые теоретические сведения и формулы для решения рассмотренных задач. Для оценки уровня усвоения студентами пройденного материала предложены варианты заданий для самостоятельной работы.Предназначено для бакалавров, обучающихся по направлениям подготовки 09.03.02 «Информационные системы и технологии», 22.03.01 «Материаловедение и технологии материалов», 28.03.02 «Наноинженерия».Подготовлено на кафедре информатики и прикладной математики.

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

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

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

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

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