Digital catalogue


 

Choice of metadata IPR SMART

Page 1, Results: 21

Report on unfulfilled requests: 0

26480

    Задачник-практикум по математике. Книга 1. Часть I–II : учебное пособие для студентов очного и заочного отделений. - [Б. м.] : Московский городской педагогический университет, 2012 - .Задачник-практикум по математике. Книга 1. Часть I–II / Стойлова Л. П. - 2012. - 148 с. - ISBN 978-5-88247-531-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.122я73

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

Задачник-практикум по математике. Книга 1. Часть I–II [Электронный ресурс] : Учебное пособие для студентов очного и заочного отделений. Задачник-практикум по математике. Книга 1. Часть I–II / Стойлова Л. П., 2012. - 148 с.

1.

Задачник-практикум по математике. Книга 1. Часть I–II [Электронный ресурс] : Учебное пособие для студентов очного и заочного отделений. Задачник-практикум по математике. Книга 1. Часть I–II / Стойлова Л. П., 2012. - 148 с.


26480

    Задачник-практикум по математике. Книга 1. Часть I–II : учебное пособие для студентов очного и заочного отделений. - [Б. м.] : Московский городской педагогический университет, 2012 - .Задачник-практикум по математике. Книга 1. Часть I–II / Стойлова Л. П. - 2012. - 148 с. - ISBN 978-5-88247-531-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.122я73

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

26481

    Задачник-практикум по математике. Книга 2. Часть III– IV : учебное пособие для студентов очного и заочного отделений. - [Б. м.] : Московский городской педагогический университет, 2012 - .Задачник-практикум по математике. Книга 2. Часть III– IV / Конобеева Е. А. - 2012. - 116 с. - ISBN 978-5-88247-531-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.122я73

Кл.слова (ненормированные):
математика -- геометрическая фигура -- натуральное число -- система счисления -- признак делимости
Аннотация: Пособие является второй книгой задачника-практикума по математике, состоящего из 4-х частей. Книга 2 представлена двумя частями — «Натуральные числа и нуль» (авторы — Т.А. Конобеева, Л.П. Стойлова, И.В. Шадрина) и «Геометрические фигуры и величины» (авторы — Е.А. Конобеева, Л.П. Стойлова). Пособие предназначенного для студентов, обучающихся в условиях бакалавриата по направлению «Педагогическое образование» (профиль «Начальное образование»).

Доп.точки доступа:
Конобеева, Е. А.
Конобеева, Т. А.
Стойлова, Л. П.
Шадрина, И. В.

Задачник-практикум по математике. Книга 2. Часть III– IV [Электронный ресурс] : Учебное пособие для студентов очного и заочного отделений. Задачник-практикум по математике. Книга 2. Часть III– IV / Конобеева Е. А., 2012. - 116 с.

2.

Задачник-практикум по математике. Книга 2. Часть III– IV [Электронный ресурс] : Учебное пособие для студентов очного и заочного отделений. Задачник-практикум по математике. Книга 2. Часть III– IV / Конобеева Е. А., 2012. - 116 с.


26481

    Задачник-практикум по математике. Книга 2. Часть III– IV : учебное пособие для студентов очного и заочного отделений. - [Б. м.] : Московский городской педагогический университет, 2012 - .Задачник-практикум по математике. Книга 2. Часть III– IV / Конобеева Е. А. - 2012. - 116 с. - ISBN 978-5-88247-531-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.122я73

Кл.слова (ненормированные):
математика -- геометрическая фигура -- натуральное число -- система счисления -- признак делимости
Аннотация: Пособие является второй книгой задачника-практикума по математике, состоящего из 4-х частей. Книга 2 представлена двумя частями — «Натуральные числа и нуль» (авторы — Т.А. Конобеева, Л.П. Стойлова, И.В. Шадрина) и «Геометрические фигуры и величины» (авторы — Е.А. Конобеева, Л.П. Стойлова). Пособие предназначенного для студентов, обучающихся в условиях бакалавриата по направлению «Педагогическое образование» (профиль «Начальное образование»).

Доп.точки доступа:
Конобеева, Е. А.
Конобеева, Т. А.
Стойлова, Л. П.
Шадрина, И. В.

127575
Седова, Н. А.
    Теория нечетких множеств : учебное пособие / Седова Н. А. - Москва : Ай Пи Ар Медиа, 2023. - 426 с. - ISBN 978-5-4497-1878-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 21.12

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

Доп.точки доступа:
Седов, В. А.

Седова, Н. А. Теория нечетких множеств [Электронный ресурс] : Учебное пособие / Седова Н. А., 2023. - 426 с.

3.

Седова, Н. А. Теория нечетких множеств [Электронный ресурс] : Учебное пособие / Седова Н. А., 2023. - 426 с.


127575
Седова, Н. А.
    Теория нечетких множеств : учебное пособие / Седова Н. А. - Москва : Ай Пи Ар Медиа, 2023. - 426 с. - ISBN 978-5-4497-1878-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 21.12

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

Доп.точки доступа:
Седов, В. А.

103656
Афанасьев, С. Г.
    Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2021. - 82 с. - ISBN 978-5-4497-0963-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.12

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

Афанасьев, С. Г. Математическая логика [Электронный ресурс] : Учебное пособие / Афанасьев С. Г., 2021. - 82 с.

4.

Афанасьев, С. Г. Математическая логика [Электронный ресурс] : Учебное пособие / Афанасьев С. Г., 2021. - 82 с.


103656
Афанасьев, С. Г.
    Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2021. - 82 с. - ISBN 978-5-4497-0963-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.12

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

116389
Епишкина, А. В.
    Булевы функции и их применение : курс лекций / Епишкина А. В. - Москва : Национальный исследовательский ядерный университет «МИФИ», 2020. - 72 с. - ISBN 978-5-7262-2679-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.1

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

Епишкина, А. В. Булевы функции и их применение [Электронный ресурс] : Курс лекций / Епишкина А. В., 2020. - 72 с.

5.

Епишкина, А. В. Булевы функции и их применение [Электронный ресурс] : Курс лекций / Епишкина А. В., 2020. - 72 с.


116389
Епишкина, А. В.
    Булевы функции и их применение : курс лекций / Епишкина А. В. - Москва : Национальный исследовательский ядерный университет «МИФИ», 2020. - 72 с. - ISBN 978-5-7262-2679-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.1

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

98500
Богун, В. В.
    Применение дистанционной системы динамических расчетных проектов в обучении математике : учебное пособие / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 128 с. - ISBN 978-5-4497-0719-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.16

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

Богун, В. В. Применение дистанционной системы динамических расчетных проектов в обучении математике [Электронный ресурс] : Учебное пособие / Богун В. В., 2020. - 128 с.

6.

Богун, В. В. Применение дистанционной системы динамических расчетных проектов в обучении математике [Электронный ресурс] : Учебное пособие / Богун В. В., 2020. - 128 с.


98500
Богун, В. В.
    Применение дистанционной системы динамических расчетных проектов в обучении математике : учебное пособие / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 128 с. - ISBN 978-5-4497-0719-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.16

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

91735
Судоплатов, С. В.
    Классификация счётных моделей полных теорий в 2 частях. Ч.1 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 376 с. - ISBN 978-5-7782-3524-3 (ч.1), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.1

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

Судоплатов, С. В. Классификация счётных моделей полных теорий в 2 частях. Ч.1 [Электронный ресурс] : Монография / Судоплатов С. В., 2018. - 376 с.

7.

Судоплатов, С. В. Классификация счётных моделей полных теорий в 2 частях. Ч.1 [Электронный ресурс] : Монография / Судоплатов С. В., 2018. - 376 с.


91735
Судоплатов, С. В.
    Классификация счётных моделей полных теорий в 2 частях. Ч.1 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 376 с. - ISBN 978-5-7782-3524-3 (ч.1), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.1

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

91736
Судоплатов, С. В.
    Классификация счётных моделей полных теорий в 2 частях. Ч.2 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 452 с. - ISBN 978-5-7782-3525-0 (ч.2), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.1

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

Судоплатов, С. В. Классификация счётных моделей полных теорий в 2 частях. Ч.2 [Электронный ресурс] : Монография / Судоплатов С. В., 2018. - 452 с.

8.

Судоплатов, С. В. Классификация счётных моделей полных теорий в 2 частях. Ч.2 [Электронный ресурс] : Монография / Судоплатов С. В., 2018. - 452 с.


91736
Судоплатов, С. В.
    Классификация счётных моделей полных теорий в 2 частях. Ч.2 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 452 с. - ISBN 978-5-7782-3525-0 (ч.2), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.1

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

99263
Хворостухина, Е. В.
    Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.12

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

Хворостухина, Е. В. Математическая логика [Электронный ресурс] : Учебное пособие / Хворостухина Е. В., 2018. - 63 с.

9.

Хворостухина, Е. В. Математическая логика [Электронный ресурс] : Учебное пособие / Хворостухина Е. В., 2018. - 63 с.


99263
Хворостухина, Е. В.
    Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.12

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

66414

    Введение в математическое моделирование : учебное пособие / Ашихмин В. Н. - Москва : Логос, 2016. - 440 с. - ISBN 978-5-98704-637-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22

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

Доп.точки доступа:
Ашихмин, В. Н.
Гитман, М. Б.
Келлер, И. Э.
Наймарк, О. Б.
Столбов, В. Ю.
Трусов, П. В.
Фрик, П. Г.

Введение в математическое моделирование [Электронный ресурс] : Учебное пособие / Ашихмин В. Н., 2016. - 440 с.

10.

Введение в математическое моделирование [Электронный ресурс] : Учебное пособие / Ашихмин В. Н., 2016. - 440 с.


66414

    Введение в математическое моделирование : учебное пособие / Ашихмин В. Н. - Москва : Логос, 2016. - 440 с. - ISBN 978-5-98704-637-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22

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

Доп.точки доступа:
Ашихмин, В. Н.
Гитман, М. Б.
Келлер, И. Э.
Наймарк, О. Б.
Столбов, В. Ю.
Трусов, П. В.
Фрик, П. Г.

Page 1, Results: 21

 

All acquisitions for 
Or select a month