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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

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

IPRBooks-71195

71195

Попов, А. М.
Информатика и математика [Электронный ресурс] : учебное пособие для студентов вузов, обучающихся по специальности «Юриспруденция» (030501) / Попов А. М. - Москва : ЮНИТИ-ДАНА, 2017. - 302 с. - ISBN 978-5-238-01396-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81я73

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

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

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

IPRBooks-75601

75601

Теоретико-числовые методы в криптографии [Электронный ресурс] : учебное пособие / сост.: Ф. Б. Тебуева, В. О. Антонов. - Ставрополь : Северо-Кавказский федеральный университет, 2017. - 107 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.056

ББК 32.973

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

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

Доп.точки доступа:
Тебуева, Ф. Б. \сост.\; Антонов, В. О. \сост.\
Свободных экз. нет
Найти похожие

IPRBooks-57348

57348

Золотухин, В. Ф.
Математика. Дискретная математика [Электронный ресурс] : учебник / Золотухин В. Ф. - Ростов-на-Дону : Институт водного транспорта имени Г.Я. Седова – филиал «Государственный морской университет имени адмирала Ф.Ф. Ушакова», 2016. - 129 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 22.1

Кл.слова (ненормированные):
комбинаторный анализ -- математическая логика -- теории алгоритмов -- теории графов -- теория множеств -- эффективность вычислений
Аннотация: Изложен материал по основам математической логики и теории множеств, комбинаторному анализу, теории графов, языкам и грамматикам, конечным автоматам, элементам исчисления предикатов и теории формальных систем, теории алгоритмов и эффективности вычислений. Текст разделов 1, 2, 4, введение и заключение подготовлены В.Ф. Золотухином; разделы 3,5,6 подготовлены В.В. Ольшанским, С.В. Мартемьяновым; А.Е. Богдановым, В.И. Петровой. Одна из главных целей учебника – стремление к балансу между сугубо математическим и прикладным содержанием, что способствует общеобразовательному и профессиональному развитию читателя. Предназначен для подготовки студентов ко всем видам занятий по разделу «Дискретная математика» в курсе «Математика». Он может оказаться полезным и для преподавателей

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

Доп.точки доступа:
Ольшанский, В. В.; Мартемьянов, С. В.; Богданов, А. Е.; Петрова, В. И.
Свободных экз. нет
Найти похожие

IPRBooks-59613

59613

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

УДК

510.6

ББК 22.12я73

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

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

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

IPRBooks-72121

72121

Перемитина, Т. О.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

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

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

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

IPRBooks-70695

70695

Грес, П. В.
Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений [Электронный ресурс] : учебное пособие / Грес П. В. - Москва : Логос, 2015. - 288 с. - ISBN 978-5-98704-751-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 22.11

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

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

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

IPRBooks-72122

72122

Зюзьков, В. М.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Зюзьков В. М. - Томск : Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2015. - 236 с. - ISBN 978-5-4332-0197-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

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

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

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

IPRBooks-66541

66541

Трофимова, Е. А.
Математические методы анализа [Электронный ресурс] : учебное пособие / Трофимова Е. А. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 272 с. - ISBN 978-5-7996-1413-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.161я73

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

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

Доп.точки доступа:
Плотников, С. В.; Гилёв, Д. В.; Трофимова, Е. А. \ред.\
Свободных экз. нет
Найти похожие

IPRBooks-69319

69319

Седов, В. А.
Введение в нейронные сети [Электронный ресурс] : методические указания к лабораторным работам по дисциплине «Нейроинформатика» для студентов специальности 09.03.02 «Информационные системы и технологии» / Седов В. А. - Саратов : Ай Пи Эр Медиа, 2018. - 30 с. - ISBN 978-5-4486-0047-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81

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

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

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

10.

IPRBooks-69312

69312

Унучек, С. А.
Математическая логика [Электронный ресурс] : учебное пособие / Унучек С. А. - Саратов : Ай Пи Эр Медиа, 2018. - 239 с. - ISBN 978-5-4486-0086-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22.12

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

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

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

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

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

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

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

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