База данных: IPR SMART кітаптар
Беті 2, Нәтижелерін: 51
Отмеченные записи: 0
11.
Подробнее
Бекарева, Н. Д.
Дискретная математика : учебное пособие / Бекарева Н. Д. - Новосибирск : Новосибирский государственный технический университет, 2019. - 80 с. - ISBN 978-5-7782-3952-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
дискретная математика -- доказательство -- логическая функция -- математическая логика -- множество
Аннотация: Работа включает разделы: операции теории множеств, математическую логику в составе булевой алгебры, исчисления высказываний и исчисления предикатов. При изложении материала использован конструктивный подход – наиболее современная и эффективная форма подачи материала. Каждый раздел сопровождается задачами, приводятся решения типовых задач. Работа окажется полезной при подготовке бакалавров по всем направлениям факультета прикладной математики и информатики.
Бекарева, Н. Д.
Дискретная математика : учебное пособие / Бекарева Н. Д. - Новосибирск : Новосибирский государственный технический университет, 2019. - 80 с. - ISBN 978-5-7782-3952-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дискретная математика -- доказательство -- логическая функция -- математическая логика -- множество
Аннотация: Работа включает разделы: операции теории множеств, математическую логику в составе булевой алгебры, исчисления высказываний и исчисления предикатов. При изложении материала использован конструктивный подход – наиболее современная и эффективная форма подачи материала. Каждый раздел сопровождается задачами, приводятся решения типовых задач. Работа окажется полезной при подготовке бакалавров по всем направлениям факультета прикладной математики и информатики.
12.
Подробнее
Математика и информатика. Ч.1 : учебное пособие / Чекин А. Л. - Москва : Московский педагогический государственный университет, 2019. - 236 с. - ISBN 978-5-4263-0827-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритмика -- дискретная математика -- информатика -- комбинаторика -- математическая логика -- множество -- случайная величина
Аннотация: Учебное пособие предназначено для студентов факультетов начального образования педагогических вузов, обучающихся по образовательной программе бакалавриата по направлению 44.03.01 Педагогическое образование (профиль «Начальное образование») и направлению 44.03.05 Педагогическое образование (с двумя профилями подготовки) при условии, что первым профилем является профиль «Начальное образование». В первую часть пособия включены разделы программы, которые относятся к дискретной математике. Каждая глава кроме адаптированного теоретического материала содержит еще и достаточно большой перечень задач, которые можно использовать на практических занятиях.
Доп.точки доступа:
Чекин, А. Л.
Босова, Л. Л.
Добротворский, А. С.
Иванова, Е. А.
Лаврова, Н. Н.
Локшин, А. А.
Тимошенко, В. В.
Чекина, А. Л. \ред.\
Математика и информатика. Ч.1 : учебное пособие / Чекин А. Л. - Москва : Московский педагогический государственный университет, 2019. - 236 с. - ISBN 978-5-4263-0827-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритмика -- дискретная математика -- информатика -- комбинаторика -- математическая логика -- множество -- случайная величина
Аннотация: Учебное пособие предназначено для студентов факультетов начального образования педагогических вузов, обучающихся по образовательной программе бакалавриата по направлению 44.03.01 Педагогическое образование (профиль «Начальное образование») и направлению 44.03.05 Педагогическое образование (с двумя профилями подготовки) при условии, что первым профилем является профиль «Начальное образование». В первую часть пособия включены разделы программы, которые относятся к дискретной математике. Каждая глава кроме адаптированного теоретического материала содержит еще и достаточно большой перечень задач, которые можно использовать на практических занятиях.
Доп.точки доступа:
Чекин, А. Л.
Босова, Л. Л.
Добротворский, А. С.
Иванова, Е. А.
Лаврова, Н. Н.
Локшин, А. А.
Тимошенко, В. В.
Чекина, А. Л. \ред.\
13.
Подробнее
Комиссаров, В. В.
Математика. Сборник задач : учебное пособие / Комиссаров В. В. - Новосибирск : Новосибирский государственный технический университет, 2019. - 88 с. - ISBN 978-5-7782-3926-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
аналитическая геометрия -- векторная алгебра -- комплексное число -- линейная алгебра -- математика -- математическая логика -- множество -- функция
Аннотация: Работа выполнена на кафедре высшей математики для студентов первого курса, обучающихся по специальностям: Регионоведение (41.03.01), Менеджмент (38.03.02), Психология (37.03.01), Социология (39.03.01), Конфликтология (37.03.02), Социальная работа (39.03.02).
Доп.точки доступа:
Комиссарова, Н. В.
Комиссаров, В. В.
Математика. Сборник задач : учебное пособие / Комиссаров В. В. - Новосибирск : Новосибирский государственный технический университет, 2019. - 88 с. - ISBN 978-5-7782-3926-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аналитическая геометрия -- векторная алгебра -- комплексное число -- линейная алгебра -- математика -- математическая логика -- множество -- функция
Аннотация: Работа выполнена на кафедре высшей математики для студентов первого курса, обучающихся по специальностям: Регионоведение (41.03.01), Менеджмент (38.03.02), Психология (37.03.01), Социология (39.03.01), Конфликтология (37.03.02), Социальная работа (39.03.02).
Доп.точки доступа:
Комиссарова, Н. В.
14.
Подробнее
Вайнштейн, Ю. В.
Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю. В. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - ISBN 978-5-7638-4076-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- алгоритм -- логическая функция -- математическая логика -- формальная теория
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Доп.точки доступа:
Пенькова, Т. Г.
Вайнштейн, В. И.
Вайнштейн, Ю. В.
Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю. В. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - ISBN 978-5-7638-4076-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- алгоритм -- логическая функция -- математическая логика -- формальная теория
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Доп.точки доступа:
Пенькова, Т. Г.
Вайнштейн, В. И.
15.
Подробнее
Катрахова, А. А.
Спецглавы математики и их приложения к задачам электромеханики и теории управления : курс лекций / Катрахова А. А. - Воронеж : Воронежский государственный технический университет, ЭБС АСВ, 2019. - 269 с. - ISBN 978-5-7731-0802-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
дискретная математика -- задача -- математическая логика -- математическая физика -- электромеханика
Аннотация: В издании содержится теоретический материал и задачи по дисциплине «Спецглавы математики». Предназначено для студентов, обучающихся по направлениям 27.03.04 «Управление в технических системах», 13.03.02 «Электроэнергетика и электротехника» (все профили).
Доп.точки доступа:
Купцов, В. С.
Васильев, Е. М.
Катрахова, А. А.
Спецглавы математики и их приложения к задачам электромеханики и теории управления : курс лекций / Катрахова А. А. - Воронеж : Воронежский государственный технический университет, ЭБС АСВ, 2019. - 269 с. - ISBN 978-5-7731-0802-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дискретная математика -- задача -- математическая логика -- математическая физика -- электромеханика
Аннотация: В издании содержится теоретический материал и задачи по дисциплине «Спецглавы математики». Предназначено для студентов, обучающихся по направлениям 27.03.04 «Управление в технических системах», 13.03.02 «Электроэнергетика и электротехника» (все профили).
Доп.точки доступа:
Купцов, В. С.
Васильев, Е. М.
16.
Подробнее
Судоплатов, С. В.
Классификация счётных моделей полных теорий в 2 частях. Ч.1 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 376 с. - ISBN 978-5-7782-3524-3 (ч.1), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
ациклический граф -- генерическая конструкция -- детерминированный моноид -- классификация моделей -- конструкция хрушовского -- математическая логика -- полная теория -- счётная модель -- теория моделей -- характеризация эренфойхтовости
Аннотация: Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т.е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т.е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона-Фраиссé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского-Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой.
Судоплатов, С. В.
Классификация счётных моделей полных теорий в 2 частях. Ч.1 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 376 с. - ISBN 978-5-7782-3524-3 (ч.1), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
ациклический граф -- генерическая конструкция -- детерминированный моноид -- классификация моделей -- конструкция хрушовского -- математическая логика -- полная теория -- счётная модель -- теория моделей -- характеризация эренфойхтовости
Аннотация: Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т.е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т.е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона-Фраиссé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского-Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой.
17.
Подробнее
Судоплатов, С. В.
Классификация счётных моделей полных теорий в 2 частях. Ч.2 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 452 с. - ISBN 978-5-7782-3525-0 (ч.2), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
генерическая теория -- классификация моделей -- математическая логика -- полная теория -- предпорядок рудин-кейслера -- предранговая функция -- проблема гончарова-миллара -- проблема лахлана -- счётная модель
Аннотация: Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин-Кейслера в этих теориях; решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов. Для интересующихся математической логикой.
Судоплатов, С. В.
Классификация счётных моделей полных теорий в 2 частях. Ч.2 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 452 с. - ISBN 978-5-7782-3525-0 (ч.2), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
генерическая теория -- классификация моделей -- математическая логика -- полная теория -- предпорядок рудин-кейслера -- предранговая функция -- проблема гончарова-миллара -- проблема лахлана -- счётная модель
Аннотация: Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин-Кейслера в этих теориях; решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов. Для интересующихся математической логикой.
18.
Подробнее
Михальченко, Г. Е.
Математическая логика и теория алгоритмов : учебное пособие / Михальченко Г. Е. - Красноярск : Сибирский федеральный университет, 2018. - 74 с. - ISBN 978-5-7638-3932-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- алгоритм -- задача -- математическая логика -- предикат -- функция
Аннотация: Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на практических занятиях и самостоятельной работы. Предназначено для студентов направления 09.03.02 «Информационные системы и технологии», а также других направлений (09.03.04 «Программная инженерия», 27.03.03 «Системный анализ и управление», 27.03.04 «Управление в технических системах»).
Михальченко, Г. Е.
Математическая логика и теория алгоритмов : учебное пособие / Михальченко Г. Е. - Красноярск : Сибирский федеральный университет, 2018. - 74 с. - ISBN 978-5-7638-3932-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- алгоритм -- задача -- математическая логика -- предикат -- функция
Аннотация: Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на практических занятиях и самостоятельной работы. Предназначено для студентов направления 09.03.02 «Информационные системы и технологии», а также других направлений (09.03.04 «Программная инженерия», 27.03.03 «Системный анализ и управление», 27.03.04 «Управление в технических системах»).
19.
Подробнее
Алаев, П. Е.
Математическая логика. В 2 частях. Ч.1 : учебное пособие / Алаев П. Е. - Новосибирск : Новосибирский государственный университет, 2018. - 99 с. - ISBN 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1) : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебраическая система -- математическая логика -- множество -- предикат -- формула
Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.
Доп.точки доступа:
Максимова, Л. Л.
Алаев, П. Е.
Математическая логика. В 2 частях. Ч.1 : учебное пособие / Алаев П. Е. - Новосибирск : Новосибирский государственный университет, 2018. - 99 с. - ISBN 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1) : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебраическая система -- математическая логика -- множество -- предикат -- формула
Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.
Доп.точки доступа:
Максимова, Л. Л.
20.
Подробнее
Пехтерева, Л. В.
Математические методы в гуманитарных исследованиях : учебное пособие / Пехтерева Л. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 202 с. - ISBN 978-5-7782-3535-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
вектор -- гуманитарное исследование -- математика -- математическая логика -- математический метод -- матрица -- множество -- функция
Аннотация: В пособии содержится необходимый теоретический материал с подробно рассмотренными примерами задач и задания для самостоятельного решения. Для самопроверки студентам рекомендуется выполнить задачи, представленные в конце каждого раздела. Пособие предназначено для студентов направлений 38.03.02 – «Менеджмент», 37.03.01 – «Психология», 39.03.01 – «Социология», изучающих дисциплину «Математика». Может использоваться как для работы с преподавателями на занятиях, так и для самостоятельного изучения дисциплины.
Доп.точки доступа:
Исаева, Е. В.
Пехтерева, Л. В.
Математические методы в гуманитарных исследованиях : учебное пособие / Пехтерева Л. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 202 с. - ISBN 978-5-7782-3535-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
вектор -- гуманитарное исследование -- математика -- математическая логика -- математический метод -- матрица -- множество -- функция
Аннотация: В пособии содержится необходимый теоретический материал с подробно рассмотренными примерами задач и задания для самостоятельного решения. Для самопроверки студентам рекомендуется выполнить задачи, представленные в конце каждого раздела. Пособие предназначено для студентов направлений 38.03.02 – «Менеджмент», 37.03.01 – «Психология», 39.03.01 – «Социология», изучающих дисциплину «Математика». Может использоваться как для работы с преподавателями на занятиях, так и для самостоятельного изучения дисциплины.
Доп.точки доступа:
Исаева, Е. В.
Беті 2, Нәтижелерін: 51