Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


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

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=исчисление предикатов<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
IPRBooks-59613
59613

    Бесценный, И. П.
    Математическая логика [Электронный ресурс] : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
510.6
ББК 22.12я73

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

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


Доп.точки доступа:
Бесценная, Е. В.
Свободных экз. нет
Найти похожие
2.
IPRBooks-22190
22190

    Зарипова, Э. Р.
    Лекции по дискретной математике. Математическая логика [Электронный ресурс] : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
512.563
ББК 22.176

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

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


Доп.точки доступа:
Кокотчикова, М. Г.; Севастьянов, Л. А.
Свободных экз. нет
Найти похожие
3.
IPRBooks-24064
24064

    Малыхина, Г. И.
    Логика [Электронный ресурс] : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2013. - 335 с. - ISBN 978-985-06-2297-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
16
ББК 87.4я73

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

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

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

    Аверченков, В. И.
    Основы математического моделирования технических систем [Электронный ресурс] : учебное пособие / Аверченков В. И. - Брянск : Брянский государственный технический университет, 2012. - 271 с. - ISBN 5-89838-126-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
5.19.85
ББК 32.97

Кл.слова (ненормированные):
генетический алгоритм -- исчисление предикатов -- математическое моделирование -- нейрокомпьютерное моделирование -- теория графов -- теория множеств -- теория нечетких множеств -- техническая система -- учебное пособие
Аннотация: Изложены основы современных методов математического моделирования технических объектов, широко используемых в инженерной практике и научных исследованиях. Рассмотрены общие понятия и определения математического моделирования, приведены классификации моделей и даны рекомендации по их использованию при решении различных задач. Особое внимание уделено построению математических моделей с использованием матриц, теорией множеств и графов, алгебры логики и исчисления предикатов. Рассмотрены элементы и направления применения таких современных средств моделирования и оптимизации, как теория нечетких множеств, нейрокомпьютерное моделирование и генетические алгоритмы. Приведены сведения о современных подходах и оптимизации при математическом моделировании технических систем. Учебное пособие предназначено для студентов инженерных специальностей всех форм обучения, магистров направления 552900 – «Технология, оборудование и автоматизация машиностроительных производств» и аспирантов, выполняющих исследования в области технологии машиностроения, математического моделирования, САПР и автоматизации и управления технологическими процессами и производствами (в машиностроении) (научные специальности 05.02.08, 05.13.18, 05.13.12 и 05.13.06 соответственно).

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


Доп.точки доступа:
Федоров, В. П.; Хейфец, М. Л.
Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 25.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)