Документ взят из кэша поисковой машины. Адрес оригинального документа : http://math.chem.msu.ru/Lists/BK_Body/Allitemsg.aspx
Дата изменения: Unknown
Дата индексирования: Sat Apr 9 22:44:18 2016
Кодировка: UTF-8
BK_Body
Эмблема Домашняя страница   Документы и списки   Создать   Параметры узла   Справка   
Значок
ФУНДАМЕНТАЛЬНАЯ ИНФОРМАТИКА
BK_Body
 
Выберите представление
Все элементы
BK_Body
  		 
Действия
  Оповещать меня
  Экспорт в электронную таблицу
  Изменить настройки и столбцы
  		 
Создать Создать элемент
|
Фильтр Фильтр
|
Изменить в таблице данных Изменить в таблице данных
 
pФильтрcodeначбазуглSection
Язык наивной теории множеств. Множества и отображения (функции).
MT1.1
ДаНетНетMT1
Аксиоматика Цермело-Френкеля. Натуральные числа, аксиомы Пеано.
MT1.2
ДаНетНетMT1
Множества и классы, аксиоматика Геделя-Бернайса-Неймана.
MT1.З
НетНетНетMT1
Отношения. Композиция отношений. Отношения эквивалентности и порядка.
MT1.4
ДаНетНетMT1
Упорядоченные множества.
MT1.5
ДаДаДаMT1
Булевы алгебры.
MT1.6
ДаДаДаMT1
Наивное понятие об алгоритме (i). Примеры классических алгоритмов (алгоритм деления с остатком (i), алгоритм Евклида (i), схема Горнера (функции на последовательностях) (i), быстрое возведение в степень (i), сортировка, поиск (i), метод Ньютона и другие алгоритмы нахождения корней многочленов (i), алгоритмы арифметики (достаточные условия простоты (i), малая теорема Ферма (i), теорема Эйлера, вероятностные тесты простоты (i), непрерывные дроби (i), факторизация (i), китайская теорема об остатках (i)), метод Гаусса (i), результант (b), симплекс-метод (i), интегрирование рациональных функций (i)).
MT2.1
ДаДаНетMT2
Понятие алгоритма (i). Машины Тьюринга и Поста (i). Тезис Черча (b).
MT2.2
ДаДаНетMT2
Алгоритмы на графах.
MT2.З
ДаДаДаMT2
Символьные вычисления. Алгоритмы компьютерной алгебры (логики, геометрии).
MT2.4
НетНетНетMT2
Алгоритмы кодирования, криптографии.
MT2.5
НетНетНетMT2
Алгоритмы параллельных вычислений.
MT2.6
НетНетНетMT2
Квантовые алгоритмы.
MT2.7
НетНетНетMT2
Сложность алгоритмов, сложность алгебраических алгоритмов.
MT2.8
ДаДаДаMT2
NР-полнота.
MT2.9
НетДаНетMT2
Эффективная вычислимость. Нормальные алгоритмы Маркова. Алгоритмы Тьюринга. Вычислимость по Эрбрану-Геделю. Рекурсивно-перечислимые множества. Алгоритмические проблемы, примеры неразрешимых проблем. Вычислимая теория категорий.
MT2.10
НетНетНетMT2
Погрешность.
MT3.1
ДаНетНетMT3
Интерполяция, экстраполяция.
MT3.2
ДаДаНетMT3
Численное дифференцирование.
MT3.3
ДаДаНетMT3
Численное интегрирование.
MT3.4
ДаДаДаMT3
Аппроксимация функций.
MT3.5
ДаДаДаMT3
Преобразования Фурье.
MT3.6
НетДаНетMT3
Вычислительные методы линейной алгебры.
MT3.7
ДаДаДаMT3
Численные методы решения дифференциальных уравнений (обыкновенных и в частных производных).
MT3.8
НетДаНетMT3
Численные методы решения интегральных уравнений.
MT3.9
НетНетНетMT3
Логика высказываний. Исчисление высказываний. Логика предикатов.
MT4.1
ДаДаДаMT4
Языки первого и высших порядков.
MT4.2
НетДаДаMT4
Логические законы.
MT4.З
ДаДаДаMT4
Нормальные формы формул.
MT4.4
НетДаДаMT4
Формальные аксиоматические теории.
MT4.5
НетНетДаMT4
Неполнота и неразрешимость аксиоматических теорий.
MT4.6
НетНетДаMT4
Основные понятия теории графов.
MT5.1
ДаНетНетMT5
Маршруты, цепи и циклы.
MT5.2
ДаНетНетMT5
Деревья.
MT5.3
ДаНетНетMT5
Ориентированные графы.
MT5.4
ДаДаНетMT5
Группы и графы.
MT5.5
НетДаДаMT5
Подсчет графов. Раскраска графов.
MT5.6
НетНетДаMT5
Сети.
MT5.7
НетНетДаMT5
Матроиды.
MT5.8
НетНетДаMT5
Детерминированные и недетерминированные конечные автоматы.
MT6.1
ДаНетНетMT6
Автоматы Миля, Мура, Рабина-Скотта.
MT6.2
НетДаНетMT6
Преобразование автоматов. Преобразование состояний. Распознавание автоматов. Минимальный детерминированный конечный автомат.
MT6.3
НетДаДаMT6
Оптимизационные задачи для автоматов.
MT6.4
НетНетДаMT6
Алгебраическая теория автоматов.
MT6.5
НетНетДаMT6
Представление языков в автоматах.
MT6.6
НетНетДаMT6
Сети Петри.
MT6.7
НетДаДаMT6
Элементы кибернетики.
MT6.8
НетДаДаMT6
Формальные языки, синтаксис и семантика, способы задания. Операции над языками.
MT7.1
НетДаДаMT7
Многообразие языков.
MT7.2
НетНетДаMT7
Формальные грамматики. Свойства формальных грамматик. Форма Бэкуса-Наура.
MT7.3
НетДаДаMT7
Автоматные и регулярные языки, способы задания. Теорема Клини. Автоматные грамматики.
MT7.4
НетНетДаMT7
Контекстно-свободные языки, КС-грамматики. Вывод в КС-грамматике, синтаксические деревья.
MT7.5
НетДаДаMT7
Распознаватели КС-языков. Задача разбора, рекурсивный (нисходящий) и LR (восходящий) разборы.
MT7.6
НетДаДаMT7
Комбинаторика слов.
MT7.7
НетНетДаMT7
Связь с теорией кодирования.
MT7.8
НетНетДаMT7
Полукольца и степенные ряды.
MT7.9
НетНетДаMT7
Синтаксические полугруппы.
MT7.10
НетНетДаMT7
Алгебраические операции.
MT8.1
ДаДаДаMT8
Группы, группы преобразований, группы Ли. Представления групп.
MT8.2
НетДаДаMT8
Полугруппы, квазигруппы, лупы.
MT8.З
НетДаДаMT8
Кольца.
MT8.4
НетДаДаMT8
Коммутативная алгебра и алгебраическая геометрия (поля, коммутативные кольца, многочлены, идеалы, теория Галуа расширений полей).
MT8.5
НетДаДаMT8
Некоммутативные кольца и алгебры (ассоциативные, лиевские, йордановы кольца и алгебры). Супералгебры.
MT8.6
НетНетДаMT8
Линейная и полилинейная алгебра.
MT8.7
НетДаДаMT8
Представления алгебр.
MT8.8
НетНетДаMT8
Решетки.
MT8.9
НетДаДаMT8
Категории, гомологическая алгебра и К-теория.
MT8.10
НетНетДаMT8
Универсальные алгебры.
MT8.11
НетДаДаMT8
Теория моделей.
MT8.12
НетНетДаMT8
Алгебры с дополнительными структурами (топологические алгебры, упорядоченные алгебраические структуры, дифференциальная алгебра, разностная алгебра).
MT8.13
НетНетДаMT8
Приложения алгебры (криптография, теория кодирования, релейно-контактные схемы, теория автоматов, алгебраическая теория баз данных).
MT8.14
НетДаДаMT8
Методы суммирования. Рекуррентные соотношения. Целочисленные функции.
МT9.1
ДаНетНетMT9
Биномиальные коэффициенты.
МT9.2
ДаНетНетMT9
. Производящие функции.
МT9.3
ДаНетНетMT9
Частично упорядоченные множества.
МT9.4
ДаДаНетMT9
Теория обращения.
МT9.5
ДаДаНетMT9
Алгебры инцидентности.
МT9.6
НетДаДаMT9
Матроиды.
МT9.7
НетДаДаMT9
Перечислительная комбинаторика.
МT9.8
ДаДаДаMT9
Дискретная вероятность. Хеширование.
МT9.9
ДаДаДаMT9
Асимптотические методы.
МT9.10
ДаДаДаMT9
Фон-Неймановская архитектура компьютера. ЦПУ, память, периферийные устройства.
CL1.1
ДаНетНетCL1
Представление информации: числа, текст, графика, звук, видео. Представление программы как последовательности кодов машинных команд. Принцип абстракции при построении сложного программного обеспечения.
CL1.2
ДаНетНетCL1
Операционная система как менеджер ресурсов и абстрактный исполнитель. Принципы организации интерфейса пользователя (командный, оконный). Файловые системы. Системы безопасности.
CL1.3
ДаНетНетCL1
Передача информации между компьютерами (компьютерные сети). Объединение сетей, адресация и маршрутизация. Понятие о сетевом протоколе. Концепция слоев протоколов. TCP.
CL1.4
ДаНетНетCL1
Понятие глобальной сети Internet. Адресация и именование узлов сети.
CL1.5
ДаНетНетCL1
Работа с графической информацией. Проблемы цветопередачи. Проблемы преобразования и изображения векторной и растровой графики. Принципы редактирования векторной и растровой графики.
CL2.1
ДаНетНетCL2
Работа с текстовой информацией. Компьютерный текст и его изображение. Совмещение текста с другими типами информации (графика, формулы, электронные таблицы) в одном документе. Гипертекст.
CL2.2
ДаНетНетCL2
Работа с электронными таблицами. Преобразование и анализ числовых и нечисловых данных: вычисления, сортировка и поиск, построение диаграмм.
CL2.3
ДаНетНетCL2
Компьютерная презентация. Создание слайдов и презентаций.
CL2.4
ДаНетНетCL2
Пакеты прикладных программ для научных расчетов (численные методы, символьные вычисления).
CL2.5
ДаДаНетCL2
Электронная почта: принципы функционирования, правила и этика ее применения. Технологии на основе электронной почты: почтовые роботы, списки рассылки, телеконференции.
CL3.1
ДаНетНетCL3
Клиент-серверные технологии. Сетевая файловая система. World Wide Web как распределенный гипертекст и как платформа для построения распределенных приложений. Поиск информации в WWW. Поисковые машины. Языки формирования запросов.
CL3.2
ДаНетНетCL3
Одноранговые сети.
CL3.3
ДаНетНетCL3
Распределенные вычисления. Вычислительные кластеры и GRID-технологии.
CL3.4
ДаНетНетCL3
История возникновения и развития аппаратного и программного обеспечения компьютеров.
CL4.1
ДаДаДаCL4
История развития отечественной вычислительной техники и компьютерных наук.
CL4.2
ДаДаДаCL4
Сложность программного обеспечения и риски, связанные с его применением.
CL4.3
ДаДаДаCL4
Интеллектуальная собственность в области программного обеспечения и юридические аспекты использования программных продуктов.
CL4.4
ДаДаДаCL4
Экономическая эффективность использования компьютерных технологий.
CL4.5
ДаДаДаCL4
(Элементы с 1 по 100) Далее Далее 

Используемый обозреватель не поддерживает выполнение элементов управления ActiveX, поэтому отображается стандартное представление этого списка.