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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

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

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

1-10 11-16

Вид документа : Однотомное издание
Шифр издания : 92384
Автор(ы) : Чумаков Ю. Н.
Заглавие : В сторону лирического сюжета
Выходные данные : Москва: Издательский Дом ЯСК, 2019
Колич.характеристики :120 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-907117-25-9: Б.ц.
УДК : 80
ББК : 83.3
Ключевые слова (''Своб.индексиров.''): лирический сюжет--лирический текст--литература--стихотворение--филология
Аннотация: В очерке о лирическом сюжете три раздела: первый и третий посвящены анализу стихотворных произведений — от текста к теории и от теории к тексту; третий раздел включает в себя теоретический дискурс с обоснованиями, параллелями и аналогиями. Лирический сюжет анарративен, иррационален, благодаря чему его описание и формализация крайне затруднены, он действует в инфраструктурах и воспринимается опосредованным, сквозь словесно-стиховые форманты и конфигурации. Переиздание снабжено двумя приложениями: комментарием Э. И. Худошиной, включающим в себя очерк научной биографии автора, и публикацией надиктованного Ю.Н. Чумаковым наброска статьи об асемантической стороне стихотворного текста. Книга адресована филологам, преподавателям и студентам гуманитарных специальностей и всем, интересующимся поэтикой и поэтологией.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 81851
Автор(ы) : Голембиовская О. М., Рытов М. Ю., Шинаков К. Е.
Заглавие : Формализация подходов к обеспечению защиты персональных данных : Монография
Выходные данные : Саратов: Ай Пи Эр Медиа, 2019
Колич.характеристики :198 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0726-4: Б.ц.
УДК : 347.775
ББК : 67.401
Ключевые слова (''Своб.индексиров.''): защита данных--информационная безопасность--информационная система--персональные данные--степень защищенности
Аннотация: Рассмотрены вопросы определения уровней защищенности и рисков информационной безопасности ИСПДн. Приведены примеры средств защиты для уровней защищенности. Предложена процедура однозначного определения степени ущерба для информационных систем, не обрабатывающих сведений, составляющих государственную тайну. Монография предназначена для преподавателей, аспирантов и студентов, обучающихся по специальностям, связанным с информационной безопасностью, а также может быть полезна руководителям и сотрудникам службы безопасности и служб защиты информации при создании систем защиты персональных данных на объекте защиты.
(для доступа требуется авторизация)

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 90846
Автор(ы) : Воронцов Е. В.
Заглавие : Управление знаниями : Учебное пособие
Выходные данные : Минск: Вышэйшая школа, 2016
Колич.характеристики :352 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-985-06-2687-5: Б.ц.
УДК : 00
ББК : 65.29
Ключевые слова (''Своб.индексиров.''): высокоинтеллектуальный продукт--знание--интеллектуальный капитал--информация--компетентность--организация--экономика
Аннотация: Изложены основные положения дисциплины «Управление знаниями», раскрыта сущность понятий «знание» и «информация», показана их взаимосвязь и приведена классификация. Рассмотрены интеллектуальные ресурсы, модели трансформации и формализация знаний, их функции и система управления. Выделены теоретические и практические знания, а также знания предметных областей. Анализируются вопросы трансформации знаний в высокоинтеллектуальный продукт. Предназначено для студентов учреждений высшего образования по специальностям «Профессиональное обучение (экономика и управление)», «Менеджмент (по направлениям)», «Бизнес-администрирование».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 98244
Автор(ы) : Газимов Р. Т., Усачёв М. В., Салихов К. З.
Заглавие : Теория системного анализа и принятия решений : Курс лекций
Выходные данные : Москва: Издательский Дом МИСиС, 2011
Колич.характеристики :52 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-87623-493-3: Б.ц.
УДК : 68
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): декомпозиция--компьютерный метод--оптимизация--системный анализ--численный метод--экспертный метод
Аннотация: Целью курса лекций является создание у студентов технологических специальностей целостного представления о принципах системного подхода при изучении и исследовании сложных процессов и систем. Курс лекций содержит два основных раздела. В первом разделе в доступной форме излагаются основные понятия теории системного анализа: структурный анализ и декомпозиция, формализация параметров и состояний систем, структурирование моделей системы и пространства решений, основные методы принятия решений в условиях многокритериальности. Второй раздел посвящен вопросам выработки оптимальных (по некоторому критерию) экспертных решений. В нем рассматриваются как классические постановки задачи оптимизации для линейного и нелинейного случая, объясняются понятия функции цели и ограничений и их влияние на процесс оптимизации, так и компьютерные поисковые методы. Предназначен для студентов бакалавриата по направлениям «Техносферная безопасность» и «Стандартизация и сертификация».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 87442
Автор(ы) : Лисяк Н. К., Лисяк В. В.
Заглавие : Моделирование систем. Ч.1 : Учебное пособие
Выходные данные : Ростов-на-Дону, Таганрог: Издательство Южного федерального университета, 2017
Колич.характеристики :106 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9275-2504-1 (ч.1), 978-5-9275-2503-4: Б.ц.
УДК : 004.431
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): биномиальное распределение--имитационное моделирование--компьютерное моделирование--математическое моделирование--моделирование системы--распределение бернулли--распределение пуассона--статистическое моделирование--формализация модели
Аннотация: Приводятся основы теории моделирования, рассматриваются подходы к моделированию процессов и явлений, даются определения базовых понятий имитационного моделирования. Рассматривается математический аппарат формализации процессов и переход от концептуальной модели системы к формальной, приводится методология статистического моделирования систем и обсуждается интерпретация результатов моделирования исследуемой системы. Учебное пособие написано для студентов, обучающихся по программе подготовки бакалавров направления «Информационные системы и технологии».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91746
Автор(ы) : Новоселов В. Г., Моргунов Г. В.
Заглавие : Основы формальной логики : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2016
Колич.характеристики :92 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2853-5: Б.ц.
УДК : 16
ББК : 87.4
Ключевые слова (''Своб.индексиров.''): аналогия--закон противоречия--закон тождества--индукция--категорический силлогизм--косвенное доказательство--метод доказательства--умозаключение--формальная логика--характеристика суждения
Аннотация: Логика, как наука о формах, методах и законах интеллектуально-познавательной деятельности, о формах и законах правильного мышления, рассматриваемых со стороны их формальной корректности и практической результативности, является составной частью профессиональной культуры специалистов в различных областях. Перспективный анализ экономического развития страны и мира предполагает знание основных логических операций и правильных форм рассуждений. Логика гарантирует истинность выводов при условии правильности рассуждений, способствует корректной работе с понятиями. Логика неразрывно связана с изучением права, потому что формальное мышление есть основа правомерного поведения. Особое место логика занимает в системе юридического образования. Благодаря ей возможна формализация мышления, позволяющая выстраивать алгоритм правильных рассуждений в теоретических и практических ситуациях, а значит - логика способствует становлению правового мышления и правового общества, что приводит к выводу об особой важности ее изучения студентами именно юридических факультетов.
(для доступа требуется авторизация)

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

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

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

10.

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

1-10 11-16

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

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

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

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