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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

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

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

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

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

1-10 11-20 21-30 31-40 41-50 51-60

IPRBooks-96015

96015

Алаев, П. Е.
Математическая логика [Электронный ресурс] : учебное пособие для СПО / Алаев П. Е. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 98 с. - ISBN 978-5-4488-0789-3, 978-5-4497-0450-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

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

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

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

IPRBooks-96035

96035

Буфетова, Л. П.
Экономическая теория. История экономики зарубежных стран [Электронный ресурс] : учебное пособие для СПО / Буфетова Л. П. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 225 с. - ISBN 978-5-4488-0823-4, 978-5-4497-0491-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

330.8

ББК 65.02

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

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

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

IPRBooks-97547

97547

Барский, А. Б.
Логические нейронные сети [Электронный ресурс] : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 491 с. - ISBN 978-5-4497-0661-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81

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

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

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

IPRBooks-92841

92841

Ткаченко, С. В.
Элементы математической логики [Электронный ресурс] : учебное пособие для СПО / Ткаченко С. В. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 99 с. - ISBN 978-5-88247-964-9, 978-5-4488-0752-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

Кл.слова (ненормированные):
булева алгебра -- булева функция -- логическая операция -- математическая логика -- функциональная полнота
Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».

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

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

IPRBooks-89426

89426

Барский, А. Б.
Введение в нейронные сети [Электронный ресурс] : учебное пособие / Барский А. Б. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 357 с. - ISBN 978-5-4497-0309-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81

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

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

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

IPRBooks-97180

97180

Кучуганов, А. В.
Семантический анализ и поиск графической информации [Электронный ресурс] : монография / Кучуганов А. В. - Москва : Ай Пи Ар Медиа, 2020. - 179 с. - ISBN 978-5-4497-0634-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.9

ББК 32.97

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

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

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

IPRBooks-96556

96556

Горюшкин, А. П.
Дискретная математика с элементами математической логики [Электронный ресурс] : учебное пособие для СПО / Горюшкин А. П. - Саратов : Профобразование, 2020. - 503 с. - ISBN 978-5-4488-0859-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 22.1

Кл.слова (ненормированные):
maple -- дискретная математика -- математическая логика -- математические вычисления -- теория графов
Аннотация: Учебное пособие содержит теоретический материал по всем важнейшим разделам дискретной математики и математической логики. Предлагается разбор задач с указанием методов их решений, а также система упражнений для самостоятельной работы студентов. В конце издания показаны примеры использования вычислительной техники при решении задач дискретной математики, а именно: применение пакета символьных математических вычислений Maple для решения задач математической логики и теории графов. Издание соответствует требованиям Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для студентов, обучающихся по специальности 09.02.07 «Информационные системы и программирование», изучающих дисциплину «Дискретная математика с элементами математической логики». Может быть использовано при реализации образовательных программ СПО по специальности 09.02.06 «Сетевое и системное администрирование», а также в дополнительном профессиональном образовании.

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

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

IPRBooks-92827

92827

Шмырин, А. М.
Дискретная математика и математическая логика [Электронный ресурс] : учебное пособие для СПО / Шмырин А. М. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 160 с. - ISBN 978-5-88247-960-1, 978-5-4488-0751-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519

ББК 22.176

Кл.слова (ненормированные):
граф -- дискретная математика -- конечный автомат -- математическая логика -- математическое моделирование -- множество
Аннотация: В настоящем учебном пособии рассматриваются некоторые разделы дискретной математики и математической логики. В каждом разделе приведено большое количество иллюстраций и подробно разобранных примеров. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплин «Дискретная математика», «Элементы математической логики», «Дискретная математика с элементами математической логики», «Математическая логика и теория алгоритмов» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».

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

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

IPRBooks-91873

91873

Тарасова, О. П.
История костюма восточных славян (древность — позднее средневековье) [Электронный ресурс] : учебное пособие для СПО / Тарасова О. П. - Саратов : Профобразование, 2020. - 146 с. - ISBN 978-5-4488-0604-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 85.1

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

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

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

10.

IPRBooks-87844

87844

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

УДК

ББК 87.4

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

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

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

1-10 11-20 21-30 31-40 41-50 51-60

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

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

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

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