Логотип Информационно-коммуникационные технологии в образовании
Система федеральных образовательных порталов
Предметная область » 2. Математич. и алгоритмич. основы программирования »
2.1. Дискретные структуры 7
2.2. Структуры и алгоритмы обработки данных 23
2.3. Теория языков программирования и методы трансляции 9

поиск интернет-ресурсов
Аудитория »
Предметная область » 2. Математич. и алгоритмич. основы программирования »
Типы интернет-ресурсов »
Уровень образования »
Строка поиска:     Искать:   в выбранных разделах в названии в аннотации в адресе (URL)
Сортировать по:     записей:      показывать аннотацию
Введение в математическое программирование. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/mathematics/mathprog/
Курс рассматривает задачи математического моделирования, их признаки и свойства, а также целесообразность и область применения. Вводятся понятия математического программирования, задач математического программирования. Рассматриваются такие разделы математического программирования как линейное и нелинейное программирование, формулируются виды задач линейного и нелинейного программирования, приводятся наиболее распространённые методы решения данных задач. В курсе рассмотрены вопросы, связанные с математическим моделированием, с формой и принципом представления математических моделей, особенностями её построения; в частности, предложены такие подходы, как фундаментальные законы природы, вариационные принципы, применение аналогий, иерархический подход; затронуты вопросы оснащённости и численной реализации математических моделей.
Введение в схемы, автоматы и алгоритмы. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/ds/introsaa/
Курс знакомит с двумя представлениями булевых функций с помощью специальных классов ориентированных графов без циклов: логическими схемами (схемами из функциональных элементов) и упорядоченными бинарными диаграммами решений (УБДР). Изложены основы теории конечных автоматов: конечные автоматы-преобразователи и -распознаватели, детерминированные автоматы и языки, недетерминированные автоматы и их детерминизация, регулярные выражения и языки, синтез конечного автомата по регулярному выражению, замкнутость класса автоматных языков относительно разных операций, теорема о разрастании для автоматных языков, примеры неавтоматных языков. Дается краткое введение в теорию алгоритмов, сравниваются три формальных модели описания алгоритмов: структурированные программы, частично рекурсивные функции и машины Тьюринга, формулируется тезис Тьюринга-Черча и устанавливается алгоритмическая неразрешимость ряда проблем, относящихся к свойствам структурированных программ
Введение в теорию программирования. Функциональный подход. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/se/tppfunc/
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий. Автор курса - Зыков С.В., доцент Московского инженерно-физического института, руководитель совместного проекта Microsoft Research и МИФИ "Современные языки программирования и computer science". Курс состоит из 12-ти лекций и доступен для онлайнового изучения в Интернет-университете информационных технологий. По результатам успешного прохождения учебного курса (выполнения контрольных тестов) слушателям выдается удостоверение. Возможно скачать архив лекций курса на свой компьютер и изучать его без подключения к Интернет.
Графы и алгоритмы. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/algorithms/gaa/
Курс посвящен алгоритмам на графах. Приводятся базовые понятия и факты из теории графов и излагаются некоторые алгоритмы для решения задач на графах.
Графы и их применение. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/algorithms/graphsuse/
В курсе излагаются основные понятия теории графов. Описаны методы решения задач. Сделана попытка, в популярной форме познакомить читателя с некоторыми приложениями теории графов. Материал организован так, что знакомство с графами происходит в процессе решения самых разнообразных задач, в формулировках условий которых не упоминаются графы. Для решения их требуется увидеть возможность перевести условие на язык графов, решить задачу внутри теории графов, интерпретировать получение решение в исходных терминах. Если в начале курса рассматриваются приложения частного характера, иллюстрирующие теорию графов и ее связь с жизнью, то вторая половина книги посвящена прикладным разделам теории графов, имеющим практическое значение в экономике и управлении.
Дискретная математика / В.А. Петухин
http://www.isu.ru/~slava/do/disc/curshome.htm
Электронный учебник по курсу "Дискретная математика". В курсе изучаются фундаментальные понятия, лежащие в основе математической кибернетики и таких разделов математики как алгебра, теория графов, математическая логика. Разделы курса: Алгебраические системы; Графы; Булевы функции; Математическая логика. Учебник включает задачи, примеры, экзаменационные вопросы, рабочую программу курса. Автор - В.А. Петухин, доцент кафедры Алгебры, логики и кибернетики Иркутского государственного университета.
Дискретная математика. Курс ДО Ростовского колледжа связи и информатики
http://do.rksi.ru/library/courses/discr/
Учебный курс подготовлен в Ростовском колледже связи и информатики и размещен в системе дистанционного обучения. Курс включает разделы: Элементы логики; Элементы теории и практики кодирования; Теория графов; Элементы теории автоматов. Свободный доступ предоставляется к теоретическому материалу - текстам отдельных разделов электронного учебника, а доступ к тестам, практическим, контрольным и лабораторным работам возможен только после регистрации в системе.
Дискретная математика: алгоритмы
http://rain.ifmo.ru/cat/
Проект Computer Algorithm Tutor (CAT) направлен на информационно-методическую поддержку цикла учебных курсов, которые читаются студентам кафедры компьютерных технологий СПбГУ ИТМО. Имеется раздел с теоретическими сведениями (комбинаторика, графы, процессы и автоматы и другие темы). Обширная библиография (выходные данные книг и издательские аннотации). Ссылки на интернет-ресурсы по теме сайта. Основный интерес представляет раздел "Визуализаторы", включающий включающий более сотни интерактивных демонстрационных версий алгоритмов (задачи на графах, кодирование, сортировка, комбинаторика, сжатие данных и др.) с описаниями интерфейсов и алгоритмов. Визуализаторы разработаны студентами СПбГУ ИТМО (2000-2004 гг.). Руководитель проекта - Столяр С.Е., преподаватель кафедры КТ СПбГУ ИТМО и учитель лицея "Физико-техническая школа" при ФТИ им. А.Ф.Иоффе РАН.
Журнал "Вычислительные технологии"
http://www.ict.nsc.ru/win/mathpub/comp-tech/
Журнал "Вычислительные технологии" публикует обзорные и оригинальные статьи по следующим разделам информатики и прикладной математики: математическое моделирование; вычислительные технологии; информационные технологии. Статьи публикуются на русском или английском языках. Периодичность - 6 номеров в год. В архиве представлены выпуски, начиная с 1996 года. На сайте доступны содержания выпусков с аннотациями статей и сведения об авторах. Имеется поисковая система с контекстно-атрибутным поиском публикаций.
Журнал "Перспективные информационные технологии и интеллектуальные системы"
http://pitis.tsure.ru
Отечественный теоретический и научно-методический журнал, выходящий один раз в квартал, публикует теоретические и научно-методические работы, статьи о выдающихся ученых, освещает работу конференций, рецензирует учебники и монографии по тематике журнала. Журнал включает три основных тематических раздела: Интеллектуальные системы, Перспективные информационные технологии, Проблемы инновационного образования. Архив содержит электронные версии всех выпусков, начиная с 2000 года - оглавления и полные тексты статей в формате PDF.
[< << |1| |2| |3| |4| |5| >> >]
Rambler's Top100
© 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций (ФГАУ ГНИИ ИТТ "Информика")