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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

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

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

1-10 11-16

IPRBooks-92384

92384

Чумаков, Ю. Н.
В сторону лирического сюжета [Электронный ресурс] / Чумаков Ю. Н. - Москва : Издательский Дом ЯСК, 2019. - 120 с. - ISBN 978-5-907117-25-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 83.3

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

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

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

IPRBooks-61516

61516

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

УДК

ББК 32.97

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

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

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

IPRBooks-10670

10670

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

УДК

519.86

ББК 65.050

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

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

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

IPRBooks-8248

8248

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

УДК

1/14

ББК 87.4

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

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

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

IPRBooks-91746

91746

Новоселов, В. Г.
Основы формальной логики [Электронный ресурс] : учебное пособие / Новоселов В. Г. - Новосибирск : Новосибирский государственный технический университет, 2016. - 92 с. - ISBN 978-5-7782-2853-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 87.4

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

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

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

IPRBooks-58165

58165

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

УДК

517

ББК 22.1

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

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

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

IPRBooks-64100

64100

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

УДК

54.058

ББК 32.97

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

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

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

IPRBooks-87442

87442

Лисяк, Н. К.
Моделирование систем. Ч.1 [Электронный ресурс] : учебное пособие / Лисяк Н. К. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2017. - 106 с. - ISBN 978-5-9275-2504-1 (ч.1), 978-5-9275-2503-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.431

ББК 32.973

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

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

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

IPRBooks-71742

71742

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

УДК

574

ББК 20.1

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

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

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

10.

IPRBooks-69448

69448

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

УДК

ББК 81.2

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

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

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

1-10 11-16

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

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

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

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