Добро пожаловать!

Вход на сайт

Внимание! Новости из категории "Комиксы 18+" , "Журналы 18+" и "Фильмы 18+" на главной странице не публикуются.

Компьютерное моделирование логических процессов

Автор: natagu Дата: 13-09-2020, 05:21 Категория: Информатика, Мат. и алгебра

Компьютерное моделирование логических процессов

Для изучения в качестве эталонной интеллектуальной системы выбран «Решатель задач», разрабатываемый в настоящее время кафедрой математической теории интеллектуальных систем механико-математического факультета Московского государственного университета им. М.В. Ломоносова под руководством д.ф.-м.н., проф. А.С. Подколзина.
Формат: djvu
Размер: 14,3 Мб

Просмотров: 27 Отзывы: 0 Скачать..

Первое знакомство с математической логикой

Автор: natagu Дата: 9-09-2020, 06:20 Категория: Книги » Фунд. дисциплины » Мат. и алгебра

Первое знакомство с математической логикой

Математическая логика — это наука, изучающая математические доказательства. Математическая логика является особой ветвью общей логики, развивающеюся применительно к потребностям математики.
Формат: djvu
Размер: 15,3 Мб

Просмотров: 35 Отзывы: 0 Скачать..

Компьютерная алгебра. Часть I. Дискретная математика, теория алгоритмов

Автор: natagu Дата: 6-09-2020, 14:56 Категория: Информатика, Мат. и алгебра

Компьютерная алгебра. Часть I. Дискретная математика, теория алгоритмов

Основные цели, преследуемые в этом пособии: пополнить запас примеров нетривиальных алгоритмов; познакомить с максимально широким кругом понятий дискретной математики; сообщить необходимые конкретные сведения из дискретной математики, предусматриваемые стандартной программой технических высших учебных заведений.
Формат: djvu
Размер: 12,6 Мб

Просмотров: 39 Отзывы: 0 Скачать..

Основы теории обработки биомедицинских сигналов

Автор: natagu Дата: 23-08-2020, 15:59 Категория: Мат. и алгебра , Медицина

Основы теории обработки биомедицинских сигналов

Цель освоения курса «Основы теории обработки биомедицинских сигналов» - это дать студентам необходимые знания по основным требованиям к специализированным системам статистической обработки медико-биологической информации; способам статистической классификации биомедицинских сигналов и данных; основам статистических методов анализа биомедицинских сигналов и данных.
Формат: djvu
Размер: 12,0 Мб

Просмотров: 56 Отзывы: 0 Скачать..


russkie-seriali.com

Бесконечные антагонистические игры. Сборник статей

Автор: natagu Дата: 21-08-2020, 06:29 Категория: Книги » Фунд. дисциплины » Мат. и алгебра

Бесконечные антагонистические игры. Сборник статей

Исторически антагонистические игры являются первым классом математических моделей теории игр, при помощи которых описывались азартные игры. Считается, что благодаря этому предмету исследования теория игр и получила своё название.
Формат: djvu
Размер: 22,1 Мб

Просмотров: 41 Отзывы: 0 Скачать..

Вычислимо перечислимые множества и степени

Автор: natagu Дата: 5-08-2020, 08:32 Категория: Книги » Фунд. дисциплины » Мат. и алгебра

Вычислимо перечислимые множества и степени

В своей статье "On computable numbers, with an application to the entscheidungsproblem", вышедшей в ноябре 1936 г., Алан Тьюринг описал модель "машины", не затрагивая каких-либо практических аспектов реализации.
Формат: djvu
Размер: 24,3 Мб

Просмотров: 53 Отзывы: 0 Скачать..

Сложность вычислений

Автор: natagu Дата: 3-08-2020, 09:07 Категория: Информатика, Мат. и алгебра

Сложность вычислений

Математик, программист и специалист в области вычислительных машин сможет из первых рук ознакомиться с обладающими немалой глубиной идеями автора, касающимися применения теории сложности к анализу и проектированию вычислительных процессов и систем.
Формат: djvu
Размер: 21,2 Мб

Просмотров: 48 Отзывы: 0 Скачать..

Математические модели в здравоохранении

Автор: natagu Дата: 30-07-2020, 06:22 Категория: Мат. и алгебра , Медицина

Математические модели в здравоохранении

Во многих случаях математическое моделирование является мощным средством, с помощью которого можно выполнить значительный объём разнообразных и достаточно сложных медицинских исследований, а врач может получить хорошего помощника.
Формат: djvu
Размер: 14,6 Мб

Просмотров: 57 Отзывы: 0 Скачать..

Вокруг теоремы Геделя

Автор: natagu Дата: 24-07-2020, 05:25 Категория: Книги » Фунд. дисциплины » Мат. и алгебра

Вокруг теоремы Геделя

Издание может использоваться в качестве учебного пособия по курсу математической логики, как вторая его часть - после изучения исчисления высказываний и исчисления предикатов.
Формат: djvu
Размер: 17,00 Мб

Просмотров: 47 Отзывы: 0 Скачать..

Трехзначные семантики для классической логики высказываний

Автор: natagu Дата: 18-07-2020, 05:58 Категория: Книги » Фунд. дисциплины » Мат. и алгебра

Трехзначные семантики для классической логики высказываний

При изучении многозначных логик понятие функции является основным и наряду с булевыми функциями (функциями двузначной логики) используется для описания дискретных устройств, компоненты которых могут находиться в некотором числе различных состояний.
Формат: djvu
Размер: 14,5 Мб

Просмотров: 70 Отзывы: 0 Скачать..


russkie-seriali.com

Поиск - Первозванский А.А.

Автор: natagu Дата: 9-07-2020, 09:16 Категория: Информатика, Мат. и алгебра

Поиск - Первозванский А.А.

Эта книга — по своим целям учебник, поскольку автору хотелось не только и не столько возбудить в читателе интерес к научным проблемам, но и дать ему возможность вкусить от плодов науки, обучив некоторым основным методам и приемам.
Формат: djvu
Размер: 11,42 Мб

Просмотров: 82 Отзывы: 0 Скачать..

Введение в вычислимость

Автор: natagu Дата: 9-07-2020, 05:45 Категория: Информатика, Мат. и алгебра

Введение в вычислимость

Задача этого учебника — дать хорошее интуитивное понимание математического понятия алгоритма и служить введением для дальнейшего изучения других руководств по теории алгоритмов, а также служить методологической основой для изучения других предметов, таких, как, например, теоретическое программирование.
Формат: djvu
Размер: 15,5 Мб

Просмотров: 84 Отзывы: 0 Скачать..

Алгоритмическое обеспечение сложных систем управления

Автор: natagu Дата: 2-07-2020, 06:02 Категория: Информатика, Мат. и алгебра , Программирование

Алгоритмическое обеспечение сложных систем управления

При формализации сложных процессов и явлений во многих прикладных областях возникают задачи, в которых число переменных и связей измеряется сотнями и даже многими тысячами, что практически затрудняет использование ЭВМ в задачах анализа и синтеза сложных систем.
Формат: djvu
Размер: 13,7 Мб

Просмотров: 89 Отзывы: 0 Скачать..

Задачи линейного программирования транспортного типа

Автор: natagu Дата: 29-06-2020, 04:54 Категория: Информатика, Мат. и алгебра

Задачи линейного программирования транспортного типа

В настоящее время среди математических методов планирования наиболее разработанными являются методы линейного программирования. Слово «программирование» показывает, что эти математические методы применяют для планирования, т. е. для составления программы (плана).
Формат: djvu
Размер: 21,8 Мб

Просмотров: 76 Отзывы: 0 Скачать..

Игровые задачи о встрече движений

Автор: natagu Дата: 23-06-2020, 04:56 Категория: Книги » Фунд. дисциплины » Мат. и алгебра

Игровые задачи о встрече движений

В этой книге речь идет прежде всего об игровом сближении объектов, собственная динамика которых описывается обыкновенными линейными дифференциальными уравнениями. Следует, однако, заметить, что законы оптимального управления, вытекающие из условий игры, как правило, оказываются нелинейными. Поэтому обсуждаемые в книге задачи можно рассматривать как задачи из нелинейной механики.
Формат: djvu
Размер: 20,3 Мб

Просмотров: 86 Отзывы: 0 Скачать..

Алгоритмы решения оптимизационных задач на сетях

Автор: natagu Дата: 20-06-2020, 14:54 Категория: Информатика, Мат. и алгебра

Алгоритмы решения оптимизационных задач на сетях

Развитие теории графов связано с большим числом всевозможных приложений, графы занимают одно из первых мест в качестве формальных моделей реальных систем во всех отраслях научных знаний: физике, биологии, химии, математике, истории, лингвистике, социальных науках, технике и т.п.
Формат: djvu
Размер: 21,9 Мб

Просмотров: 103 Отзывы: 0 Скачать..


russkie-seriali.com

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов

Автор: natagu Дата: 31-05-2020, 07:01 Категория: Информатика, Мат. и алгебра

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов

Учитывая, что книга посвящена математической логике и особенно теории алгоритмов, автор надеется, что содержанием книги заинтересуется широкий круг читателей, в том числе и те, которые преподают математическую логику, теорию алгоритмов или теорию программирования, а также специалисты в области теории субрекурсивных алгоритмов, ее использования и применения.
Формат: djvu
Размер: 15,9 Мб

Просмотров: 110 Отзывы: 0 Скачать..

Синтетическая вычислимость

Автор: natagu Дата: 31-05-2020, 05:07 Категория: Книги » Фунд. дисциплины » Мат. и алгебра

Синтетическая вычислимость

Функция называется вычислимой, если существует вычисляющий её алгоритм. Вычислимость является одним из основных понятий теории алгоритмов, инвариантным к вычисляемой функции и алгоритму.
Формат: djvu
Размер: 12,5 Мб

Просмотров: 98 Отзывы: 0 Скачать..

Нормы матриц и их приложения

Автор: natagu Дата: 19-05-2020, 06:42 Категория: Книги » Фунд. дисциплины » Мат. и алгебра

Нормы матриц и их приложения

Норму матрицы используют в качестве оценочной величины для анализа изменяемости матрицы в каком-либо расчетном процессе или совокупности нескольких матриц.
Формат: djvu
Размер: 12,7 Мб

Просмотров: 119 Отзывы: 0 Скачать..

Математические модели эпидемий

Автор: natagu Дата: 3-05-2020, 05:35 Категория: Мат. и алгебра , Медицина

Математические модели эпидемий

В зависимости от того, насколько глубоко описываемые в математических терминах показатели характеризуют эпидемический процесс, различают несколько классов моделирования: формальную апроксимацию; формальную экстраполяцию; содержательное моделирование эпидемического процесса с дискретным или непрерывным течением.
Формат: djvu
Размер: 10,7 Мб

Просмотров: 137 Отзывы: 0 Скачать..