База данных: Каталог ЭБС IPR SMART
Страница 1, Результатов: 35
Отмеченные записи: 0
1.
Подробнее
Малыхина, Г. И.
Логика : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2023. - 384 с. - ISBN 978-985-06-3498-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 87.4
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- логика -- форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Первое издание вышло в 2021 г. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использован магистрантами и аспирантами, а также изучающими логику самостоятельно.
Малыхина, Г. И.
Логика : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2023. - 384 с. - ISBN 978-985-06-3498-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- логика -- форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Первое издание вышло в 2021 г. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использован магистрантами и аспирантами, а также изучающими логику самостоятельно.
2.
Подробнее
Дехтярь, М. И.
Дискретная математика : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2022. - 181 с. - ISBN 978-5-4497-1641-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булева функция -- дискретная математика -- дискретная структура -- комбинаторика -- множество -- реляционная база
Аннотация: Учебное пособие представляет собой начальный курс по дискретным структурам и содержит все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций — булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в учебном пособии проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая тема завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.
Дехтярь, М. И.
Дискретная математика : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2022. - 181 с. - ISBN 978-5-4497-1641-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева функция -- дискретная математика -- дискретная структура -- комбинаторика -- множество -- реляционная база
Аннотация: Учебное пособие представляет собой начальный курс по дискретным структурам и содержит все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций — булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в учебном пособии проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая тема завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.
3.
Подробнее
Горюшкин, А. П.
Математическая логика и теория алгоритмов : учебник / Горюшкин А. П. - Саратов : Вузовское образование, 2022. - 499 с. - ISBN 978-5-4487-0808-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
аксиоматическое построение -- алгебра высказываний -- алгебра предикатов -- алгоритм -- логика -- математическая логика -- теория алгоритмов -- теория множеств
Аннотация: В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
Горюшкин, А. П.
Математическая логика и теория алгоритмов : учебник / Горюшкин А. П. - Саратов : Вузовское образование, 2022. - 499 с. - ISBN 978-5-4487-0808-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аксиоматическое построение -- алгебра высказываний -- алгебра предикатов -- алгоритм -- логика -- математическая логика -- теория алгоритмов -- теория множеств
Аннотация: В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
4.
Подробнее
Авдеенко, Т. В.
Программирование в среде Visual Prolog : учебное пособие / Авдеенко Т. В. - Новосибирск : Новосибирский государственный технический университет, 2022. - 46 с. - ISBN 978-5-7782-4689-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
visual prolog -- искусственный интеллект -- исчисления высказываний -- исчисления предикатов -- программирование -- структура данных
Аннотация: Настоящее учебное пособие – это продолжение учебного пособия «Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog», представляющего собой вводную часть курса по искусственному интеллекту, основной целью которой является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. В пособии рассматриваются: работа с рекурсивными структурами данных в Прологе, назначение и применение предиката «Отсечение», а также внелогические предикаты Пролога и предикаты работы со строками. Предназначено для студентов III курса ФПМИ (направления подготовки 01.03.02, 02.03.03).
Доп.точки доступа:
Целебровская, М. Ю.
Авдеенко, Т. В.
Программирование в среде Visual Prolog : учебное пособие / Авдеенко Т. В. - Новосибирск : Новосибирский государственный технический университет, 2022. - 46 с. - ISBN 978-5-7782-4689-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
visual prolog -- искусственный интеллект -- исчисления высказываний -- исчисления предикатов -- программирование -- структура данных
Аннотация: Настоящее учебное пособие – это продолжение учебного пособия «Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog», представляющего собой вводную часть курса по искусственному интеллекту, основной целью которой является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. В пособии рассматриваются: работа с рекурсивными структурами данных в Прологе, назначение и применение предиката «Отсечение», а также внелогические предикаты Пролога и предикаты работы со строками. Предназначено для студентов III курса ФПМИ (направления подготовки 01.03.02, 02.03.03).
Доп.точки доступа:
Целебровская, М. Ю.
5.
Подробнее
Пархоменко, О. А.
Синтаксические способы выражения побуждения и запрета в современном английском языке и их интерпретация на русский язык : монография / Пархоменко О. А. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2022. - 106 с. - ISBN 978-5-9275-4127-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 81.43
Кл.слова (ненормированные):
английский язык -- семантика глаголов -- системный анализ
Аннотация: Монография посвящена системному анализу синтаксических единиц выражения волеизъявления в английском языке. В основу их классификации были положены различные критерии: семантика глаголов, формирующих предикативную основу побудительных высказываний; эксплицитность / имплицитность выражения значения побуждения и запрещения в высказывании; выражение волеизъявления в синтаксических конструкциях при помощи различных частей речи и др. Исследование способов перевода средств выражения волеизъявления на русский язык помогает сделать правильный выбор русского эквивалента, позволяет избежать в межкультурном общении коммуникативных провалов, а также способствует более эффективному воздействию на адресата. Монография адресована исследователям в области теоретической грамматики английского языка, прагмалингвистики, переводоведения, переводчикам.
Пархоменко, О. А.
Синтаксические способы выражения побуждения и запрета в современном английском языке и их интерпретация на русский язык : монография / Пархоменко О. А. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2022. - 106 с. - ISBN 978-5-9275-4127-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
английский язык -- семантика глаголов -- системный анализ
Аннотация: Монография посвящена системному анализу синтаксических единиц выражения волеизъявления в английском языке. В основу их классификации были положены различные критерии: семантика глаголов, формирующих предикативную основу побудительных высказываний; эксплицитность / имплицитность выражения значения побуждения и запрещения в высказывании; выражение волеизъявления в синтаксических конструкциях при помощи различных частей речи и др. Исследование способов перевода средств выражения волеизъявления на русский язык помогает сделать правильный выбор русского эквивалента, позволяет избежать в межкультурном общении коммуникативных провалов, а также способствует более эффективному воздействию на адресата. Монография адресована исследователям в области теоретической грамматики английского языка, прагмалингвистики, переводоведения, переводчикам.
6.
Подробнее
Иванова, И. С.
Изучаем причастия на уроках русского языка как иностранного : учебное пособие / Иванова И. С. - Москва : Ай Пи Ар Медиа, 2021. - 128 с. - ISBN 978-5-4497-0981-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 81.4
Кл.слова (ненормированные):
активное причастие -- пассивное причастие -- причастие -- рки -- русский как иностранный -- русский язык
Аннотация: В учебном пособии приводится необходимый грамматический материал по теме «Причастие», презентуемый в виде схем и таблиц, дается большое количество упражнений и заданий. Цель издания — научить иностранных учащихся образовывать полные и краткие причастия и использовать их в речи в функции определения и предиката. Предназначено для иностранцев, осваивающих русский язык в объеме I сертификационного уровня. Может использоваться на подготовительных факультетах и отделениях.
Доп.точки доступа:
Ильина, С. А.
Левина, В. Н.
Иванова, И. С.
Изучаем причастия на уроках русского языка как иностранного : учебное пособие / Иванова И. С. - Москва : Ай Пи Ар Медиа, 2021. - 128 с. - ISBN 978-5-4497-0981-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
активное причастие -- пассивное причастие -- причастие -- рки -- русский как иностранный -- русский язык
Аннотация: В учебном пособии приводится необходимый грамматический материал по теме «Причастие», презентуемый в виде схем и таблиц, дается большое количество упражнений и заданий. Цель издания — научить иностранных учащихся образовывать полные и краткие причастия и использовать их в речи в функции определения и предиката. Предназначено для иностранцев, осваивающих русский язык в объеме I сертификационного уровня. Может использоваться на подготовительных факультетах и отделениях.
Доп.точки доступа:
Ильина, С. А.
Левина, В. Н.
7.
Подробнее
Дехтярь, М. И.
Лекции по дискретной математике : учебник / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 528 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгоритм -- графы -- дискретная математика -- задачи -- комбинаторика -- математическая индукция -- множество -- решение
Аннотация: Учебник содержит лекционный материал по дисциплине «Дискретная математика», а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
Дехтярь, М. И.
Лекции по дискретной математике : учебник / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 528 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- графы -- дискретная математика -- задачи -- комбинаторика -- математическая индукция -- множество -- решение
Аннотация: Учебник содержит лекционный материал по дисциплине «Дискретная математика», а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
8.
Подробнее
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2021. - 82 с. - ISBN 978-5-4497-0963-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2021. - 82 с. - ISBN 978-5-4497-0963-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
9.
Подробнее
Полякова, Л. Н.
Основы SQL : учебное пособие / Полякова Л. Н. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 273 с. - ISBN 978-5-4497-0672-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
sql-оператор -- база данных -- выборка данных -- динамический sql -- защита данных -- манипулирование данными -- нетривиальный запрос -- тип данных -- язык sql -- язык запроса
Аннотация: Данное учебное пособие представляет собой развернутое введение в SQL на основе стандарта SQL:1999. Обсуждаются типы данных, допускаемые в SQL; средства определения объектов базы данных; манипулирование данными; управление соединениями, сессиями и транзакциями; обеспечение безопасности; динамический и встроенный SQL. Хорошее владение языком SQL является обязательным для профессиональных разработчиков приложений баз данных и их администраторов. Данное издание основано на международном стандарте SQL:1999, хотя не охватывает все аспекты языка. В учебное пособие включены темы, являющиеся, во-первых, наиболее важными для пользователей и разработчиков приложений и, во-вторых, наиболее проработанными в текущей версии стандарта. Во вводной части книги обсуждаются история языка, его основные концепции, типы данных, допустимые в SQL. Приводится обзор подходов SQL к определению данных и манипулированию ими. В основной части последовательно обсуждаются следующие темы: значения, базовые функции и выражения SQL; арифметические выражения с переключателями и преобразованием типа, выражения со строковыми значениями; виды предикатов, допустимых в логических выражениях; соединения и теоретико-множественные операции; виды выражений запросов; ограничения целостности и ссылочная целостность; триггеры; встроенный SQL и язык модулей; принципы работы с курсорами; привилегии, пользователи и безопасность; управление транзакциями; управление соединениями и удаленный доступ к базам данных; хранимые процедуры и функции; динамический SQL; интерфейс уровня вызовов; диагностика и управление ошибочными ситуациями; вопросы интернационализации и локализации; информационная схема.
Полякова, Л. Н.
Основы SQL : учебное пособие / Полякова Л. Н. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 273 с. - ISBN 978-5-4497-0672-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
sql-оператор -- база данных -- выборка данных -- динамический sql -- защита данных -- манипулирование данными -- нетривиальный запрос -- тип данных -- язык sql -- язык запроса
Аннотация: Данное учебное пособие представляет собой развернутое введение в SQL на основе стандарта SQL:1999. Обсуждаются типы данных, допускаемые в SQL; средства определения объектов базы данных; манипулирование данными; управление соединениями, сессиями и транзакциями; обеспечение безопасности; динамический и встроенный SQL. Хорошее владение языком SQL является обязательным для профессиональных разработчиков приложений баз данных и их администраторов. Данное издание основано на международном стандарте SQL:1999, хотя не охватывает все аспекты языка. В учебное пособие включены темы, являющиеся, во-первых, наиболее важными для пользователей и разработчиков приложений и, во-вторых, наиболее проработанными в текущей версии стандарта. Во вводной части книги обсуждаются история языка, его основные концепции, типы данных, допустимые в SQL. Приводится обзор подходов SQL к определению данных и манипулированию ими. В основной части последовательно обсуждаются следующие темы: значения, базовые функции и выражения SQL; арифметические выражения с переключателями и преобразованием типа, выражения со строковыми значениями; виды предикатов, допустимых в логических выражениях; соединения и теоретико-множественные операции; виды выражений запросов; ограничения целостности и ссылочная целостность; триггеры; встроенный SQL и язык модулей; принципы работы с курсорами; привилегии, пользователи и безопасность; управление транзакциями; управление соединениями и удаленный доступ к базам данных; хранимые процедуры и функции; динамический SQL; интерфейс уровня вызовов; диагностика и управление ошибочными ситуациями; вопросы интернационализации и локализации; информационная схема.
10.
Подробнее
Дехтярь, М. И.
Сборник задач по множествам, булевым функциям и математической логике : учебное пособие / Дехтярь М. И. - Тверь : Тверской государственный университет, 2020. - 128 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
дискретная математика -- задачи -- контрольная работа -- решение -- семинарское занятие
Аннотация: Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника». Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и контрольным работам. В книге помещено более 250 задач и упражнений, многие из которых состоят из нескольких независимых подзадач. Большинство задач снабжено ответами, а многие более сложные задачи сопровождаются также указаниями или решениями. Задачи в сборнике собраны в 11 разделов. Они посвящены элементам теории множеств и комбинаторики, булевым функциям и их реализациям, логике предикатов. Каждому разделу предшествует небольшое теоретическое введение, содержащее основные определения и формулы, используемые при решении его задач.
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
Дехтярь, М. И.
Сборник задач по множествам, булевым функциям и математической логике : учебное пособие / Дехтярь М. И. - Тверь : Тверской государственный университет, 2020. - 128 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дискретная математика -- задачи -- контрольная работа -- решение -- семинарское занятие
Аннотация: Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника». Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и контрольным работам. В книге помещено более 250 задач и упражнений, многие из которых состоят из нескольких независимых подзадач. Большинство задач снабжено ответами, а многие более сложные задачи сопровождаются также указаниями или решениями. Задачи в сборнике собраны в 11 разделов. Они посвящены элементам теории множеств и комбинаторики, булевым функциям и их реализациям, логике предикатов. Каждому разделу предшествует небольшое теоретическое введение, содержащее основные определения и формулы, используемые при решении его задач.
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
Страница 1, Результатов: 35