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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

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

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

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

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

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

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

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

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

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