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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

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

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

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

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

IPRBooks-72122

72122

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

УДК

510

ББК 22.1

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

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

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

IPRBooks-60840

60840

Мартынова, И. А.
Введение в теорию поля и ее приложения [Электронный ресурс] : монография / Мартынова И. А. - Саров : Российский федеральный ядерный центр – ВНИИЭФ, 2014. - 108 с. - ISBN 978-5-9515-0262-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

512

ББК 22.1

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

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

Доп.точки доступа:
Машин, И. Г.; Фомченко, В. Н.
Свободных экз. нет
Найти похожие

IPRBooks-95404

95404

Методы научных исследований [Электронный ресурс] : учебно-методическое пособие / сост. С. Ю. Махов. - Орел : Межрегиональная Академия безопасности и выживания (МАБИВ), 2019. - 164 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

001.89

ББК 87.255

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

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

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

IPRBooks-98926

98926

Зайцева, Е. В.
Формальные системы [Электронный ресурс] : практикум / Зайцева Е. В. - Москва : Издательский Дом МИСиС, 2019. - 36 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

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

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

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

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

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

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

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