**Данные блоки поддерживают скрол
**Данные блоки поддерживают скрол вверх/вниз
01.00.00 Математика и механика
Прикладная логика
АвторыПопов С.В., Брошкова Н.Л.
ИздательствоФизматлит
Год издания2011
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установление выполнимости логических функций - и синтаксический - построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем. ...
Downloaded
2016-09-18
Математическая логика
АвторыЕршов Ю.Л., Палютин Е.А.
ИздательствоФизматлит
Год издания2011
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для специальных курсов. Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика". ...
Downloaded
2016-09-18
Математическое моделирование нестационарных процессов удара и проникания осесимметричных тел и идентификация свойств грунтовых сред
АвторыБаженов В.Г., Котов В.Л.
ИздательствоФизматлит
Год издания2011
В монографии рассматривается решение комплексной проблемы динамики и прочности, связанной с разработкой и развитием аппарата математического и компьютерного моделирования нелинейных волновых процессов взаимодействия деформируемых тел с грунтовыми средами. В книге приведены методы идентификации параметров математических моделей динамического деформирования грунтовых сред в широком диапазоне изменения давлений и скоростей деформаций, а также произведено экспериментально-теоретическое исследование нестационарных процессов высокоскоростного удара и наклонного проникания тел вращения в сжимаемые пористые среды при использовании точных решений и данных численных и физических экспериментов. Монография предназначена научным работникам, аспирантам и студентам, специализирующимся в области математического моделирования при решении динамических задач механики сплошных сред. ...
Downloaded
2016-09-18
Системное и прикладное программное обеспечение
АвторыИванова Н.Ю., Маняхина В.Г.
ИздательствоПрометей
Год издания2011
Учебное пособие составлено в соответствии с требованиями ФГОС ВПО и предназначено для подготовки бакалавров по направлению 050100 "Педагогическое образование" по профилям "Информатика", "Информатика и математика", также может быть использовано для студентов, обучающихся по другим профилям педагогического образования. Учебное пособие содержит теоретический и практический материал по следующим темам: аппаратное и программное обеспечение компьютера, системное программное обеспечение - операционные системы, обзор ОС Linux, сервисные программы, антивирусные программы; прикладное программное обеспечение - текстовые процессоры (на примере OOo Writer, LyX), электронные таблицы (на примере OOo Calc), системы управления базами данных (на примере OOo Base), системы компьютерной математики (основы работы в Maxima), графические редакторы (основные приемы работы в Gimp). Теоретический материал снабжен вопросами для самопроверки, практикум по программному обеспечению содержит большое количество примеров и заданий. ...
Downloaded
2016-08-31
Модуль "Вводный"
АвторыА.Б. Коган
ИздательствоЧеловек
Год издания2011
Downloaded
2016-08-30
Математическое обеспечение САПР акустического спирометра и прикладное программное обеспечение спирометрии
АвторыШкундин С.З., Румянцева В.А., Жердев А.А., Танцов П.Н., Петров Е.Г.
ИздательствоГорная книга
Год издания2011
Рассмотрены актуальные проблемы акустической спирометрии: разработка математического обеспечения САПР спирометра и создание прикладной программы для работы с прибором. Тщательное исследование различных видов обеспечения прибора на основе акустического метода измерения расходов позволяют повысить точность и эффективность разработанного на кафедре Электротехники и информационных систем МГГУ акустического спирометра. ...
Downloaded
2016-07-13
Высшая математика. Основы математического анализа
АвторыГеворкян П.С.
ИздательствоФизматлит
Год издания2011
Настоящая книга охватывает вопросы, касающиеся основ математического анализа, которые изучаются в рамках курса "Высшая математика" в высших учебных заведениях. Она содержит следующие разделы математического анализа: пределы и непрерывность функций, дифференциальное и интегральное исчисление функций одной переменной, дифференциальное исчисление функций многих переменных. Приведены некоторые предварительные сведения из теории множеств и введено понятие действительного числа. Рассмотрены основные понятия теории комплексных чисел. Для студентов инженерно-технических и экономических специальностей вузов, а также для изучающих в том или ином объеме высшую математику. ...
Downloaded
2016-07-08
Стабилизация динамических систем с использованием свойства пассивности
АвторыГолубев А.Е.
ИздательствоМГТУ им. Н.Э. Баумана
Год издания2011
Представлены результаты применения математической теории управления, связанные с методами стабилизации пассивных динамических систем. Подробно изложены основные теоретические сведения, рассмотрены примеры. Материал учебного пособия соответствует программе курса "Прикладные задачи теории управления". Для студентов 6-го курса факультета "Фундаментальные науки", обучающихся по специальности "Прикладная математика". ...
Downloaded
2015-05-06
Обучение чтению литературы на английском языке по специальности "Прикладная механика"
АвторыМагидова И.И.
ИздательствоМГТУ им. Н.Э. Баумана
Год издания2011
Методические указания содержат оригинальные тексты? задания, направленные на закрепление лексико-грамматического материала, словарные блоки, включающие лексику, необходимую для понимания и перевода научно-технической литературы на английском языке. Для студентов старший курсов, обучающихся по специальности "Прикладная механика" на факультете "Робототехника и комплексная автоматизация". Рекомендовано Учебно-методической комиссией НУК ФН МГТУ им. Н.Э. Баумана. ...
Downloaded
2015-05-06
Исследование динамических свойств датчика температуры
АвторыБ.М. Новожилов
ИздательствоМГТУ им. Н.Э. Баумана
Год издания2011
Приведены теоретические сведения по тепловой инерционности термоприемников, математическое описание переходного процесса, а также принцип действия термометров сопротивления и конструктивное исполнение промышленного датчика температуры. Изложен экспериментально-аналитический метод определения динамических параметров датчика температуры, основанный на выборе приближенной модели его передаточной характеристики. Рассмотрен экспериментальный стенд и порядок выполнения лабораторной работы. Даны контрольные вопросы, позволяющие проверить знания учащихся. Для студентов механических специальностей, изучающих дисциплину "Эксплуатация систем управления и контроля стартовых комплексов". Рекомендовано Учебно-методической комиссией факультета СМ. ...
Downloaded
2015-04-15
Теория функций комплексного переменного и операционное исчисление
АвторыС.В. Галкин
ИздательствоМГТУ им. Н.Э. Баумана
Год издания2011
Рассмотрены два раздела общего курса математики для технических университетов: "Теория функций комплексного переменного" и "Операционное исчисление", а также теория числовых рядов, теория поля, ряды Фурье и преобразование Фурье. Приведены основные понятия и теоремы, доказательства теорем, примеры. Для студентов 1-4-го курсов МГТУ им. Н.Э. Баумана всех факультетов. ...
Downloaded
2015-04-15
Текстовые документы и надписи на чертежах
АвторыТ.М. Иванова, И.Н. Лунина; под ред. В.Н. Гузненкова
ИздательствоМГТУ им. Н.Э. Баумана
Год издания2011
Изложены основные правила и особенности выполнения текстовых документов и надписей на чертежах в соответствии с требованиями стандартов ЕСКД. Для студентов, изучающих дисциплину "Инженерная графика", а также для студентов старших курсов, выполняющих курсовые и дипломные работы. ...
Downloaded
2015-04-15
Панель управления
Читайте книги в приложении Консутльтант Студента на iOS, Android или Windows