Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: 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 
1.

Вид документа : Однотомное издание
Шифр издания : 55636
Автор(ы) : Шмырин А. М., Седых И. А.
Заглавие : Лекции по дискретной математике и математической логике : Учебное пособие
Выходные данные : Липецк: Липецкий государственный технический университет, ЭБС АСВ, 2014
Колич.характеристики :160 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-714-0: Б.ц.
УДК : 519
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--дискретная математика--математическая логика--транспортная сеть--элемент графа
Аннотация: Учебное пособие соответствует государственному образовательному стандарту дисциплин «Дискретная математика», «Математическая логика и теория алгоритмов». Пособие содержит краткий курс дискретной математики и математической логики. В каждом разделе приведены подробно разобранные примеры. Данное пособие предназначено для студентов направлений подготовки 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление», а также студентов других технических специальностей, изучающих дискретную математику.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 92827
Автор(ы) : Шмырин А. М., Седых И. А.
Заглавие : Дискретная математика и математическая логика : Учебное пособие для СПО
Выходные данные : Липецк, Саратов: Липецкий государственный технический университет, Профобразование, 2020
Колич.характеристики :160 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-960-1, 978-5-4488-0751-0: Б.ц.
УДК : 519
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): граф--дискретная математика--конечный автомат--математическая логика--математическое моделирование--множество
Аннотация: В настоящем учебном пособии рассматриваются некоторые разделы дискретной математики и математической логики. В каждом разделе приведено большое количество иллюстраций и подробно разобранных примеров. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплин «Дискретная математика», «Элементы математической логики», «Дискретная математика с элементами математической логики», «Математическая логика и теория алгоритмов» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 64571
Автор(ы) : Чернышов В. Н., Чернышов А. В.
Заглавие : Системный анализ и моделирование при разработке экспертных систем : Учебное пособие
Выходные данные : Тамбов: Тамбовский государственный технический университет, ЭБС АСВ, 2012
Колич.характеристики :128 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 303.732
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): алгоритм декомпозиции--генерирование альтернатив--графический метод--математическая логика--моделирование--синектика--системный анализ--содержательная модель--человеко-машинная система--экспертная система
Аннотация: Рассматриваются основные понятия и определения системного анализа, определено его место среди других научных направлений и учебных дисциплин. Особое место занимают вопросы, связанные с моделированием в системном анализе, определением понятия модели и моделирования, подробно рассмотрены виды моделей и уровни моделирования, а также целевое назначение моделей. В работе изложены основные процедуры системного анализа, подробно описаны его неформализованные этапы. Большое внимание в работе уделено методам выбора при принятии решений в условиях неопределенности, подробно рассмотрены вопросы целей системного анализа и генерирования альтернатив при решении системных задач. Предназначено в качестве учебного пособия для магистрантов магистерских программ 230700.01 «Прикладная информатика в юриспруденции» и 230400.02 «Управление данными».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 69312
Автор(ы) : Унучек С. А.
Заглавие : Математическая логика : Учебное пособие
Выходные данные : Саратов: Ай Пи Эр Медиа, 2018
Колич.характеристики :239 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0086-9: Б.ц.
УДК : 510.6
ББК : 22.12
Ключевые слова (''Своб.индексиров.''): дискретная математика--логика--математика--математическая логика
Аннотация: В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 81280
Автор(ы) : Трунтаева Т. И.
Заглавие : Математическая логика : Учебно-методическое пособие
Выходные данные : Саратов: Вузовское образование, 2019
Колич.характеристики :53 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4487-0479-6: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): логическая операция--логическое следование--математика--математическая логика--случай
Аннотация: В учебно-методическом пособии рассмотрены основные понятия математической логики и решения типовых задач с помощью аппарата математической логики, согласно цели и содержанию учебной дисциплины «Математика» для студентов гуманитарных направлений подготовки. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего профессионального образования. Учебно-методическое пособие предназначено для изучения учебной дисциплины «Математика», включенной в учебные планы по гуманитарным направлениям подготовки бакалавров, а также «Математическая логика», входящей в учебный план подготовки бакалавров по направлению 44.03.05 «Педагогическое образование», профиль «Физика и математика».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 66541
Автор(ы) : Трофимова Е. А., Плотников С. В., Гилёв Д. В.
Заглавие : Математические методы анализа : Учебное пособие
Выходные данные : Екатеринбург: Уральский федеральный университет, ЭБС АСВ, 2015
Колич.характеристики :272 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7996-1413-3: Б.ц.
УДК : 517
ББК : 22.161я73
Ключевые слова (''Своб.индексиров.''): дифференциал функции--математическая логика--математический анализ--математический метод--метод анализа--предел последовательности--предел функции--производная функции--теория множеств
Аннотация: Разделы учебного пособия включают блок теоретического материала и задачи, предназначенные как для аудиторных занятий, так и для самостоятельной работы. Дается экономическая интерпретация математических понятий. Для студентов, изучающих дисциплины «Математический анализ», «Теория вероятностей и математическая статистика», «Методы оптимальных решений».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 92841
Автор(ы) : Ткаченко С. В., Сысоев А. С.
Заглавие : Элементы математической логики : Учебное пособие для СПО
Выходные данные : Липецк, Саратов: Липецкий государственный технический университет, Профобразование, 2020
Колич.характеристики :99 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-964-9, 978-5-4488-0752-7: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): булева алгебра--булева функция--логическая операция--математическая логика--функциональная полнота
Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 55105
Автор(ы) : Ткаченко С. В., Сысоев А. С.
Заглавие : Математическая логика : Учебное пособие
Выходные данные : Липецк: Липецкий государственный технический университет, ЭБС АСВ, 2013
Колич.характеристики :99 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-649-5: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): дискретная математика--логика--математика--математическая логика--теория графов
Аннотация: Пособие является одной из частей системы учебных пособий по дискретной математике. Рассматриваются основные разделы дисциплины «Теория графов и математическая логика», в частности математическая логика. Данное пособие может быть рекомендовано студентам направлений 231300.62 «Прикладная математика», 221400.62 «Управление качеством», 221700.62 «Стандартизация и метрология», а также преподавателям, которые преподают математическую логику студентам всех направлений.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 75601
Заглавие : Теоретико-числовые методы в криптографии : Учебное пособие
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2017
Колич.характеристики :107 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 004.056
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): алгоритм шенхаге-штрассена--арифметическая операция--дискретная математика--защита информации--криптографическая система--криптография--математическая логика--математический анализ--метод карацубы-офмана--теоретико-числовой метод
Аннотация: Практикум составлен в соответствии с требованиями ФГОС ВО, призван способствовать формированию и закреплению общепрофессиональных компетенций, и освоению базовых принципов построения и математического обоснования криптографических систем. Содержит теоретический материал, образцы решения задач, задания, литературу. Предназначен для студентов, обучающихся по специальности 10.05.01 Компьютерная безопасность.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91736
Автор(ы) : Судоплатов С. В.
Заглавие : Классификация счётных моделей полных теорий в 2 частях. Ч.2 : Монография
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :452 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3525-0 (ч.2), 978-5-7782-3523-6: Б.ц.
УДК : 510.67
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): генерическая теория--классификация моделей--математическая логика--полная теория--предпорядок рудин-кейслера--предранговая функция--проблема гончарова-миллара--проблема лахлана--счётная модель
Аннотация: Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин-Кейслера в этих теориях; решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов. Для интересующихся математической логикой.
(для доступа требуется авторизация)

Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-53 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 07.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)