Выбор БД
Тип поиска
Сортировать по:
1. Документ
bookCover
Зорин А. В.
Моделирование случайных величин и проверка гипотез о виде распределения [Электронный ресурс] : учебно-методическое пособие / А. В. Зорин, В. А. Зорин, М. А. Федоткин; Зорин А. В., Зорин В. А., Федоткин М. А. - Нижний Новгород : ННГУ им. Н. И. Лобачевского, 2017. - 19 с. - Рекомендовано методической комиссией Института ИТММ для студентов ННГУ, обучающихся по направлению подготовки 010302 «Прикладная математика и информатика». - Книга из коллекции ННГУ им. Н. И. Лобачевского - Математика.
Авторы: Зорин А. В., Зорин В. А., Федоткин М. А.
Ссылка на ресурс: https://e.lanbook.com/book/153178
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/153178.jpg
Подробнее
Аннотация: В настоящем пособии изложены методы моделирования случайных величин с заданным законом распределения дискретного и непрерывного типов. Приводятся необходимые сведения по основам статистических методов построениявыборочныхраспределенийивыборочныхчисловыххарактеристик случайных величин. Для проверки гипотезы о виде распределения предлагается критерий согласия хи-квадрат. Пособие также содержит указания по выполнению лабораторной работы и варианты заданий. Методическая разработка создана в помощь студентам высших профессиональных учебных заведений, изучающим общий курс “Теория вероятностей и математическая статистика”.
2. Документ
bookCover
Зорин А. В.
Свойства вероятности [Электронный ресурс] : учебно-методическое пособие / А. В. Зорин, В. А. Зорин, М. А. Федоткин; Зорин А. В., Зорин В. А., Федоткин М. А. - Нижний Новгород : ННГУ им. Н. И. Лобачевского, 2017. - 8 с. - Рекомендовано методической комиссией Института ИТММ для студентов ННГУ, обучающихся по направлению подготовки 010302 «Прикладная математика и информатика». - Книга из коллекции ННГУ им. Н. И. Лобачевского - Математика.
Авторы: Зорин А. В., Зорин В. А., Федоткин М. А.
Ссылка на ресурс: https://e.lanbook.com/book/153409
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/153409.jpg
Подробнее
Аннотация: В настоящем учебном пособии содержится описание лабораторной работы, знакомящей на практике с основными свойствами вероятности. Созданная для выполнения работы компьютерная программа демонстрирует свойство-вероятности как «идеальной частоты», монотонности и аддитивности вероятности, а также эффект статистической независимости событий. Пособие также содержит указания по выполнению лабораторной работы и контрольные вопросы. Лабораторная работа создано в помощь студентам высших профессиональных учебных заведений, изучающим общий курс “Теория вероятностей”.
3. Документ
bookCover
Численные методы математической статистики в пакете R [Электронный ресурс] : учебно-методическое пособие. - Нижний Новгород : ННГУ им. Н. И. Лобачевского, 2017. - 37 с. - Рекомендовано методической комиссией Института ИТММ для студентов ННГУ, обучающихся по направлениям подготовки 010302 «Прикладная математика и информатика», 020302 «Фундаментальная информатика и информационные технологии» и 090304 «Программная инженерия». - Книга из коллекции ННГУ им. Н. И. Лобачевского - Математика.
Ссылка на ресурс: https://e.lanbook.com/book/153240
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/153240.jpg
Подробнее
Аннотация: Настоящее пособие содержит базовые сведения о среде статистических вычислений R. Описаны основные типы данных и операции над ними. Приведены примеры, иллюстрирующие статистическую обработку данных как введенных пользователем, так и сгенерированных с помощью средств пакета R. Подробно описаны некоторые методы точечного оценивания неизвестных параметров распределения и их использование в пакете R. Пособие предназначено для студентов бакалавриата и магистратуры, обучающихся по направлениям подготовки «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии» и «Программная инженерия», и может быть использовано при чтении специального курса «Прикладная математическая статистика».
4. Документ
bookCover
Введение в общие цепи Маркова [Электронный ресурс] : учебно-методическое пособие / А. В. Зорин [и др.]; Зорин А. В., Зорин В. А., Пройдакова Е. В., Федоткин М. А. - Нижний Новгород : ННГУ им. Н. И. Лобачевского, 2013. - 51 с. - Рекомендовано методической комиссией факультета ВМК для студентов ННГУ, обучающихся по направлениям подготовки 010400 «Прикладная математика и информатика» и 010300 «Фундаментальная информатика и информационные технологии». - Книга из коллекции ННГУ им. Н. И. Лобачевского - Математика.
Авторы: Зорин А. В., Зорин В. А., Пройдакова Е. В., Федоткин М. А.
Ссылка на ресурс: https://e.lanbook.com/book/153134
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/153134.jpg
Подробнее
Аннотация: Настоящее пособие является введением в теорию цепей Маркова с общим измеримым пространством состояний. В нём разбираются те понятия теории общих цепей Маркова, которые имеют наглядные прообразы в теории классических счётных цепей Маркова: неприводимость, минорантные множества, цикличность, возвратность и невозвратность, стационарность. Отобранный материал применяется к одной содержательной задаче об обслуживания конфликтных транспортных потоков с последействием в классе циклических алгоритмов. Пособие предназначено для студентов, обучающихся по направлениям «Прикладная математика и информатика» и «Фундаментальная информатика и информационные технологии», и может быть использовано при чтении специальных курсов «Теория случайных процессов», «Дополнительные главы теории вероятностей», «Теория управляемых систем массового обслуживания», «Теория меры».
5. Книга
bookCover
Брюшинкин Владимир Никифорович.
Теория поиска вывода : происхождение и философские приложения / Брюшинкин Владимир Никифорович, Ходикова Нина Анатольевна; Балт. федер. ун-т им. Иммануила Канта. - Калининград : Балтийский федеральный университет им. Иммануила Канта, 2012. - 165, [1] с. - Библиогр.: с. 158-166 (128 назв.) и в подстроч. примеч. - ISBN 978-5-9971-0222-7 : 120.00.
Авторы: Брюшинкин Владимир Никифорович, Ходикова Нина Анатольевна
Шифры: В122 - Б 89
Ключевые слова: Автоматическое доказательство, Гильбертовская теория доказательств, Доказательства (мат.), История логики, Логика, Математика, Математическая логика, Научные теории, Поиск вывода, Поризмы, Происхождение научных теорий, Психология, Теория доказательств, Теория поиска вывода, Философия логики
Экземпляры: Всего: 2, из них: к3-2
Подробнее
Аннотация: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
6. Книга
bookCover
Лакатос Имре (1922-1974).
Доказательства и опровержения : как доказываются теоремы / Лакатос Имре; пер. с англ. с предисл. И. Н. Веселовского ; отв. ред. И. Б. Погребысский. - Изд. 2-е. - Москва : URSS : ЛКИ, 2010. - 150, [2] с. : ил. ; 22 см. - (Физико-математическое наследие : ФМН) (Математика (основания математики и логика)). - Библиогр. в конце кн. и в подстроч. примеч. - ISBN 978-5-382-01024-3 : 160.30.
Авторы: Лакатос Имре, Погребысский Иосиф Бенедиктович
Шифры: В122 - Л 19
Ключевые слова: Доказательства (мат.), Математика, Математическая логика, Опровержения (мат.)
Экземпляры: Всего: 2, из них: к3-2
Подробнее
Аннотация: Предлагаемая вниманию читателя книга известного английского математика И. Лакатоса (1922 -1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Рекомендуется студентам математических специальностей, а также учащимся старших классов, интересующимся математикой.
7. Документ
bookCover
Лобанов Владимир Иванович.
Русская вероятностная логика для школьников и умных академиков / Лобанов Владимир Иванович. - Москва : б. и., 2008. - 33 с. : ил., табл. - Библиогр.: с. 32 (5 назв.). - 70.00.
Шифры: В122 - Л 68
Ключевые слова: Вероятностная логика, Математическая логика, Русская вероятностная логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Документ
bookCover
Новак Вилем.
Математические принципы нечеткой логики / Новак Вилем, Перфильева Ирина, Мочкорж Иржи; пер. с англ. под ред. А. Н. Аверкина. - Москва : Физматлит, 2006. - 347 с. : ил. - Доп. тит. л. на англ. яз. - Библиогр.: с. 335-343. - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 (рус.) : 249.15.
Авторы: Новак Вилем, Перфильева Ирина, Мочкорж Иржи, Аверкин А. Н.
Шифры: В122 - Н72
Ключевые слова: Логика, Нечеткая логика
Экземпляры: Всего: 3, из них: к3-3
Подробнее
9. Документ
bookCover
Клини Стивен Коул (1909-1994).
Математическая логика / Клини Стивен Коул; С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Изд. 2-е, стер. - Москва : УРСС, 2005. - 480 с. - Перевод изд.: Mathematical logic / Stephen Cole Kleene. - Библиогр.: с. 451-465. - Авт. и предм. указ.: с. 470-478. - ISBN 5-354-01011-X : 280.00.
Авторы: Клини Стивен Коул, Гастев Ю. А., Минц Г. Е.
Шифры: В122 - К49
Ключевые слова: Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
10. Документ
bookCover
Вопенка Петр.
Альтернативная теория множеств / Вопенка Петр; Петр Вопенка ; ред. пер. Белякин Н. В. ; пер. со словац. Гамовой А. Н., Белякина Н. В. - Новосибирск : Ин-т математики, 2004. - 611 с. - Доп. тит. л. на словац. яз. - Библиогр.: с. 601-606. - ISBN 5-86134-124-9 : 120.00.
Авторы: Вопенка Петр, Гамова А. Н., Белякин Н. В.
Шифры: В126 - В74
Ключевые слова: Множества, Теория множеств
Экземпляры: Всего: 2, из них: к3-2
Подробнее
11. Документ
bookCover
Гордон Евгений Израилевич.
Инфинитезимальный анализ : [В 2 ч.]. Ч. 2 / Гордон Евгений Израилевич; Е. И. Гордон, А. Г. Кусраев, С. С. Кутателадзе; РАН. СО. Ин-т математики им. С. Л. Соболева. - Новосибирск : Ин-т математики, 2001. - 246 с. - (Нестандарт. методы анализа). - Библиогр.: с.206-241. - Указ. обозначений: с.242-243. - Предм. указ.: с.244-246. - ISBN 5-86134-097-8 : 79.80.
Авторы: Гордон Евгений Израилевич, Кусраев Анатолий Георгиевич, Кутателадзе Семен Самсонович, Решетняк Ю. Г.
Шифры: В126 - Г68
Ключевые слова: Нестандартный анализ, Нестандартные методы анализа, Инфинитезимальный анализ, Математический анализ
Экземпляры: Всего: 1, из них: к3-1
Подробнее
12. Документ
bookCover
Лексаченко Валентин Александрович.
Логика. Множества. Вероятность / Лексаченко Валентин Александрович; В. А. Лексаченко. - Москва : Вузовская книга, 2001. - 128 с. : табл. - Библиогр.: с.126. - ISBN 5-89522-134-3 : 64.50.
Шифры: В122 - Л43
Ключевые слова: Математическая логика, Математическая статистика, Множества, Случайные процессы (мат.), Теория вероятностей, Теория множеств
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Документ
bookCover
Карпенко Александр Степанович.
Логики Лукасевича и простые числа / Карпенко Александр Степанович; А. С. Капрпенко ; [отв. ред. В. К. Финн ; РАН, Ин-т философии]. - Москва : Наука, 2000. - 318,[1] с. - Библиогр.: с.283-308. - Имен. указ.: с.309-313. - ISBN 5-02-013048-6 : 22.00.
Авторы: Карпенко Александр Степанович, Финн В. К.
Шифры: В122 - К26
Ключевые слова: Многозначные логики, Математическая логика, Логики Лукасевича, Лукасевич, Числа, Простые числа
Экземпляры: Всего: 2, из них: к3-2
Подробнее
14. Документ
bookCover
Секей Габор.
Парадоксы в теории вероятностей и математической статистике [Электронный ресурс] / Секей Габор; пер. с англ. В. В. Ульянова ; под ред. В. В. Сазонова. - Ижевск : Ин-т компьютер. исслед., 2000. - 271, [1] с. : ил. - Доп. тит. л. англ. - Извлечено из: Теория вероятностей. Ч. 2. - 2004. - (Электронная библиотека).
Авторы: Секей Габор, Сазонов В. В., Ульянов В. В.
Шифры: В171 - Т33
Ключевые слова: Теория вероятностей, АВМ, CD-ROM, Математическая статистика, Теория графов, Комбинаторный анализ
Подробнее
15. Документ
bookCover
Верещагин Н. К.
Языки и исчисления : Лекции по мат. логике и теории алгоритмов / Н. К. Верещагин; Н. К. Верещагин, А. Шень. - Москва : МЦНМО, 2000. - 286 с. - На обл. загл. сер.: Математическая логика и теория алгоритмов. - Библиогр.: с.269-272. - Предм., имен. указ.: с.273-284. - ISBN 5-900916-66-9 : 27.00.
Авторы: Верещагин Н. К., Шень Александр Ханьевич
Шифры: В122 - В31
Ключевые слова: Математическая логика, Языки первого порядка, Логические языки, Исчисления первого порядка, Логические исчисления
Экземпляры: Всего: 1, из них: к3-1
Подробнее
16. Документ
bookCover
Lakatos Imre.
Proofs and refutations : the logic of mathematical discovery / Lakatos Imre; Imre Lakatos; ed. by John Worrall and Elie Zahar. - Cambridge : Cambridge university press, 1999. - XII, 174 p. ; 22 cm. - Bibliogr.: p. 155-165. - Ind.: p. 167-174. - ISBN 0-521-29038-8 : 1131.39.
Авторы: Lakatos Imre, Worrall John, Zahar Elie
Шифры: Ю424 - L18
Ключевые слова: Логика, Доказательство, Опровержение, Математическая логика, Оксфордско-Российский фонд
Экземпляры: Всего: 1, из них: к9-1
Подробнее
17. Документ
bookCover
Верещагин Н.К.
Начала теории множеств / Н. К. Верещагин, А. Шень; Н.К. Верещагин, А. Шень. - Москва : МЦНМО, 1999. - 126,[1] с. : ил. - (Лекции по мат. логике и теории алгоритмов) ( ; 1). - Библиогр.: с.121-122. - Указ. предм., имен.: с.123-127. - ISBN 5-900916-36-7 : 7.94.
Авторы: Верещагин Н.К., Шень А
Шифры: В126 - В31
Ключевые слова: Множества, Теория множеств, Наивная теория множеств
Экземпляры: Всего: 1, из них: к3-1
Подробнее
18. Документ
bookCover
Chagrov Alexander.
Modal logic / Chagrov Alexander, Zakharyaschev Michael; Alexander Chagrov, Michael Zakharyaschev; Inst. of Appl. Mathematics Russ. Acad. of sci. - Oxford : Clarendon press, 1997. - XV, [1], 605 p. : Il. - (Oxford logic guides) ( ; 35). - Bibliogr.: p.567-595. - Ind.: p.597-605. - ISBN 0-19-853779-4 : 55000.00.
Авторы: Chagrov Alexander, Zakharyaschev Michael
Шифры: В122 - C43
Ключевые слова: Модальные логики
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Документ
bookCover
Пивкин В.Я.
Нечеткие множества в системах управления : Метод. пособие / В. Я. Пивкин, Е. П. Бакулин, Д. И. Кореньков; В.Я. Пивкин, Е.П. Бакулин, Д.И. Кореньков; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. ; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. - Новосибирск, 1997. - 51,[1] с. : ил. - Библиогр.: с. 52. - 5.00.
Авторы: Пивкин В.Я, Бакулин Е.П., Кореньков Д.И.
Шифры: В186 - П32
Ключевые слова: Нечеткие множества, Управляющие системы, Принятие решений, Системы управления, Нечеткие системы управления, Системы с нечеткой логикой
Экземпляры: Всего: 1, из них: к3-1
Подробнее
20. Документ
bookCover
Петросян Вадим Кармленович.
Общий кризис теоретико-множественной математики и пути его преодоления : версия 1.0 / Петросян Вадим Кармленович; В. К. Петросян ; Фонд филос. инициативы "Апейрон", Ин-т истории естествознания и техники РАН. - Науч. изд. - Москва : Янус-К, 1997. - 143 с. - Библиогр.: с.139-141. - ISBN 5-88929-047-9 : 8000.00.
Шифры: В126 - П31
Ключевые слова: Множества, Теория множеств
Экземпляры: Всего: 2, из них: к3-2
Подробнее