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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

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

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

1-10 11-16

Вид документа : Однотомное издание
Шифр издания : 58165
Автор(ы) : Мирзоев М. С.
Заглавие : Основы математической обработки информации : Учебное пособие
Выходные данные : Москва: Прометей, 2016
Колич.характеристики :316 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-906879-01-1: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): информация--логическая модель--математическая обработка--моделирование--формализация
Аннотация: Учебное пособие предназначено для студентов высших учебных заведений педагогического образования, гуманитарного профиля. В нем изложены математические методы обработки информации в дискретной форме, включающие разделы: информация и информационные процессы; машинная арифметика; системы счисления и кодирование информации; логические основы устройства компьютера; моделирование и формализация информационных объектов, информационных процессов; различные алгоритмы обработки информации; элементы теории графов; математические методы теории распознавания образов; компьютерный эксперимент и статистические методы обработки информации. Специфичность учебного пособия заключается в том, что оно построено на концепции интеграции предметных областей математики и информатики. Наряду с теоретическим и практическим материалом пособие содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Цель учебного пособия — формирование системы знаний и умений, связанных с особенностями математических способов представления и обработки информации, как базы для развития общекультурных компетенций и основы для развития профессиональных компетенций студентов высших учебных заведений, обучающихся по направлению педагогического образования гуманитарного профиля.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 64094
Заглавие : Информатика : Учебное пособие для студентов первого курса очной и заочной форм обучения
Выходные данные : Тамбов: Тамбовский государственный технический университет, ЭБС АСВ, 2015
Колич.характеристики :158 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-8265-1490-0: Б.ц.
УДК : 004
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): измерение информации--информатика--информационный процесс--кодирование информации--материнская плата--формализация--хранение информации--электронная почта--язык программирования
Аннотация: Даётся представление о роли информации в развитии общества, об управлении знаниями, об основах построения компьютера, о методах и средствах моделирования, об основах построения информационных систем, об информационной безопасности. Приведена информация об аппаратной части компьютера, о компьютерных сетях, рассматриваются история и тенденции развития компьютерных систем. Подробно изложены основы теории алгоритмов и технологии программирования, приводится классификация программного обеспечения и характеристики разных классов программных продуктов. Предназначено для студентов первого курса очной и заочной форм обучения.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 65
Автор(ы) : Битюцкий В. П., Битюцкая С. В.
Заглавие : Математическое обеспечение автоматизации проектирования : Учебное пособие
Выходные данные : Екатеринбург: Уральский федеральный университет, ЭБС АСВ, 2015
Колич.характеристики :72 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7996-1447-8: Б.ц.
УДК : 65
ББК : 65.050
Ключевые слова (''Своб.индексиров.''): математика--модель--проектирование--процесс--формализация--экономика
Аннотация: В пособии рассматриваются процесс проектирования и его формализация. Подробно обсуждаются математические модели, которые используются при описании как процесса проектирования, так и объектов проектирования на техническом, функционально-логическом и блочном этапах проектирования.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 69448
Автор(ы) : Каменский М. В., Каменский М. В., Ломтева Т. Н., Кабылкина Н. С., Бутенко С. А., Триско И. Ю., Шереметова Д. А., Федина Е. Р.
Заглавие : Формализация исследовательских процедур анализа семантики языковых единиц : Коллективная монография
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2016
Колич.характеристики :170 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9296-0838-4: Б.ц.
УДК : 81
ББК : 81.2
Ключевые слова (''Своб.индексиров.''): алгоритм--анализ--лингвистика--семантика--языковая единица
Аннотация: Монография посвящена изложению опыта формализации исследовательских процедур анализа семантики языковых единиц, в том числе алгоритмизации процессов идентификации и классификации лексической семантики, а также автоматизации поисково-аналитических операций с применением современных методик и технологий компьютерной обработки текстового материала. Адресована преподавателям гуманитарных университетов и институтов, аспирантам и студентам лингвистических и филологических специальностей, а также широкому кругу читателей.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 62937
Заглавие : Информационные технологии в образовании : Учебное пособие
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2014
Колич.характеристики :102 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 004
ББК : 22.18
Ключевые слова (''Своб.индексиров.''): дистанционное обучение--информационная технология--образовательный web-ресурс--обучающая система--процесс обучения--технология образования--уровень знаний--формализация процесса
Аннотация: Пособие составлено в соответствии с требованиями ФГОС ВПО. Содержит курс лекций по дисциплине, контрольные вопросы, литературу. Дает возможность ознакомиться с основными принципами применения компьютерных технологий в процессе обучения и на практике, а также подготовиться к самостоятельной разработке электронных версий собственных курсов. Предназначено для студентов 2-го курса направления подготовки 230400.62 – Информационные системы и технологии.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 61516
Автор(ы) : Сосновиков Г. К., Шакин В. Н.
Заглавие : Основы реляционных баз данных : Учебное пособие
Выходные данные : Москва: Московский технический университет связи и информатики, 2013
Колич.характеристики :106 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): бд--инфологическая модель--реляционная модель
Аннотация: Рассматриваются понятия данных, баз данных и систем управления базами данных. Излагается история развития технологий обработки данных. Дается характеристика моделей представления данных, рассматривается реляционная модель данных – ее структурная и целостная части. На примере построения диаграмм ER-типа разбирается метод «сущность-связь». Подробно излагается формализация бинарных связей. Приводятся примеры построения ER-моделей баз данных. Для студентов МТУСИ, обучающихся по направлениям 230100 – «Информатика и вычислительная техника», 230400 – «Информационные системы и технологии», 090900 – «Информационная безопасность».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 64100
Автор(ы) : Малыгин Е. Н., Малыгин Е. Н., Попов Н. С., Немтинов В. А., Егоров С. Я., Однолько В. Г.
Заглавие : Информационный анализ и автоматизированное проектирование станций биохимической очистки : Учебное пособие
Выходные данные : Тамбов: Тамбовский государственный технический университет, ЭБС АСВ, 2012
Колич.характеристики :121 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 54.058
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): автоматизированное проектирование--алгоритмизация--биохимическая очистка--имитационная модель--информационный анализ--станция очистки--статистическое моделирование--сточная вода--формализация
Аннотация: На примере решения задачи проектирования станций биохимической очистки сточных вод показаны подходы к автоматизации выполнения проектных работ, разработке имитационных моделей информационных процессов, математических методов моделирования информационных процессов и систем, планирования имитационных экспериментов с моделями; формализации и алгоритмизации информационных процессов, статистического моделирования на ПЭВМ, оценки точности и достоверности результатов моделирования и др. Предназначено для студентов вузов, обучающихся по специальности 151701 «Проектирование технологических машин и комплексов» и может быть использовано в качестве дополнительного материала при изучении дисциплин «Моделирование и оптимизация технологических комплексов», «Оборудование переработки промышленных отходов», «Основы системного анализа проектирования технических объектов» и др. Будет полезно студентам специальностей 240801 «Машины и аппараты химических производств» и 280202 «Инженерная защита окружающей среды» при изучении дисциплины «Промышленная экология»; студентам магистратуры по программе 220100 «Системный анализ проектно-технологических решений», 280700 «Промышленная экология и рациональное использование природных ресурсов».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 8248
Автор(ы) : Светлов В. А.
Заглавие : Логика : Экзаменационные ответы для студентов
Выходные данные : Саратов: Ай Пи Эр Медиа, 2012
Колич.характеристики :160 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 1/14
ББК : 87.4
Ключевые слова (''Своб.индексиров.''): дедуктивное умозаключение--логика--логика предикатов--суждение--учебное пособие--формализация высказываний
Аннотация: Данное издание подготовлено на основе авторских курсов по логике для специалистов самого разного профиля. Написанная в форме ответов на вопросы, эта книга позволяет быстро повторить все основные темы годового курса по логике. Пособие соответствует требованиям Госстандарта. Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает логику.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 71742
Автор(ы) : Коробов В. Б., Тутыгин А. Г.
Заглавие : Классификационные методы решения эколого-экономических задач : Монография
Выходные данные : Архангельск: Поморский государственный университет имени М. В. Ломоносова, 2010
Колич.характеристики :310 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88086-928-2: Б.ц.
УДК : 574
ББК : 20.1
Ключевые слова (''Своб.индексиров.''): классификационный метод--формализация--экология--эколого-экономическая задача--экономика
Аннотация: Рассмотрены методы решения классификационных задач в области экологии и экономики. Проанализированы различные способы формализации показателей влияющих факторов. Для экономистов, экологов, географов, специалистов в области управления.
(для доступа требуется авторизация)

Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 10670
Автор(ы) : Снетков Н. Н.
Заглавие : Имитационное моделирование экономических процессов : Учебное пособие
Выходные данные : Москва: Евразийский открытый институт, 2008
Колич.характеристики :228 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-374-00079-5: Б.ц.
УДК : 519.86
ББК : 65.050
Ключевые слова (''Своб.индексиров.''): имитационное моделирование--учебное пособие--экономика--экономический процесс
Аннотация: Целью изучения дисциплины является формирование у студентов теоретических знаний и практических навыков по применению методов имитационного моделирования в экономике, управлении и бизнесе. В процессе изучения курса студенты знакомятся со средствами имитационного моделирования процессов функционирования экономических систем, овладевают методами имитационного моделирования, типовыми этапами моделирования процессов, образующих «цепочку»: построение концептуальной модели и ее формализация – алгоритмизация модели и ее компьютерная реализация – имитационный эксперимент и интерпретация результатов моделирования; овладевают практическими навыками реализации моделирующих алгоритмов для исследования характеристик и поведения сложных экономических систем.
(для доступа требуется авторизация)

1-10 11-16

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

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

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

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