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

Вид документа : Однотомное издание
Шифр издания : 71195
Автор(ы) : Попов А. М., Сотников В. Н., Нагаева Е. И.
Заглавие : Информатика и математика : Учебное пособие для студентов вузов, обучающихся по специальности «Юриспруденция» (030501)
Выходные данные : Москва: ЮНИТИ-ДАНА, 2017
Колич.характеристики :302 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-238-01396-1: Б.ц.
УДК : 004
ББК : 32.81я73
Ключевые слова (''Своб.индексиров.''): алгоритм--защита информации--информатика--логика высказываний--математика--математическая логика--математическая статистика--теория вероятностей--теория графов--язык программирования
Аннотация: Учебное пособие подготовлено в соответствии с государственным образовательным стандартом высшего профессионального образования по дисциплине «Информатика и математика». В соответствии с дидактическими блоками стандарта изложены основные разделы дискретной математики, теории вероятностей, математической статистики и основ информатики. Даны основные характеристики математических методов и моделей, используемых в праве, криминологии и судебной экспертизе. Для студентов и аспирантов юридических вузов и факультетов.
(для доступа требуется авторизация)

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 59613
Автор(ы) : Бесценный И. П., Бесценная Е. В.
Заглавие : Математическая логика : Учебное пособие
Выходные данные : Омск: Омский государственный университет им. Ф.М. Достоевского, 2016
Колич.характеристики :76 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7779-2002-7: Б.ц.
УДК : 510.6
ББК : 22.12я73
Ключевые слова (''Своб.индексиров.''): вероятностная семантика--исчисление высказывания--исчисление предикатов--математическая логика--таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
(для доступа требуется авторизация)

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

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

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

Вид документа : Однотомное издание
Шифр издания : 70695
Автор(ы) : Грес П. В.
Заглавие : Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений : Учебное пособие
Выходные данные : Москва: Логос, 2015
Колич.характеристики :288 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-98704-751-4: Б.ц.
УДК : 51
ББК : 22.11
Ключевые слова (''Своб.индексиров.''): дискретная математика--математическая логика--математический метод--теория вероятностей--теория множеств
Аннотация: Содержит краткий курс математики. Рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики. Представлены важнейшие разделы математического анализа. Изложены математические методы, используемые в рамках теории вероятностей, математической статистики, математического моделирования и принятия решений. Приведены основные определения и методы, примеры решения типовых задач, задания для самостоятельной работы. В отличие от предыдущих изданий представлены разделы по линейной и векторной алгебре, аналитической геометрии, а также глубже рассмотрены вопросы т еории вероятностей и математической статистики. В учебном пособии нашел отражение опыт преподавания математики на гуманитарных специальностях вузов Новосибирска. Изложение материала адаптировано для обучения бакалавров. Для студентов высших учебных заведений, обучающихся по направлениям и специальностям «Философия», «Психология», «Социология», «Юриспруденция», «Политология», «Социальная работа» и др.
(для доступа требуется авторизация)

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 69319
Автор(ы) : Седов В. А., Седова Н. А.
Заглавие : Введение в нейронные сети : Методические указания к лабораторным работам по дисциплине «Нейроинформатика» для студентов специальности 09.03.02 «Информационные системы и технологии»
Выходные данные : Саратов: Ай Пи Эр Медиа, 2018
Колич.характеристики :30 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0047-0: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): математическая логика--нейронная сеть--принятие решений--распознавание--система искусственного интеллекта--структура сети--управление
Аннотация: Лабораторные работы содержат четко сформулированную цель работы, список вопросов для самоподготовки, описание плана выполнения лаборатор-ной работы и список требований к оформлению отчёта по лабораторной работе. Настоящие методические указания к лабораторным работам «Введение в нейронные сети» по дисциплине «Нейроинформатика» предназначены для студентов специальности 09.03.02 «Информационные системы и технологии».
(для доступа требуется авторизация)

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

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

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