Все | Текст | Видео |

Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 465 / 0
Авторы: Борис Бояршинов | Московский государственный гуманитарный университет имени М.А. Шолохова
Рассматриваются машина Тьюринга, теория конечных автоматов, формальные системы и грамматики, логика и исчисление предикатов.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 303 / 0
Авторы: Борис Бояршинов, Олег Кузнецов | Московский государственный гуманитарный университет имени М.А. Шолохова
В практикуме рассматриваются формальные системы и грамматики, исчисление высказываний и предикатов, построение предикатов и их представление в нормальной форме.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 485 / 0
Курс будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Курс может быть использован на кружковых и факультативных занятиях в общеобразовательных…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 284 / 0
Авторы: Борис Бояршинов | Московский государственный гуманитарный университет имени М.А. Шолохова
Дается введение в теорию конечных и численных автоматов, автоматов Мили, изучаются их алгоритмические возможности и сети Петри.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 3068 / 549
ISBN: 978-5-94774-818-5
Нашей целью является обеспечение достаточно конкретной информацией, без углубления в сложные математические описания, чтобы слушатель мог понять основные идеи и возможности этого направления.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 531 / 42
Изложение рассчитано на учеников математических школ, студентов математиков и всех интересующихся основами теории алгоритмов. Книга включает себя много задач различной трудности.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 3170 / 266
Авторы: Михаил Дехтярь | Тверской государственный университет
ISBN: 978-5-9556-0110-6
Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества ("законы логики"), дизъюнктивные…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1331 / 458
Авторы: Алексей Лобанов | Московский физико-технический институт
Рассмотрены задачи численного дифференцирования и интегрирования, задача интерполяции, прямые и итерационные методы решения систем линейных алгебраических уравнений, Рассмотрены численные методы…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 385 / 13
Авторы: Александр Холодов | Московский физико-технический институт
Поскольку курс в целом ориентирован на методы решения нелинейных дифференциальных уравнений в частных производных, характерной чертой которых являются разрывные решения (для уравнений…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 3282 / 1970
Авторы: Виктор Афонин, Сергей Федосин | Мордовский государственный университет имени Н.П. Огарева
ISBN: 978-5-9963-0352-6
Данный курс охватывает следующие разделы: системы массового обслуживания (многофазные и многоканальные системы обслуживания), статистическое моделирование на ЭВМ (включая метод Монте-Карло,…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1477 / 156
Авторы: Дмитрий Ватолин | Московский государственный университет имени М.В.Ломоносова
В курсе освещаются темы: сжатие без потерь, сжатие с потерями, сжатие аудио, сжатие изображений, сжатие и обработка видео.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 113 / 0
Авторы: Сергей Абрамов | Университет города Переславля им. А. К. Айламазяна
Суперкомпилятор позволяет по заданной программе p вычислять ее эффективную версию pcls, специализированную под случай, когда входные данные d не произвольные, а берутся из некоторого множества…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 110 / 0
Авторы: Сергей Абрамов | Университет города Переславля им. А. К. Айламазяна
Универсальный решающий алгоритм (УРА) позволяет вычислять программы «в обратном направлении»: для заданной программы p и заданного результата r вычислять представление для множества тех входных…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 2481 / 1001
Авторы: Анна Пентус, Мати Пентус | Московский государственный университет имени М.В.Ломоносова
ISBN: 978-5-9556-0062-8
Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 5106 / 2795
Значительная часть курса посвящена имитационному статистическому моделированию. Рассматриваются инструментальные средства системы моделирования GPSS World и методы их использования в широком наборе…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1940 / 93
Авторы: Нина Костюкова | Новосибирский Государственный Университет
Курс описывает различные способы представлений конечных последовательностей и операций над ними; множества и мультимножества; производящие функции и рекуррентные соотношения; абстрактные структуры…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 834 / 7
Авторы: Олег Кузнецов | Московский государственный гуманитарный университет имени М.А. Шолохова
Рассматриваются традиционные задачи на сочетания, перечисления, выборки, размещения, перестановки и другие. Решаются задачи с применением бинома Ньютона, рассказывается об арифметическом треугольнике…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 526 / 49
Авторы: Юрий Сердюк
В частности, для изучения программирования и отладки приложений на основе MPI, предполагается использование Windows Compute Cluster Server 2003 и Visual Studio 2005. Высокоуровневый язык…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 611 / 26
Авторы: Михаил Вялый, Александр Шень | Московский государственный университет имени М.В.Ломоносова
Вначале приводится краткое введение в классическую теорию сложности вычислений. Затем подробно излагаются основы теории квантовых вычислений, включая описание основных известных к настоящему…
1  |  2  |  3  |  4