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

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: 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
Ключевые слова (''Своб.индексиров.''): лирический сюжет--лирический текст--литература--стихотворение--филология
Аннотация: В очерке о лирическом сюжете три раздела: первый и третий посвящены анализу стихотворных произведений — от текста к теории и от теории к тексту; третий раздел включает в себя теоретический дискурс с обоснованиями, параллелями и аналогиями. Лирический сюжет анарративен, иррационален, благодаря чему его описание и формализация крайне затруднены, он действует в инфраструктурах и воспринимается опосредованным, сквозь словесно-стиховые форманты и конфигурации. Переиздание снабжено двумя приложениями: комментарием Э. И. Худошиной, включающим в себя очерк научной биографии автора, и публикацией надиктованного Ю.Н. Чумаковым наброска статьи об асемантической стороне стихотворного текста. Книга адресована филологам, преподавателям и студентам гуманитарных специальностей и всем, интересующимся поэтикой и поэтологией.
(для доступа требуется авторизация)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10.

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

1-10 11-16

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

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

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

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