| Найдено документов - 3 | Найти похожие: "Индекс ББК" = '22.12я7' | Версия для печати |
Сортировать по:
1. Книга
Индекс ББК: 22.12я7+22.18я7
Иванчук, Н. В.
Основы математической обработки информации. Часть 1. Лекционный и практический материал : учебное пособие / Н. В. Иванчук; Министерство науки и высшего образования Российской Федерации, Мурманский арктический государственный университет. - Мурманск : МАГУ, 2020. - 92 с. - Имеется электрон. аналог 2020 г. - Библиогр.: с. 89-90. - ISBN 978-5-4222-0430-8 : 100-00. - Текст : непосредственное.
Основы математической обработки информации. Часть 1. Лекционный и практический материал : учебное пособие / Н. В. Иванчук; Министерство науки и высшего образования Российской Федерации, Мурманский арктический государственный университет. - Мурманск : МАГУ, 2020. - 92 с. - Имеется электрон. аналог 2020 г. - Библиогр.: с. 89-90. - ISBN 978-5-4222-0430-8 : 100-00. - Текст : непосредственное.
Авторы: Иванчук Н. В.
Шифры: 22.1 - И 23
Ключевые слова: Алгебраическая логика, Математическая логика, Математическая обработка информации, Математическая статистика, Исследования математические, Информатика, Информационные технологии, Комбинаторика, Логика (математика), Теория множеств, Труды преподавателей МАГУ
Подробнее
Аннотация: Пособие предназначено для студентов I-II курсов очной и заочной форм обучения педагогических направлений МАГУ. Первая часть пособия содержит краткие теоретические сведения (основные понятия, утверждения, теоремы, формулы) по изучаемым разделам курса дисциплины "Основы математической обработки информации", которые сопровождаются примерами с решениями по рассматриваемому материалу; задачи для самостоятельного решения; вопросы для самопроверки изученного материала; примерные задания контрольной работы и итогового теста; список рекомендуемой литературы
2. Книга
Индекс ББК: 22.12я7
Судоплатов, С. В.
Математика. Математическая логика и теория алгоритмов : учебник и практикум для СПО / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд., стер. - Москва : Юрайт, 2019. - 255 с. - (Профессиональное образование). - Библиогр.: с. 358-359. - ISBN 978-5-534-10930-6 : 639-00. - Текст : непосредственное.
Математика. Математическая логика и теория алгоритмов : учебник и практикум для СПО / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд., стер. - Москва : Юрайт, 2019. - 255 с. - (Профессиональное образование). - Библиогр.: с. 358-359. - ISBN 978-5-534-10930-6 : 639-00. - Текст : непосредственное.
Авторы: Судоплатов С. В., Овчинникова Е. В.
Шифры: 22.1 - С 89
Ключевые слова: Алгоритмы, Исчисление высказываний, Логика (математика), Математическая логика, Неклассические логики, Теория алгоритмов, Элементы теории алгоритмов, Элементы теории моделей
Подробнее
Аннотация: В книге излагаются основные классические исчисления математической логики: исчисления высказываний и исчисления предикатов, а также элементы теории алгоритмов и неклассических логик. Книга предназначена для студентов технических вузов, изучающих математическую логику и теорию алгоритмов
3. Книга
Индекс ББК: 22.12я7
Гринченков, Д. В.
Математическая логика и теория алгоритмов для программистов : учеб. пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140-00.
Математическая логика и теория алгоритмов для программистов : учеб. пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140-00.
Авторы: Гринченков Д. В., Потоцкий С. И.
Шифры: 22.1 - Г 85
Ключевые слова: Булева алгебра, Логическое программирование, Математическая логика, Нечеткие множества, Теория алгоритмов, Теория множеств, Традиционная логика