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

Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 390 / 0
Авторы: Борис Бояршинов | Московский государственный гуманитарный университет имени М.А. Шолохова
Рассматриваются машина Тьюринга, теория конечных автоматов, формальные системы и грамматики, логика и исчисление предикатов.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 266 / 0
Авторы: Борис Бояршинов | Московский государственный гуманитарный университет имени М.А. Шолохова
В практикуме рассматриваются формальные системы и грамматики, исчисление высказываний и предикатов, построение предикатов и их представление в нормальной форме.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 456 / 0
Курс будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Курс может быть использован на кружковых и факультативных занятиях в общеобразовательных…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 243 / 0
Авторы: Борис Бояршинов | Московский государственный гуманитарный университет имени М.А. Шолохова
Дается введение в теорию конечных и численных автоматов, автоматов Мили, изучаются их алгоритмические возможности и сети Петри.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 738 / 5
Авторы: Борис Бояршинов | Московский государственный гуманитарный университет имени М.А. Шолохова
Рассматриваются традиционные задачи на сочетания, перечисления, выборки, размещения, перестановки и другие. Решаются задачи с применением бинома Ньютона, рассказывается об арифметическом треугольнике…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 383 / 0
Авторы: Борис Бояршинов | Московский государственный гуманитарный университет имени М.А. Шолохова
Даются основные понятия алгебры и математической логики, решаются задачи с булевыми функциями. Рассказывается об алгебре Жегалкина, нормальных формах, классах Поста и предикатах.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 2912 / 459
ISBN: 978-5-94774-818-5
Нашей целью является обеспечение достаточно конкретной информацией, без углубления в сложные математические описания, чтобы слушатель мог понять основные идеи и возможности этого направления.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 470 / 35
Изложение рассчитано на учеников математических школ, студентов математиков и всех интересующихся основами теории алгоритмов. Книга включает себя много задач различной трудности.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 2793 / 103
Авторы: Михаил Дехтярь | Тверской государственный университет
ISBN: 978-5-9556-0110-6
Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества ("законы логики"), дизъюнктивные…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 991 / 193
Авторы: Алексей Лобанов | Московский физико-технический институт
Рассмотрены задачи численного дифференцирования и интегрирования, задача интерполяции, прямые и итерационные методы решения систем линейных алгебраических уравнений, Рассмотрены численные методы…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 357 / 7
Авторы: Александр Холодов | Московский физико-технический институт
Поскольку курс в целом ориентирован на методы решения нелинейных дифференциальных уравнений в частных производных, характерной чертой которых являются разрывные решения (для уравнений…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 2609 / 1392
Авторы: Виктор Афонин, Сергей Федосин | Мордовский государственный университет имени Н.П. Огарева
ISBN: 978-5-9963-0352-6
Данный курс охватывает следующие разделы: системы массового обслуживания (многофазные и многоканальные системы обслуживания), статистическое моделирование на ЭВМ (включая метод Монте-Карло,…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1342 / 88
Авторы: Дмитрий Ватолин | Московский государственный университет имени М.В.Ломоносова
В курсе освещаются темы: сжатие без потерь, сжатие с потерями, сжатие аудио, сжатие изображений, сжатие и обработка видео.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 98 / 0
Авторы: Сергей Абрамов | Университет города Переславля им. А. К. Айламазяна
Суперкомпилятор позволяет по заданной программе p вычислять ее эффективную версию pcls, специализированную под случай, когда входные данные d не произвольные, а берутся из некоторого множества…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 98 / 0
Авторы: Сергей Абрамов | Университет города Переславля им. А. К. Айламазяна
Универсальный решающий алгоритм (УРА) позволяет вычислять программы «в обратном направлении»: для заданной программы p и заданного результата r вычислять представление для множества тех входных…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1748 / 339
Авторы: Анна Пентус, Мати Пентус | Московский государственный университет имени М.В.Ломоносова
ISBN: 978-5-9556-0062-8
Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 3430 / 1646
Значительная часть курса посвящена имитационному статистическому моделированию. Рассматриваются инструментальные средства системы моделирования GPSS World и методы их использования в широком наборе…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1832 / 87
Авторы: Нина Костюкова | Новосибирский Государственный Университет
Курс описывает различные способы представлений конечных последовательностей и операций над ними; множества и мультимножества; производящие функции и рекуррентные соотношения; абстрактные структуры…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 504 / 42
Авторы: Юрий Сердюк
В частности, для изучения программирования и отладки приложений на основе MPI, предполагается использование Windows Compute Cluster Server 2003 и Visual Studio 2005. Высокоуровневый язык…
1  |  2  |  3  |  4
Антон Коновалов
Антон Коновалов

В настоящее время актуальный стандарт - это POSIX 2008 и его дополнение POSIX 1003.13
Планируется ли актуализация материалов данного очень полезного курса?

Павел Храмцов
Павел Храмцов
Россия
Денис Комаров
Денис Комаров
Россия, Москва