Дипломная работа по теме icon

Дипломная работа по теме


Смотрите также:
Дипломная работа по теме...
Дипломная работа посвящена актуальной теме Проблемы законности и механизм ее обеспечения в РФ...
Дипломная работа студента 544 группы...
Настоящая дипломная работа посвящена фольклору русским и чешским народным танцам...
Дипломная работа...
Дипломная работа...
Дипломная работа по теме...
Дипломная работа должна включать следующие разделы...
Дипломная работа по теме...
Дипломная работа по истории...
Дипломная работа...
Дипломная работа...



Загрузка...
страницы: 1   ...   4   5   6   7   8   9   10   11   ...   16
вернуться в начало
скачать
^

4.4Часть 2: курс НАЧИНАЮЩЕГО


Ниже приводится оглавление курса НАЧИНАЮЩЕГО в основном на уровне узлов дерева (выявление всех листьев дерева требует дополнительной разработки).

В соответствии с нацеленностью НАЧИНАЮЩЕГО на проблему АТД выделяется: часть-1, связанная с их описанием; часть-2, в которой предъявляется генетическая история ужесточения формализации.

Так как АТД характеризуется вычислительными методами обработки, то в части-3 появляются как элементные функции, вплоть до целых функций, так и вычислимые функции.

В части-4 предлагается взаимосвязь дискретного и непрерывного для анализа алгоритмов на эффективность.

Источники. Д. Кнут, [F.1];

M. Broy, [E.1-2];

Е.М. Бениаминов, [E.3-4],

А.И. Маркушевич [C.11, C.15].

Собственно курс НАЧИНАЮЩЕГО

  • Абстрактные типы данных

  • Алгебраические модели типов данных

  • Boolean

  • Char

  • Integer

  • Real

  • Array

  • File

  • Stack

  • Очередь

  • Дерево

  • Алгебры как типы данных

  • Полугруппа

  • Моноид

  • Группа

  • Коммутативная группа

  • Порядки как типы данных

  • Решётка

  • Дистрибутивная решётка

  • Булева решётка

  • Аксиоматический метод

  • Наивный уровень (реальные модели)

  • Алгебраический уровень

  • Уровень формальной теории

  • Функции

  • Элементарные

  • kx

  • ex

  • lnx

  • sinx, cosx

  • Вычислимые (рекурсивные)

  • Линейная рекурсия (рекуррентные)

  • Рекурсия в разветвлениях (каскадная рекурсия)

  • Взаимная рекурсия

  • Удалённая рекурсия (через параметр)

  • Целые

  • Полиномы

  • Степенные ряды

  • Дискретность и напрерывность

  • Рекуррентные и линейные уравнения

  • Исчисление конечных разностей

  • Исчисление бесконечного

  • Производящие функции

  • Экспоненциальные функции

  • Дирихле функции
^

4.5Часть 3: курс ПРОФЕССИОНАЛА


Эта часть фрагмента курса является стартовой для понимания учащимся значения выразительных средств для спецификации.

  • Модели типов данных

  • Простая теория типов Чёрча

  • Система типов

  • Типизированный язык

  • Аппликация

  • Абстракция

  • Конечная аппроксимация Скотта

  • Типы как упорядоченные множества (полные решётки)

  • Монотонные и непрерывные функции на решётках

  • Рекурсивные типы данных

  • Система типов языка LCF

  • Система типов в процедурных языках

  • Базисные типы

  • Целые числа

  • Логические значения

  • Вещественные числа

  • Литерные значения

  • Ссылки

  • Конструкторы типов

  • Множества

  • Записи

  • Массивы

  • Файлы

  • Процедуры

  • Алгебраическая модель

  • Инициальная алгебра

  • Алгебра термов

  • Теорема о существовании инициальной алгебры

  • Вычислимые функции

  • Формализация Клини

  • Примитивно рекурсивные функции

  • Рекурсивные функции

  • Универсальная функция

  • Формализация Чёрча-Карри

  • Карризация

  • Комбинаторы K, S, Y

  • Теорема о комбинаторной полноте

  • Теорема Чёрча-Россера
^

4.6Часть 4: курс УНИВЕРСАЛА


Этот курс, во многом, обнаруживает сходство с частью базового курса информатики 1999г. (см. приложение), относящейся к понятию выразимости (вычислимость и логика, спецификация). Через проблемы задания и пример-проблемы он приобрёл большую ясность. Отметим, что в курсе будет особая роль отводится теоремам и их доказательствам. Доказательство, во-первых, серьезно связывает предмет, во-вторых, обеспечивает понимание значения формализации языковых средств.

  • Вычислимость как теория

  • Выразимость в общей алгебре

  • Теорема Кэли

  • Теорема Стона

  • Теорема Биркгофа (о выразительности многообразий)

  • Выразимость в логике

  • Полнота исчисления высказываний

  • Полнота исчисления предикатов (т. Гёделя-Фреге)

  • Теорема компактности Мальцева-Гёделя (о выразимости ЯИП)

  • Язык категорий

  • Элементы языка

  • Функтор
^

5Система WINDS


Проект Европейского Союза WINDS (Web-Based Intelligent Design And Tutoring System) – система для дистанционной разработки курсов и обучения. Архитектура системы построена в соответствии со стандартом LTSA IEEE-1484.1 (рис.1).

Рис.1. Архитектура стандарта LTSA IEEE-1484.1


Пользователь системы может иметь одну из трех ролей: Учащийся, Учитель, Автор (рис.2). Каждой роли соответствует свое специальное окружение – среда учащегося, авторская среда, или среда администратора.



Рис.2. Интерфейс системы WINDS




оставить комментарий
страница8/16
Дата21.09.2011
Размер0,81 Mb.
ТипДиплом, Образовательные материалы
Добавить документ в свой блог или на сайт

страницы: 1   ...   4   5   6   7   8   9   10   11   ...   16
Ваша оценка этого документа будет первой.
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

наверх