WWW.DISS.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
(Авторефераты, диссертации, методички, учебные программы, монографии)

 

Федеральное агентство по образованию

Государственное образовательное учреждение

высшего профессионального образования

"ЮЖНО-УРАЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"

Механико-математический факультет

Кафедра системного программирования

КУРСОВАЯ РАБОТА

Система автоматизированной проверки задач

по программированию в среде UniCST

Научный руководитель кандидат физ.-мат. наук, доцент _ М.Л. Цымблер Автор работы, студент группы MM-396 _ К.С. Пан Челябинск-2008 Оглавление Введение

1. Компонентный тип «Задача по программированию»

2. Анализ требований и разработка спецификаций

2.1. Основные термины

2.2. Интерфейс пользователя системы

2.3. Формат входных данных

2.4. Формат выходных данных

3. Проектирование

3.1. Классы

3.2. Алгоритмы

4. Реализация

4.1. Программное окружение

4.2. Формат конфигурационных данных

4.3. Форматы входных и выходных данных

5. Тестирование

5.1. Тест 1: Успешная компиляция

5.2. Тест 2: Ошибка компиляции

Заключение

Литература

Введение Система UniCST предназначена для создания электронных энциклопедий и электронных учебных курсов по различным учебным дисциплинам и проведения компьютерного тестирования. Система UniCST может быть использована для организации и проведения лекций, семинаров, зачетов, экзаменов и других учебных или контрольных мероприятий [1].

В UniCST Модуль – базовая поименованная структурная единица электронного учебного курса. Семантически модуль соответствует некоторому предметному понятию («словарной статье»). Каждый модуль состоит из заголовка и набора поименованных дидактических компонент. Семантика компоненты полностью определяется ее компонентным типом. Каждый компонентный тип определяется путем задания его интерфейса: структуры данных (набора атрибутов) и набора операций [1].

Цель данной работы состоит в создании системы автоматизированной проверки задач по программированию в среде UniCST.

В задачи работы входит следующее:

1. Разработка компонентного типа «Задача по программированию».

2. Анализ требований и разработка спецификаций для системы автоматизированной проверки задач по программированию в среде UniCST.

3. Проектирование системы автоматизированной проверки задач по программированию в среде UniCST.

4. Реализация системы автоматизированной проверки задач по программированию в среде UniCST.

5. Разработка тестов и тестирование системы автоматизированной проверки задач по программированию в среде UniCST.

Работа состоит из введения, пяти разделов, заключения и библиографии. В каждом разделе рассматривается одна из задач работы.

Объём работы составляет 21 страницу, объём библиографии 7 наименований.

1. Компонентный тип «Задача по программированию»

В этом разделе определяется компонент «Задача по программированию» путем задания его интерфейса: структуры данных (набора атрибутов) и набора операций.

Атрибуты:

name – название задачи objective – формулировка задачи maxTimePerTest – максимальное время выполнения каждого теста test1Input – входные данные первого теста test1Ouput – выходные данные первого теста...

test10Input – входные данные десятого теста test10Output – выходные данные десятого теста create – создание задачи delete – удаление задачи (освобождение памяти, занимаемой атрибутами компоненты) browse – просмотр атрибутов задачи без возможности изменения run – запуск проверки решения задачи print – получение представления, пригодного для печати edit – редактирование компоненты 2. Анализ требований и разработка спецификаций В этом разделе рассматривается первый этап цикла разработки системы. Перечислены основные термины, используемые в работе, требования к интерфейсу пользователя, формата входных и выходных данных системы.

Разрабатываемая система получила название RoST (Robot for Solution Testing).

2.1. Основные термины Далее в работе используются следующие термины:

1. Решение исходный код программы, предположительно решающей задачу по программированию.

2. Тест эталонные входные и соответствующие выходные данные для проверки решения задачи.

3. Протокол проверки результат работы системы, получаемый в ходе проверки решения и потом передаваемый в 4. Задание данные, которые передаёт UniCST в систему для 2.2. Интерфейс пользователя системы В среде UniCST пользователь выбирает задачу, т.е. компоненту типа «Задача по программированию». Пользователь решает задачу, заполняет форму отправки решения и нажимает кнопку «Отправить».

Пример формы отправки решения представлен на рисунке 1. UniCST формирует Задание, соединяется с системой RoST и отправляет ей Задание. Далее RoST обрабатывает Задание, отправляет в ответ Протокол. После этого соединение между RoST и UniCST завершается, а UniCST заносит в базу результаты проверки. Пользователь среды UniCST может посмотреть результаты проверки присланных им решений в любое время. Пример таблицы результатов приведён на рисунке 2.3. Формат входных данных Необходимо разработать формат входных данных системы.

Входные данные должны содержать описание тестов, временных ограничений, исходный код решения.

2.4. Формат выходных данных Необходимо разработать формат выходных данных системы.

Выходные данные, или протокол проверки, содержат описание результата компиляции решения задачи и результаты прохождения тестов, а также само задание.

3. Проектирование В этом разделе представлена структурно-функциональная модель системы RoST. При проектировании были использованы диаграммы UML [3]. Далее представлены диаграмма классов, описание классов и диаграммы деятельности.

3.1. Классы Диаграмма классов представлена на рисунке 3.

3.1.1. Класс «Робот»

Принимает соединения от внешних систем и создаёт Получателя для каждого нового соединения. Каждый Получатель запускается в новом потоке и принимает задание.

3.1.2. Класс «Очередь заданий»

Хранит Задания в виде очереди. Получатели, как только сформируют Задание, кладут его в Очередь, а Тестировщики, как только освободились, достают и обрабатывают.

capacity максимальное количество заданий в очереди 3.1.3. Класс «Задание»

Хранит входные данные, полученные от внешней системы.

maxTimePerTest максимальное время выполнения каждого теста 3.1.4. Класс «Тест»

Хранит тест для проверки решения.

input входные данные, которые будут подаваться на вход скомпилированному решению при запуске output эталонные выходные данные, с которыми будут сравниваться результаты выполнения скомпилированного решения 3.1.5. Класс «Решение»

Хранит решение, которое нужно проверить.

source собственно текст решения на каком-либо языке программирования lang язык программирования, на котором написан исходный код 3.1.6. Класс «Протокол»

Хранит протокол проверки.

3.1.7. Класс «Тестировщик»

Берёт задания из очереди и обрабатывает их. Если Заданий в Очереди нет, то ждёт, пока они появятся. После проверки каждого Задания создаёт и запускает Отправителя.

3.1.8. Класс «Компилятор»

Компилирует исходный код, создавая Скомпилированное решение.

3.1.9. Класс «Скомпилированное решение»

Исполняемая программа, которая проверяется путём запуска на наборе тестов.

run запускает программу на указанных входных данных и возвращает результат работы 3.1.10. Класс «Получатель»

Получает входные данные от внешней системы, анализирует их и формирует Задание. Ставит Задание в Очередь.

3.1.11. Класс «Отправитель»

Формирует Протокол проверки, отправляет его внешней системе и завершает соединение.

3.2. Алгоритмы В этом подразделе с помощью диаграмм деятельности описаны алгоритмы проверки решения и проверки скомпилированного решения на тестах.

3.2.1. Проверка решения Алгоритм проверки решения описан с помощью диаграммы деятельности, представленной на рисунке 4.

Рис. 4. Диаграмма деятельности «Проверка решения»

3.2.2. Проверка скомпилированного решения на тестах Алгоритм проверки скомпилированного решения на тестах описан с помощью диаграммы деятельности, представленной на рисунке 5.

Рис. 5. Диаграмма деятельности «Проверка скомпилированного решения на тестах»

4. Реализация В этом разделе описано программное окружение системы, разработанные форматы данных.

4.1. Программное окружение Система реализуется на платформе Java SE 6 [4], с использованием библиотеки JDOM [5] для работы с XML. В качестве средства автоматизации сборки системы использован инструмент Apache Ant, который сам написан на Java, что обеспечивает большую мобильность разрабатываемой системы [6].

Используемые стандартные классы и интерфейсы:

java.lang.Runnable реализуется всеми классами, содержащими метод run(), то есть классами Робот, Тестировщик, Получатель, Отправитель, Скомпилированное решение.

java.lang.Thread используется для запуска метода run() у вышеперечисленных классов.

java.net.ServerSocket, java.net.Socket используются Роботом, Получателем, Отправителем для взаимодействия со внешней системой (UniCST).

java.util.concurrent.LinkedBlockingQueue является готовой реализацией класса Очередь заданий.

java.lang.Runtime используется для взаимодействия со средой выполнения (для запуска компиляторов).

java.util.Date используется для измерения времени.

4.2. Формат конфигурационных данных Система получает конфигурационные данные в виде параметров при запуске. Таких параметров всего три:

1. Порт (для TCP-соединений [7]) 2. Количество запускаемых одновременно тестировщиков (см.

п. 3.1.7) 3. Путь к каталогу для хранения временных файлов 4.3. Форматы входных и выходных данных Для представления входных и выходных данных был разработан язык на основе XML и описан с помощью DTD (Document Type Definition). DTD это язык, с помощью которого можно описать структуру XML-документа [2]. Кроме того, при передаче данных от UniCST к RoST нужно как-то обозначить, где они заканчиваются.

Поэтому в первой строке входных данных от UniCST передаётся количество строк в Задании.

Далее представлено описание входных и выходных данных и примеры.

4.3.1. DTD входных данных (далее task.dtd) 4.3.2. DTD выходных данных 4.3.3. Пример входных данных 4.3.4. Пример протокола проверки 5. Тестирование На этапе тестирования были разработаны тесты и программа, эмулирующая работу UniCST, с помощью которой RoST проверялась на разработанных тестах.

Тестирование включает два теста. Первый для случая успешной компиляции, второй для случая ошибки компиляции. Решаемая задача в тестах одинакова сложить два целых числа.

5.1. Тест 1: Успешная компиляция Этот тест позволяет проверить работу системы при успешном выполнении компиляции. Должны получиться все возможные результаты запуска скомпилированного решения. Их всего три: "правильные выходные данные", "неправильные выходные данные" и "превышение максимального времени выполнения на одном Тесте".

Далее представлены эталонные Задание и Протокол для такой проверки.

5.1.1. Задание #include <iostream>

std::cout << a + b << std::endl;

5.1.2. Протокол #include <iostream>

std::cin >> a >> b;

std::cout << a + b << std::endl;

5.2. Тест 2: Ошибка компиляции Этот тест позволяет проверить работу системы при ошибке компиляции. Далее представлены эталонные Задание и Протокол для такой проверки. В исходном коде решения допущена синтаксическая ошибка в директиве #include.

5.2.1. Задание #includ <iostream>

std::cin >> a >> b;

std::cout << a + b << std::endl;

5.2.2. Протокол #includ <iostream>

std::cin >> a >> b;

std::cout << a + b << std::endl;

prog.cpp:1:2: error: invalid preprocessing directive #includ prog.cpp:11:2: warning: no newline at end of file prog.cpp: In function ‘int main()’:

prog.cpp:5: ошибка: ‘cin’ не является элементом ‘std’ prog.cpp:6: ошибка: ‘cout’ не является элементом ‘std’ prog.cpp:6: ошибка: ‘endl’ не является элементом ‘std’ prog.cpp:8: ошибка: нет декларации ‘sleep’ в этой области видимости Заключение В ходе работы получены следующие основные результаты:

1. Разработан компонентный тип «Задача по программированию», который обеспечивает интеграцию системы RoST в среду UniCST.

2. Проведены анализ требований и разработка спецификаций для RoST.

3. Произведено проектирование системы RoST.

4. Произведена реализация системы RoST.

5. Разработаны тесты и проведено тестирование системы RoST.

6. Система RoST внедрена в опытную эксплуатацию.

Литература 1. Соколинский Л. Б., Жигальская Н. С., Евдокимова А. С. Модель электронного учебного курса и энциклопедии. Технический отчет UniCST-07-01. -Челябинск: ЮУрГУ, 2. W3C, Extensible Markup Language (XML) 1.0 (Fourth Edition) [http:// www.w3.org/TR/2006/REC-xml-20060816/#dt-doctype], 16.08. 3. Буч Г., Рамбо Дж., Якобсон И. Язык UML. Руководство пользователя // М.: ДМК Пресс. -2007. -С. 496.

[http://java.sun.com/javase/reference/api.jsp] [http://www.jdom.org/docs/apidocs/index.html] 6. Stephane Bailliez, Nicola Ken Barozzi. Apache Ant Manual [http://ant.apache.org/manual/index.html] 7. Information Sciences Institute. Transmission Control Protocol [http://tools.ietf.org/html/rfc793]. University of Southern California, 1981.



Похожие работы:

«СЫКТЫВКАРСКИЙ ЛЕСНОЙ ИНСТИТУТ КАФЕДРА БУХГАЛТЕРСКОГО УЧЕТА, АНАЛИЗА, аудита и налогообложения УЧЕТ НА ПРЕДПРИЯТИЯХ МАЛОГО БИЗНЕСА Учебно-методический комплекс по дисциплине для студентов специальности 080109 Бухгалтерский учет, анализ и аудит очной и заочной форм обучения СЫКТЫВКАР 2007 ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ СЫКТЫВКАРСКИЙ ЛЕСНОЙ ИНСТИТУТ – ФИЛИАЛ ГОУ ВПО САНКТ-ПЕТЕРБУРГСКАЯ ГОСУДАРСТВЕННАЯ ЛЕСОТЕХНИЧЕСКАЯ АКАДЕМИЯ ИМЕНИ С. М. КИРОВА КАФЕДРА БУХГАЛТЕРСКОГО УЧЕТА, АНАЛИЗА, АУДИТА И...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Башантинский аграрный колледж им. Ф. Г. Попова (филиал) ГОУ ВПО КАЛМЫЦКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ РАБОЧАЯ ПРОГРАММА ПРОФЕССИОНАЛЬНОГО МОДУЛЯ Проведение ветеринарно-просветительской деятельности 2011 г. 1 Рабочая программа профессионального модуля разработана на основе Федерального государственного образовательного стандарта по специальностям среднего профессионального образования (далее – СПО) 111801 Ветеринария Организация-разработчик:...»

«БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Экономический факультет Кафедра теоретической и институциональной экономики Серия ИНСТИТУЦИОНАЛЬНАЯ ЭКОНОМИКА П.С. Лемещенко ИНСТИТУЦИОНАЛЬНАЯ ЭКОНОМИКА Учебная программа для студентов экономических специальностей Минск 2008 2 Цель курса состоит в том, чтобы раскрыть глубокую гамму инструментов, методов и категорий экономической науки, выделив в качестве самостоятельного блока институциональный срез общества и его влияние на экономику. Дефект знания...»

«Будущее за ними Технопарки в Петербурге имеет смысл развивать на базе городских университетов. Только первую скрипку здесь должен играть частный бизнес, а не государство и сами вузы Петр Биргер О технопарках (см. подверстку) в России говорят чуть ли не с начала 1990-х годов. Новая волна интереса связана с усилиями лоббистов отечественного рынка информационных технологий. Судя по всему, именно благодаря инициативе представителей ИТ-бизнеса в программу визита президента Владимира Путина в Индию в...»

«Министерство образования и науки РФ федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Самарский государственный университет Исторический факультет УТВЕРЖДАЮ Проректор по научной работе А.Ф. Крутов _ 2011 г. РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ Теоретические и прикладные основы теории личности (ОД.А.08; цикл ОД.А.00 Обязательные дисциплины основной образовательной программы подготовки аспиранта по отрасли Психологические науки, специальность 19.00.07...»

«1 Рабочая программа профессионального модуля Выполнение работ по профессии Младшая медицинская сестра по уходу за больными (ПМ.05) разработана на основе Федерального государственного образовательного стандарта (ФГОС) среднего профессионального образования (СПО) 060102 Акушерское дело Организация-разработчик: ГАОУ СПО АО Архангельский медицинский колледж Разработчики: Валькова Т.А., преподаватель первой квалификационной категории ГАОУ СПО АО Архангельский медицинский колледж Черномаз Е.Н.,...»

«1.Цели и задачи дисциплины. Теория систем и системный анализ необходимы для системного представления кадастра недвижимости как многоцелевой информационной системы. Цель и задачи дисциплины - освоение методологии систем, принципов системного подхода и системного анализа при создании и ведении кадастра недвижимости, практических навыков в представлении пространства недвижимого имущества в виде сложной динамической системы, математического моделирования и оценки состояния территорий. Объект...»

«Министерство образования и науки РФ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования ДАГЕСТАНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Физический факультет ОБЩЕОБРАЗОВАТЕЛЬНАЯ ПРОГРАММА по направлению 210100 Электроника и наноэлектроника профиль 210104.62 Микроэлектроника и твердотельная электроника Квалификация (степень) выпускника бакалавр Нормативный срок освоения программы 4 года Форма обучения - очная Махачкала - 2011 СОДЕРЖАНИЕ 1. Цели...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ федеральное государственное бюджетное образовательное учреждение высшего профессионального образования МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ГЕОДЕЗИИ И КАРТОГРАФИИ (МИИГАиК) УТВЕРЖДАЮ Ректор МИИГАиК А.А. Майоров _ _2014 г. ПРОГРАММА вступительного испытания в аспирантуру по специальности 25.00.32 – Геодезия МОСКВА 2014 Программа вступительного экзамена в аспирантуру по специальности Геодезия рассчитана на выпускника высшего учебного...»

«Вестник Томского государственного университета. Биология. 2012. № 4 (20). С. 171–184 УДК 630*18:583.47(235.222) Е.Е. Тимошок, С.Н. Скороходов, Е.Н. Тимошок Институт мониторинга климатических и экологических систем СО РАН (г. Томск) ЭКОЛОГО-ЦЕНОТИЧЕСКАя хАРАКТЕРИСТИКА КЕДРА СИБИРСКОГО (Pinus sibirica Du Tour) НА ВЕРхНЕЙ ГРАНИЦЕ ЕГО РАСПРОСТРАНЕНИя В ЦЕНТРАЛЬНОМ АЛТАЕ Работа выполнена при поддержке СО РАН (программа YII.63.1.) и проекта Президиума РАН № 4. Показаны эколого-ценотические...»

«СОДЕРЖАНИЕ 1. Общие положения 1.1. Основная образовательная программа (ООП) бакалавриата, реализуемая Университетом по направлению подготовки 032700 Филология профилю подготовки Зарубежная филология. 1.2. Нормативные документы для разработки ООП бакалавриата по направлению подготовки 032700 Филология. 1.3. Общая характеристика вузовской основной образовательной программы высшего профессионального образования (бакалавриат). 1.4. Требования к абитуриенту. 2. Характеристика профессиональной...»

«Белорусский государственный университет УТВЕРЖДАЮ Декан филологического факультета, профессор И. С. Ровдо (подпись) (дата утверждения) Регистрационный № УД-/р. Инженерия знаний Учебная программа спецкурса для студентов гуманитарного факультета четвертого года обучения для специальностей: I – 21 06 01 – 0103 – Современный иностранный язык: компьютерная лингвистика I – 21 06 01 – 0103 – Современный иностранный язык: компьютерное обучение языкам Факультет филологический_ Кафедра прикладной...»

«УТВЕРЖДАЮ Проректор по учебной работе В.П. Гарькин 10 июля 2009 года Общая и теоретическая физика ПРОГРАММА ВСТУПИТЕЛЬНЫХ ИСПЫТАНИЙ ДЛЯ ПОСТУПАЮЩИХ В МАГИСТРАТУРУ САМАРСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА по направлению 010700.68 Физика Самара 2009 МЕХАНИКА Кинематика материальной точки и твердого тела. Способы описания движения материальной точки. Степени свободы твердого тела. Разложение движения твердого тела на слагаемые движения. Виды движения. Векторы угловой скорости, углового...»

«Министерство здравоохранения Российской Федерации Государственное бюджетное образовательное учреждение высшего профессионального образования Первый Московский государственный медицинский университет имени И.М. Сеченова ПЕРВ ЫЙ С Р Е Д И РАВН Ы Х... СБОРНИК ТEЗИСОВ СБОРНИК ТEЗИСОВ МЕДИЦИНСКОЕ ОБРАЗОВАНИЕ 2014 V Общероссийская конференция бщероссийская с международным участием УДК 616:611.018 ББК 57 О28 О28 V Общероссийская конференция с международным участием Медицинское образование–2014 /...»

«Министерство образования Республики Беларусь Учебно-методическое объединение вузов Республики Беларусь по педагогическому образованию УТВЕРЖДАЮ Первый заместитель Министра образования Республики Беларусь _ А.И. Жук Регистрационный № ТД-/тип. ПЕДАГОГИКА ДЕТСТВА Типовая учебная программа для высших учебных заведений по специальностям: Логопедия. Дополнительная специальность; 1-03 03 05 Сурдопедагогика. Дополнительная специальность; 1-03 Тифлопедагогика. Дополнительная специальность; 1-03...»

«Белорусский государственный университет УТВЕРЖДАЮ Декан экономического факультета М.М.Ковалев (подпись) _20г. (дата утверждения) Регистрационный № УД-_/р. ЭКОНОМИКА ПРИРОДОПОЛЬЗОВАНИЯ Учебная программа для специальности 1-26 02 02 Менеджмент Факультет экономический (название факультета) Кафедра теоретической и институциональной экономики (название кафедры) Курс (курсы) 2_ Семестр (семестры) _ Лекции _8 Экзамен 4_ (количество часов) (семестр) Практические (семинарские) занятия 4 Зачет...»

«Утверждена Шадринской городской Думой решение от 15.11.2012 № 458 Паспорт Программы комплексного социально-экономического развития муниципального образования – город Шадринск на 2013 год и плановый период по 2015 год Наименование Программы Программа комплексного социально-экономического развития муниципального образования – город Шадринск на 2013 год и плановый период по 2015 год Заказчик Программы Администрация города Шадринска Цель Программы Достижение устойчивых темпов экономического роста,...»

«Факультет заочного образования Кафедра теплотехники и энергообеспечения предприятий УТВЕРЖДАЮ Декан факультета П.А. Силайчев г. 20 Рабочая программа Направление: 650301 – Агроинженерия Специальность: 110302 – Электрификация и автоматизация сельского хозяйства Дисциплина: Теплоэнергетические установки Москва 2010 2 1. ЦЕЛЬ И ЗАДАЧИ ДИСЦИПЛИНЫ. Цель – овладение будущими специалистами теоретическими знаниями и практическими навыками для решения профессиональных задач по теплоснабжению и...»

«МИНСКИЙ ИНСТИТУТ УПРАВЛЕНИЯ УТВЕРЖДАЮ Ректор Минского института управления Н.В. Суша (подпись) (дата утверждения) Регистрационный № УД-/р. ОСОБЕННОСТИ РАССМОТРЕНИЯ ХОЗЯЙСТВЕННЫХ СПОРОВ В СФЕРЕ ПРЕДПРИНИМАТЕЛЬСТВА Учебная программа для специальности: 1 24 00 01 – Правоведение Факультет правоведения Кафедра гражданского и трудового права Курс – 5 Семестр – 9,10 Лекции – 6 часов Экзамен – нет Практические (семинарские) занятия – 2 часа Зачет – 10 семестр Лабораторные занятия – нет Всего аудиторных...»

«Программа фундаментальных исследований Секции языка и литературы ОИФН РАН Язык и литература в контексте культурной динамики Отчеты по проектам за 2013 год Координаторы Программы: акад. РАН А.Б.Куделин, чл.-корр. РАН В.А.Виноградов, акад. РАН Н.Н.Казанский Направление I. Типологическое и историческое изучение языковых явлений в их соотношении с культурной эволюцией, реконструкция культуры по данным языка (кураторы – чл.-корр. РАН А.В.Дыбо, чл.-корр. РАН В.А.Плунгян) Лексика традиционной духовной...»




























 
2014 www.av.disus.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.