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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

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

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

Поисковый запрос: (<.>K=исчисление предикатов<.>)

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

Вид документа : Однотомное издание
Шифр издания : 59613
Автор(ы) : Бесценный И. П., Бесценная Е. В.
Заглавие : Математическая логика : Учебное пособие
Выходные данные : Омск: Омский государственный университет им. Ф.М. Достоевского, 2016
Колич.характеристики :76 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7779-2002-7: Б.ц.
УДК : 510.6
ББК : 22.12я73
Ключевые слова (''Своб.индексиров.''): вероятностная семантика--исчисление высказывания--исчисление предикатов--математическая логика--таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 22190
Автор(ы) : Зарипова Э. Р., Кокотчикова М. Г., Севастьянов Л. А.
Заглавие : Лекции по дискретной математике. Математическая логика : Учебное пособие
Выходные данные : Москва: Российский университет дружбы народов, 2014
Колич.характеристики :120 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-209-05455-9: Б.ц.
УДК : 512.563
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): булева алгебра--дискретная математика--исчисление высказываний--исчисление предикатов--математическая логика
Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 24064
Автор(ы) : Малыхина Г. И.
Заглавие : Логика : Учебник
Выходные данные : Минск: Вышэйшая школа, 2013
Колич.характеристики :335 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-985-06-2297-6: Б.ц.
УДК : 16
ББК : 87.4я73
Ключевые слова (''Своб.индексиров.''): исчисление высказываний--исчисление предикатов--логика--структура суждения--форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использовано магистрантами и аспирантами, а также изучающими логику самостоятельно.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 7003
Автор(ы) : Аверченков В. И., Федоров В. П., Хейфец М. Л.
Заглавие : Основы математического моделирования технических систем : Учебное пособие
Выходные данные : Брянск: Брянский государственный технический университет, 2012
Колич.характеристики :271 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-89838-126-0: Б.ц.
УДК : 5.19.85
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): генетический алгоритм--исчисление предикатов--математическое моделирование--нейрокомпьютерное моделирование--теория графов--теория множеств--теория нечетких множеств--техническая система--учебное пособие
Аннотация: Изложены основы современных методов математического моделирования технических объектов, широко используемых в инженерной практике и научных исследованиях. Рассмотрены общие понятия и определения математического моделирования, приведены классификации моделей и даны рекомендации по их использованию при решении различных задач. Особое внимание уделено построению математических моделей с использованием матриц, теорией множеств и графов, алгебры логики и исчисления предикатов. Рассмотрены элементы и направления применения таких современных средств моделирования и оптимизации, как теория нечетких множеств, нейрокомпьютерное моделирование и генетические алгоритмы. Приведены сведения о современных подходах и оптимизации при математическом моделировании технических систем. Учебное пособие предназначено для студентов инженерных специальностей всех форм обучения, магистров направления 552900 – «Технология, оборудование и автоматизация машиностроительных производств» и аспирантов, выполняющих исследования в области технологии машиностроения, математического моделирования, САПР и автоматизации и управления технологическими процессами и производствами (в машиностроении) (научные специальности 05.02.08, 05.13.18, 05.13.12 и 05.13.06 соответственно).
(для доступа требуется авторизация)

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

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

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

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