Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

в найденном

Найдено в других БД:

Авторефераты диссертаций (1)

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формализация<.>)

Общее количество найденных документов : 16
Показаны документы с 1 по 10

1-10 11-16

IPRBooks-58165

58165

Мирзоев, М. С.
Основы математической обработки информации [Электронный ресурс] : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2016. - 316 с. - ISBN 978-5-906879-01-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

Кл.слова (ненормированные):
информация -- логическая модель -- математическая обработка -- моделирование -- формализация
Аннотация: Учебное пособие предназначено для студентов высших учебных заведений педагогического образования, гуманитарного профиля. В нем изложены математические методы обработки информации в дискретной форме, включающие разделы: информация и информационные процессы; машинная арифметика; системы счисления и кодирование информации; логические основы устройства компьютера; моделирование и формализация информационных объектов, информационных процессов; различные алгоритмы обработки информации; элементы теории графов; математические методы теории распознавания образов; компьютерный эксперимент и статистические методы обработки информации. Специфичность учебного пособия заключается в том, что оно построено на концепции интеграции предметных областей математики и информатики. Наряду с теоретическим и практическим материалом пособие содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Цель учебного пособия — формирование системы знаний и умений, связанных с особенностями математических способов представления и обработки информации, как базы для развития общекультурных компетенций и основы для развития профессиональных компетенций студентов высших учебных заведений, обучающихся по направлению педагогического образования гуманитарного профиля.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-64094

64094

Информатика [Электронный ресурс] : учебное пособие для студентов первого курса очной и заочной форм обучения / сост.: Е. А. Ракитина, С. С. Толстых. - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2015. - 158 с. - ISBN 978-5-8265-1490-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.97

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

(для доступа требуется авторизация)

Доп.точки доступа:
Ракитина, Е. А. \сост.\; Толстых, С. С. \сост.\
Свободных экз. нет
Найти похожие

IPRBooks-65942

65942

Битюцкий, В. П.
Математическое обеспечение автоматизации проектирования [Электронный ресурс] : учебное пособие / Битюцкий В. П. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 72 с. - ISBN 978-5-7996-1447-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 65.050

Кл.слова (ненормированные):
математика -- модель -- проектирование -- процесс -- формализация -- экономика
Аннотация: В пособии рассматриваются процесс проектирования и его формализация. Подробно обсуждаются математические модели, которые используются при описании как процесса проектирования, так и объектов проектирования на техническом, функционально-логическом и блочном этапах проектирования.

(для доступа требуется авторизация)

Доп.точки доступа:
Битюцкая, С. В.; Ситников, И. О. \ред.\
Свободных экз. нет
Найти похожие

IPRBooks-69448

69448

Каменский, М. В.
Формализация исследовательских процедур анализа семантики языковых единиц [Электронный ресурс] : коллективная монография / Каменский М. В. - Ставрополь : Северо-Кавказский федеральный университет, 2016. - 170 с. - ISBN 978-5-9296-0838-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 81.2

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

(для доступа требуется авторизация)

Доп.точки доступа:
Ломтева, Т. Н.; Кабылкина, Н. С.; Бутенко, С. А.; Триско, И. Ю.; Шереметова, Д. А.; Федина, Е. Р.; Каменский, М. В. \ред.\
Свободных экз. нет
Найти похожие

IPRBooks-62937

62937

Информационные технологии в образовании [Электронный ресурс] : учебное пособие / сост. В. В. Журавлев. - Ставрополь : Северо-Кавказский федеральный университет, 2014. - 102 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 22.18

Кл.слова (ненормированные):
дистанционное обучение -- информационная технология -- образовательный web-ресурс -- обучающая система -- процесс обучения -- технология образования -- уровень знаний -- формализация процесса
Аннотация: Пособие составлено в соответствии с требованиями ФГОС ВПО. Содержит курс лекций по дисциплине, контрольные вопросы, литературу. Дает возможность ознакомиться с основными принципами применения компьютерных технологий в процессе обучения и на практике, а также подготовиться к самостоятельной разработке электронных версий собственных курсов. Предназначено для студентов 2-го курса направления подготовки 230400.62 – Информационные системы и технологии.

(для доступа требуется авторизация)

Доп.точки доступа:
Журавлев, В. В. \сост.\
Свободных экз. нет
Найти похожие

IPRBooks-61516

61516

Сосновиков, Г. К.
Основы реляционных баз данных [Электронный ресурс] : учебное пособие / Сосновиков Г. К. - Москва : Московский технический университет связи и информатики, 2013. - 106 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
бд -- инфологическая модель -- реляционная модель
Аннотация: Рассматриваются понятия данных, баз данных и систем управления базами данных. Излагается история развития технологий обработки данных. Дается характеристика моделей представления данных, рассматривается реляционная модель данных – ее структурная и целостная части. На примере построения диаграмм ER-типа разбирается метод «сущность-связь». Подробно излагается формализация бинарных связей. Приводятся примеры построения ER-моделей баз данных. Для студентов МТУСИ, обучающихся по направлениям 230100 – «Информатика и вычислительная техника», 230400 – «Информационные системы и технологии», 090900 – «Информационная безопасность».

(для доступа требуется авторизация)

Доп.точки доступа:
Шакин, В. Н.
Свободных экз. нет
Найти похожие

IPRBooks-64100

64100

Малыгин, Е. Н.
Информационный анализ и автоматизированное проектирование станций биохимической очистки [Электронный ресурс] : учебное пособие / Малыгин Е. Н. - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2012. - 121 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

54.058

ББК 32.97

Кл.слова (ненормированные):
автоматизированное проектирование -- алгоритмизация -- биохимическая очистка -- имитационная модель -- информационный анализ -- станция очистки -- статистическое моделирование -- сточная вода -- формализация
Аннотация: На примере решения задачи проектирования станций биохимической очистки сточных вод показаны подходы к автоматизации выполнения проектных работ, разработке имитационных моделей информационных процессов, математических методов моделирования информационных процессов и систем, планирования имитационных экспериментов с моделями; формализации и алгоритмизации информационных процессов, статистического моделирования на ПЭВМ, оценки точности и достоверности результатов моделирования и др. Предназначено для студентов вузов, обучающихся по специальности 151701 «Проектирование технологических машин и комплексов» и может быть использовано в качестве дополнительного материала при изучении дисциплин «Моделирование и оптимизация технологических комплексов», «Оборудование переработки промышленных отходов», «Основы системного анализа проектирования технических объектов» и др. Будет полезно студентам специальностей 240801 «Машины и аппараты химических производств» и 280202 «Инженерная защита окружающей среды» при изучении дисциплины «Промышленная экология»; студентам магистратуры по программе 220100 «Системный анализ проектно-технологических решений», 280700 «Промышленная экология и рациональное использование природных ресурсов».

(для доступа требуется авторизация)

Доп.точки доступа:
Попов, Н. С.; Немтинов, В. А.; Егоров, С. Я.; Однолько, В. Г.
Свободных экз. нет
Найти похожие

IPRBooks-8248

8248

Светлов, В. А.
Логика [Электронный ресурс] : экзаменационные ответы для студентов / Светлов В. А. - Саратов : Ай Пи Эр Медиа, 2012. - 160 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

1/14

ББК 87.4

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-71742

71742

Коробов, В. Б.
Классификационные методы решения эколого-экономических задач [Электронный ресурс] : монография / Коробов В. Б. - Архангельск : Поморский государственный университет имени М. В. Ломоносова, 2010. - 310 с. - ISBN 978-5-88086-928-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

574

ББК 20.1

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

(для доступа требуется авторизация)

Доп.точки доступа:
Тутыгин, А. Г.
Свободных экз. нет
Найти похожие

10.

IPRBooks-10670

10670

Снетков, Н. Н.
Имитационное моделирование экономических процессов [Электронный ресурс] : учебное пособие / Снетков Н. Н. - Москва : Евразийский открытый институт, 2008. - 228 с. - ISBN 978-5-374-00079-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519.86

ББК 65.050

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

1-10 11-16

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

Статистика обращений

Статистика за 03.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)