Настроить шрифт

Версия сайта для слабовидящих

Вход / регистрация

Электронная библиотечная система

Консультант студента

Книги

ruen

Электронная библиотечная система

Консультант студента

Книги

Вход / регистрация

Профиль Смена пароля Доступ Закладки Уведомления Мои списки Мои отчеты Получить доступ удалённо Инструкция пользователя Выход

Закрыть

Искать

Везде

По названиям

По авторам

Издательство

Тип издания

Год издания

Издательства

Абрис

Академический Проект

Альпина ПРО

Альпина Бизнес Букс

Альпина нон-фикшн

Альпина Паблишер

Альтаир

АНТЕЛКОМ

АСВ

Аспект-Пресс

АСТ-ПРЕСС КНИГА

Белорусская наука

БИНОМ

Блок-Принт

Брянский ГАУ

ВАКО

ВГУИТ

Вече

ВКН

ВЛАДОС

Время

ВШОУЗ-КМК

Высшая школа экономики

Вышэйшая школа

Галарт

Гангут

Генезис

ГИОРД

Горная книга

Горячая линия - Телеком

Грамота

ГЭОТАР-Медиа

Дашков и К

Дело

Деловой стиль

Директ-Медиа

Директмедиа Паблишинг

Дмитрий Сечин

ДМК-пресс

ДОДЭКА

Зерцало-М

Златоуст

Знак

Ивановская ГСХА

Ивановский ГХТУ

Издательский дом "ГЕНЖЕР"

Издательский дом В. Ема

Институт общегуманитарных исследований

Институт психологии РАН

Интеллект-Центр

Интеллектуальная литература

Интермедиатор

Интермедия

ИНТУИТ

Инфра-Инженерия

Казанский ГМУ

Каро

КГАВМ

Книгодел

Книжный мир

КНИТУ

Когито-Центр

КолосС

Корвет

КТК "Галактика"

КФУ

Лаборатория знаний

Литтерра

Логос

Машиностроение

МГИМО

МГТУ им. Н.Э. Баумана

МГУ им. Ломоносова

Медицина

Международные отношения

Менеджер здравоохранения

Мир и образование

МИСИ - МГСУ

МИСиС

Молодая гвардия

МЭИ

Нижегородский ГАСУ

Новосибирcкий ГУ

Новосибирский ГТУ

Олимпия

Оренбургский ГУ

Оригинал-макет

Перо

Персэ

Политехника

Прогресс-Традиция

Прометей

Просвещение

Проспект

Проспект Науки

Р. Валент

РГ-Пресс

РГГУ

Ремонт и Сервис 21

РИПО

Родники

РУДН

Рукописные памятники Древней Руси

Русистика

Русско-китайское юридическое общество

Русское слово - учебник

РязГМУ

Санкт-Петербургский медико-социальный институт

САФУ

В. Секачев

Секвойя

СибГУТИ

СибГУФК

Сибирское университетское издательство

Синергия

СКИФИЯ

Советский спорт

СОЛОН-Пресс

Социум

Спорт

Ставропольский ГАУ

Статут

Стрелка Пресс

Студия АРДИС

СФУ

ТГАСУ

Текст

Теревинф

Терра-Спорт

Техносфера

Томский ГУ

Точка

Университетская книга

Феникс

Физматлит

Финансы и статистика

Флинта

Химиздат

Хоббитека

Человек

Эксперт-Наука

Юнити-Дана

Юстицинформ

ЮФУ

Языки славянских культур

отметить все снять все метки

**Данные блоки поддерживают скрол

Типы изданий

автореферат диссертации

адресная/телефонная книга

антология

афиша

биобиблиографический справочник/словарь

биографический справочник/словарь

букварь

документально-художественное издание

задачник

идеографический словарь

инструктивно-методическое издание

инструкция

каталог

каталог аукциона

каталог библиотеки

каталог выставки

каталог товаров и услуг

материалы конференции (съезда, симпозиума)

монография

музейный каталог

научно-художественное издание

научный журнал

номенклатурный каталог

орфографический словарь

орфоэпический словарь

памятка

переводной словарь

песенник

практикум

практическое пособие

практическое руководство

прейскурант

препринт

пролегомены, введение

промышленный каталог

проспект

путеводитель

рабочая тетрадь

разговорник

самоучитель

сборник научных трудов

словарь

справочник

стандарт

тезисы докладов/сообщений научной конференции (съезда, симпозиума)

терминологический словарь

толковый словарь

уставное издание

учебная программа

учебник

учебно-методическое пособие

учебное наглядное пособие

учебное пособие

учебный комплект

хрестоматия

частотный словарь

энциклопедический словарь

энциклопедия

этимологический словарь

языковой словарь

отметить все снять все метки

**Данные блоки поддерживают скрол вверх/вниз

Математика и механика

Панель управления

Алфавит

Новинки/дата

Год издания

Показано ..1376 из 1987

Прикладная логика

АвторыПопов С.В., Брошкова Н.Л.

ИздательствоФизматлит

Год издания2011

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

Загружено 2016-09-18

Математическая логика

АвторыЕршов Ю.Л., Палютин Е.А.

ИздательствоФизматлит

Год издания2011

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для специальных курсов. Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика". ...

Загружено 2016-09-18

Математическое моделирование нестационарных процессов удара и проникания осесимметричных тел и идентификация свойств грунтовых сред

АвторыБаженов В.Г., Котов В.Л.

ИздательствоФизматлит

Год издания2011

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

Загружено 2016-09-18

Системное и прикладное программное обеспечение

АвторыИванова Н.Ю., Маняхина В.Г.

ИздательствоПрометей

Год издания2011

Учебное пособие составлено в соответствии с требованиями ФГОС ВПО и предназначено для подготовки бакалавров по направлению 050100 "Педагогическое образование" по профилям "Информатика", "Информатика и математика", также может быть использовано для студентов, обучающихся по другим профилям педагогического образования. Учебное пособие содержит теоретический и практический материал по следующим темам: аппаратное и программное обеспечение компьютера, системное программное обеспечение - операционные системы, обзор ОС Linux, сервисные программы, антивирусные программы; прикладное программное обеспечение - текстовые процессоры (на примере OOo Writer, LyX), электронные таблицы (на примере OOo Calc), системы управления базами данных (на примере OOo Base), системы компьютерной математики (основы работы в Maxima), графические редакторы (основные приемы работы в Gimp). Теоретический материал снабжен вопросами для самопроверки, практикум по программному обеспечению содержит большое количество примеров и заданий. ...

Загружено 2016-08-31

АвторыС.А. Воронов, А.А. Ширшов, С.В. Яресько; под ред. В.Г. Лешковцева

ИздательствоМГТУ им. Н.Э. Баумана

Год издания2011

Изложены приемы использования пакета программ Mathcad в операционной системе Microsoft Windows применительно к расчетам на прочность и жесткость стержневых систем постоянной и переменной жесткости при изгибе для произвольной нагрузки. Вприложении приведен текст рабочих страниц Mathcad для рассмотренных примеров. Для студентов 2-го курса МГТУ им. Н.Э. Баумана, изучающих курсы "Сопротивление материалов" и "Прикладная механика". Рекомендовано Учебно-методической комиссией НУК РК МГТУ им. Н.Э. Баумана. ...

Загружено 2015-04-15

Расчет на прочность и жесткость стержневых систем при изгибе с использованием Mathcad: метод. указания к выполнению домашних заданий по курсам "Сопротивление материалов" и "Прикладная механика": в 2 ч. - Ч. 2: Статически неопределимые балки и плоские криволинейные рамы

АвторыС.А. Воронов, А.А. Ширшов, С.В. Яресько; под ред. В.Г. Лешковцева

ИздательствоМГТУ им. Н.Э. Баумана

Год издания2011

Изложены приемы использования пакета программ Mathcad в операционной системе Microsoft Windows применительно к расчетам на прочность и жесткость стержневых систем постоянной и переменной жесткости при изгибе для произвольной нагрузки. Вприложении приведен текст рабочих страниц Mathcad для рассмотренных примеров. Для студентов 2-го курса МГТУ им. Н.Э. Баумана, изучающих курсы "Сопротивление материалов" и "Прикладная механика". Рекомендовано учебно-методической комиссией НУК РК МГТУ им. Н.Э. Баумана. ...

Загружено 2015-04-15

Панель управления