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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 72122
Автор(ы) : Зюзьков В. М.
Заглавие : Математическая логика и теория алгоритмов : Учебное пособие
Выходные данные : Томск: Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2015
Колич.характеристики :236 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4332-0197-2: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): аксиоматический метод--алгоритм--вычислимая функция--математическая логика--множество--пропозициональная логика
Аннотация: Учебное пособие содержит теоретический материал, изучение которого предусмотрено программой курса «Математическая логика и теория алгоритмов» направлений подготовки бакалавров «Информатика и вычислительная техника» и «Управление в технических системах».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 60840
Автор(ы) : Мартынова И. А., Машин И. Г., Фомченко В. Н.
Заглавие : Введение в теорию поля и ее приложения : Монография
Выходные данные : Саров: Российский федеральный ядерный центр – ВНИИЭФ, 2014
Колич.характеристики :108 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9515-0262-9: Б.ц.
УДК : 512
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): аксиоматический метод--алгебра--матрица--многочлен--множество--поле
Аннотация: Рассмотрены аксиоматический метод познания, краткая история развития алгебры и основные понятия теории множеств. Приведены определения алгебраических структур, групп, колец, полей. Рассмотрены многочлены над полем, вычисления и преобразования в поля Галуа, цифровое устройство, его математическая модель и возможные варианты их применения. Изложенные материалы предназначены для аспирантов технических специальностей первого года обучения для приведения в систему ранее полученных знаний и могут быть полезны для широкого круга инженерно-технических работников, связанных с разработкой информационных технологий и защитой информации, а также студентов соответствующих специальностей. Приведенные материалы могут быть использованы студентами соответствующих специальностей и школьниками старших классов в качестве дополнительного учебного пособия при первоначальном ознакомлении с введением в теорию поля и подготовке к профильным предметным олимпиадам.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 95404
Заглавие : Методы научных исследований : Учебно-методическое пособие
Выходные данные : Орел: Межрегиональная Академия безопасности и выживания (МАБИВ), 2019
Колич.характеристики :164 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 001.89
ББК : 87.255
Ключевые слова (''Своб.индексиров.''): аксиоматический метод--исследовательский процесс--констатирующий эксперимент--метод исследования--научно-исследовательская работа--научное исследование--правило аргументирования--теоретический метод--эмпирический метод
Аннотация: В пособии рассматриваются методы и средства научного исследования (средства познания ), структура и содержание этапов исследовательского процесса. Раскрывается структура научно исследовательской работы. Предназначено для научных и педагогических работников, преподавателей, аспирантов, магистрантов, студентов, практикующих специалистов с целью использования в научной работе и учебной деятельности.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 98926
Автор(ы) : Зайцева Е. В.
Заглавие : Формальные системы : Практикум
Выходные данные : Москва: Издательский Дом МИСиС, 2019
Колич.характеристики :36 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): аксиоматический метод--асу--математический метод--предикат--формальная система
Аннотация: Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
(для доступа требуется авторизация)

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

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

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

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