Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Курсовая работа(Городилов).doc
Скачиваний:
11
Добавлен:
17.09.2019
Размер:
474.62 Кб
Скачать

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«Тюменский государственный нефтегазовый университет»

КАФЕДРА ИНФОРМАТИКИ И ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ

Курсовая работа

по дисциплине «Программирование и основы алгоритмизации»

Тема 1: «Основные стили и парадигмы программирования».

Тема 2: «Разработка приложения для Windows, представляющего собой модель базы данных по успеваемости студентов».

Выполнил

студент группы

УТСб-11-1

Городилов Антон

Проверила

Мосягина Н.А.

Тюмень 2012

Оглавление.

Тема 1. «Основные стили и парадигмы программирования».

1. Основные стили и парадигмы программирования.

1.1. Стили программирования.

1.2. Понятие парадигмы программирования.

1.3. Основные виды парадигм.

Тема 2. «Разработка приложения для Windows, представляющего собой модель базы данных по успеваемости студентов».

2.1. Введение.

2.2. Назначение и область применения.

2.3. Технические характеристики.

3. Разработка рабочего проекта.

3.1. Разработка программы.

3.2. Спецификация программы.

3.3. Текст программы.

3.4. Описание программы.

3.4.1. Общие сведения.

3.4.2. Функциональное назначение.

3.4.3. Описание логической структуры.

3.4.4. Используемые технические средства.

3.4.5. Вызов и загрузка.

3.4.6. Входные данные.

3.4.7. Выходные данные.

3.5. Тестирование программы.

Литература.

Тема 1. «Основные стили и парадигмы программирования».

1.1. Стили программирования.

Традиционно под программой понимают последовательность операторов (команд, выполняемых компьютером). Такой стиль программирования принято называть императивным. Программируя в императивном стиле, программист должен объяснить компьютеру, как нужно решать задачу. Императивная программа очень похожа на приказы, выражаемые повелительным наклонением в естественных языках, то есть это последовательность команд / логических переходов, которые должен выполнить компьютер.

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

Соответственно и языки программирования делят на императивные и декларативные.

Императивные языки основаны на фон неймановской модели вычислений компьютера. Решая задачу, императивный программист вначале создает модель в некоторой формальной системе, а затем переписывает решение на императивный язык программирования в терминах компьютера. Но, во-первых, для человека рассуждать в терминах компьютера довольно неестественно. Во-вторых, последний этап этой деятельности (переписывание решения на язык программирования) по сути дела не имеет отношения к решению исходной задачи. Очень часто императивные программисты даже разделяют работу в соответствии с двумя описанными выше этапами. Одни люди, постановщики задач, придумывают решение задачи, а другие, кодировщики, переводят это решение на язык программирования.

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

Известна классификация языков программирования по их близости либо к машинному языку, либо к естественному человеческому языку. Те, что ближе к компьютеру, относят к языкам низкого уровня, а те, что ближе к человеку, называют языками высокого уровня. В этом смысле декларативные языки можно назвать языками сверхвысокого или наивысшего уровня, поскольку они очень близки к человеческому языку и человеческому мышлению.

К императивным языкам относятся такие языки программирования, как Паскаль, Бейсик, Си и т. д. В отличие от них, языки Пролог и Лисп (которым будут посвящен курс лекций) являются декларативными языками.