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

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: 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

Вид документа : Однотомное издание
Шифр издания : 96015
Автор(ы) : Алаев П. Е., Максимова Л. Л.
Заглавие : Математическая логика : Учебное пособие для СПО
Выходные данные : Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2020
Колич.характеристики :98 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0789-3, 978-5-4497-0450-4: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебраическая система--математическая логика--множество--предикат--формула
Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 96035
Автор(ы) : Буфетова Л. П.
Заглавие : Экономическая теория. История экономики зарубежных стран : Учебное пособие для СПО
Выходные данные : Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2020
Колич.характеристики :225 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0823-4, 978-5-4497-0491-7: Б.ц.
УДК : 330.8
ББК : 65.02
Ключевые слова (''Своб.индексиров.''): зарубежная страна--история--капитал--промышленный переворот--рынок--торговля--экономика
Аннотация: В настоящем учебном пособии история экономики XX в. излагается как история создания предпосылок социального рыночного хозяйства, его расцвета, кризиса его институтов и поиска выхода. Логика сравнений моделей развития ведущих стран способствует лучшему усвоению исторических фактов. Учебное пособие будет полезно при изучении дисциплин «Экономическая теория», «Основы экономической теории» по укрупненной группе специальностей среднего профессионального образования 38.00.00 «Экономика и управление».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 97547
Автор(ы) : Барский А. Б.
Заглавие : Логические нейронные сети : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :491 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0661-4: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): искусственный интеллект--логическая сеть--логическое программирование--математическая логика--нейронная сеть--нейросетевая технология--самообучающаяся система--система управления--структура нейросети
Аннотация: В учебном пособии на основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. Предлагаются методы построения обученных нейронных сетей, созданных «под задачу», простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 92841
Автор(ы) : Ткаченко С. В., Сысоев А. С.
Заглавие : Элементы математической логики : Учебное пособие для СПО
Выходные данные : Липецк, Саратов: Липецкий государственный технический университет, Профобразование, 2020
Колич.характеристики :99 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-964-9, 978-5-4488-0752-7: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): булева алгебра--булева функция--логическая операция--математическая логика--функциональная полнота
Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 89426
Автор(ы) : Барский А. Б.
Заглавие : Введение в нейронные сети : Учебное пособие
Выходные данные : Москва, Саратов: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :357 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0309-5: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): логическая сеть--логическое программирование--математическая логика--нейронная сеть--нейросетевая модель--нейросетевая технология--принятие решения--распознавание объекта--трехмерное моделирование--язык пролог
Аннотация: Главной целью данного учебного пособия является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта — распознавания, управления и принятия решений — во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку — обучение при заданной структуре сети.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 97180
Автор(ы) : Кучуганов А. В.
Заглавие : Семантический анализ и поиск графической информации : Монография
Выходные данные : Москва: Ай Пи Ар Медиа, 2020
Колич.характеристики :179 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0634-8: Б.ц.
УДК : 004.9
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): графическая информация--дескриптивная логика--логический анализ--принятие решения--семантический анализ--синтаксический анализ
Аннотация: В монографии рассмотрены методологические основы семантического анализа, поиска и описания изображений на базе семиотического подхода к организации знаковых коммуникативных систем, позволяющего повысить качество анализа, степени детализации описаний изображенных объектов, релевантности их поиска и сопоставления с целью повышения эффективности современных систем поддержки принятия решений. Используются биоинспирированные алгоритмы выделения морфологических (первичных) признаков и синтаксических структур, математический аппарат теории графов и дескриптивной логики. Издание будет полезно студентам направлений подготовки, связанных с информатикой и информационными технологиями, аспирантам и инженерно-техническим работникам.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 96556
Автор(ы) : Горюшкин А. П.
Заглавие : Дискретная математика с элементами математической логики : Учебное пособие для СПО
Выходные данные : Саратов: Профобразование, 2020
Колич.характеристики :503 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0859-3: Б.ц.
УДК : 51
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): maple--дискретная математика--математическая логика--математические вычисления--теория графов
Аннотация: Учебное пособие содержит теоретический материал по всем важнейшим разделам дискретной математики и математической логики. Предлагается разбор задач с указанием методов их решений, а также система упражнений для самостоятельной работы студентов. В конце издания показаны примеры использования вычислительной техники при решении задач дискретной математики, а именно: применение пакета символьных математических вычислений Maple для решения задач математической логики и теории графов. Издание соответствует требованиям Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для студентов, обучающихся по специальности 09.02.07 «Информационные системы и программирование», изучающих дисциплину «Дискретная математика с элементами математической логики». Может быть использовано при реализации образовательных программ СПО по специальности 09.02.06 «Сетевое и системное администрирование», а также в дополнительном профессиональном образовании.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 92827
Автор(ы) : Шмырин А. М., Седых И. А.
Заглавие : Дискретная математика и математическая логика : Учебное пособие для СПО
Выходные данные : Липецк, Саратов: Липецкий государственный технический университет, Профобразование, 2020
Колич.характеристики :160 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-960-1, 978-5-4488-0751-0: Б.ц.
УДК : 519
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): граф--дискретная математика--конечный автомат--математическая логика--математическое моделирование--множество
Аннотация: В настоящем учебном пособии рассматриваются некоторые разделы дискретной математики и математической логики. В каждом разделе приведено большое количество иллюстраций и подробно разобранных примеров. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплин «Дискретная математика», «Элементы математической логики», «Дискретная математика с элементами математической логики», «Математическая логика и теория алгоритмов» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91873
Автор(ы) : Тарасова О. П.
Заглавие : История костюма восточных славян (древность — позднее средневековье) : Учебное пособие для СПО
Выходные данные : Саратов: Профобразование, 2020
Колич.характеристики :146 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0604-9: Б.ц.
УДК : 68
ББК : 85.1
Ключевые слова (''Своб.индексиров.''): восточные славяне--вышивка--история--костюм--одежда--узорное ткачество
Аннотация: В учебном пособии представлена логика и диалектика развития костюма Восточных славян в скифо-сарматский, норманнский, византийский и татаро-монгольский периоды. Материалы издания позволяют изложить имеющийся фонд знания о генезисе костюма знати и народа на Руси; проанализировать средства выражения художественного замысла в народном костюме восточных славян (ритмический строй, специфику орнамента, взаимосвязь декора и конструкции, особенности цветовой гаммы, значение украшений и др.); изучить костюм как исторически сложившуюся и постоянно развивающуюся систему художественных образов и эстетических представлений. Учебное пособие предназначено для изучения дисциплин «История костюма», «История стилей в костюме» по укрупненным группам профессий и специальностей среднего профессионального образования 29.00.00 «Технологии легкой промышленности».
(для доступа требуется авторизация)

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

10.

Вид документа : Однотомное издание
Шифр издания : 87844
Автор(ы) : Плескунов М. А.
Заглавие : Основы формальной логики : Учебное пособие для СПО
Выходные данные : Саратов, Екатеринбург: Профобразование, Уральский федеральный университет, 2019
Колич.характеристики :167 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0490-8, 978-5-7996-2876-5: Б.ц.
УДК : 16
ББК : 87.4
Ключевые слова (''Своб.индексиров.''): аргументация--гипотеза--индукция--спор--теория--умозаключение--формальная логика
Аннотация: Учебное пособие содержит теоретические материалы по основным темам курса логики: предмет логики; понятие; суждение; умозаключение; основы аргументации, доказательство и опровержение; спор; вопросы и ответы, гипотезы, теория. Включены также вопросы к зачету по курсу «Логика» и список рекомендуемой литературы. Учебное пособие предназначено для изучения дисциплины «Логика» по специальности среднего профессионального образования 40.02.01 «Право и организация социального обеспечения».
(для доступа требуется авторизация)

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

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

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

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

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

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