
- •Иркутский государственный университет путей сообщения кафедра “информатика” конспект лекций по дисциплине “программирование на алгоритмическом языке высокого уровня”
- •Иркутск
- •Программирование и алгоритмические языки в историческом аспекте
- •Введение в Паскаль
- •Алфавит Паскаля
- •Служебные (ключевые) слова
- •Константы
- •Запись чисел
- •Переменные
- •Типы данных
- •Стандартные функции
- •Выражения
- •Выражения целого типа
- •Выражения вещественного типа
- •3,61·109 X – 526,237 3.61e9 * X – 526.237 * Sqrt(0.2*y) Выражения логического типа
- •Операторы присваивания
- •Программа и этапы ее разработки. Структура программы
- •Var X, s : Word;
- •Комментарии
- •Ввод данных
- •Вывод данных
- •Бесформатный способ вывода
- •±D.DdddddddddE±dd
- •Форматный способ вывода
- •Структуры данных
- •Массивы
- •Var a : Array [1..2,1..3] Of Integer;
- •Error 201: Range check error
- •Var a : tMatrix;
- •Var Doska : Array [‘a’..’h’,1..8] Of Char;
- •Var Roma : Array [1..787] Of Word;
- •Var Roma : Array [-754..33] Of Word;
- •Var Ozenka : Array [1..2,1..3] Of Word;
- •Var Ozenka : Array [Fam, Predm] Of 2..5;
- •Var a: Array [1..3, 1..4, 1..5] Of Integer;
- •Var I, j: Byte;
- •Алгоритм и его свойства
- •Схемы алгоритмов
- •Базовые структуры
- •Цепочка
- •Ветвления
- •Альтернатива
- •If (условие)
- •Вариант 2 – с использованием операции конъюнкция
- •Часто встречающиея ошибки программирования:
- •Var X, y, s_left, s_right, alfa, sin_alfa, segment : Real;
- •Переключатель
- •Var Month: 1..12;
- •Бесконечные циклы
- •Циклы с предусловием
- •Var I, s : Word;
- •Var I, s, n : Word;
- •Программа
- •Var n, min, max, s, count: Word;
- •Часто встречающиея ошибки программирования:
- •Циклы с постусловием
- •Var I, s : Word;
- •Var I, s, n : Word;
- •Программа
- •Var n,min,max,s,count: Word;
- •Var k : Word;
- •X, y, s : Real;
- •Var Month: 1..12;
- •Var n, s : Word;
- •Var I, s : Word;
- •Примеры:
- •Var I, j, k : Word;
- •Var I, i_max, vector_max : Integer;
- •Vector : Array [1..N] Of Integer;
- •Var I, s : Integer;
- •Vector : Array [1..N] Of Integer;
- •Var I, k, m : Integer;
- •Vector : Array [1..N] Of Integer;
- •Var I, s, count : Integer;
- •Vector : Array [1..N] Of Integer;
- •Var I, k, min, max, i_min, i_max : Integer;
- •Vector : Array [1..N] Of Integer;
- •Var I, k, i_otr, i_pol : Integer;
- •Vector : Array [1..N] Of Integer;
- •Var I, k, posl : Integer;
- •Vector : Array [1..N] Of Integer;
- •Var I, j, t : Integer;
- •Vector : Array [1..K] Of Integer;
- •Var I, j, t : Integer;
- •Vector : Array [1..K] Of Integer;
- •Var I, j, k : Integer;
- •Var I, j, k, posl : Integer;
- •Var I, j, k, m : Integer;
- •Var I, j, k, i_max, j_min : Word;
- •Var I, j, t : Integer;
- •V : Array [1..K] Of Integer;
- •Var I, j, m, t : Integer;
- •V : Array [1..K] Of Integer;
- •Var I, j, b, c : Word;
- •Часто встречающиея ошибки программирования:
- •Множества
- •Var r : tSymb;
- •Основные операции со множествами
- •Типизированные файлы
- •Var f_int : tFile_Int;
- •Var n : Integer;
- •Функции для работы с типизированными файлами
- •И процедуры:
- •Var n : Integer;
- •Текстовые файлы
- •Var f_text : tFile_text;
- •Программа:
- •Var stud_1 : tStudent;
- •Var student : tKadr;
- •Var coord : tCoord;
- •Ключ : ();
- •Подпрограммы
- •Подпрограммы-функции
- •Var p : Real;
- •Var s : Real;
- •Var I: Word;
- •Var a, b, c : Integer;
- •Var a, b, c : Integer;
- •Var a, b : Integer;
- •Var a, b, c: Integer;
- •Рекурсия
- •5 * 4 * Factorial(3)
- •5 * 4 * 3 * Factorial(2)
- •5 * 4 * 3 * 2 * Factorial(1)
- •Var k: Integer; Func_2
- •Var temp : Integer;
- •Особенности рекурсии:
- •Процедуры
- •Var I: Word;
- •Var I, i_min, i_max: Word;
- •Var I: Word;
- •Var I: Word;
- •Var I: Word;
- •Var I: Word;
- •Var I, j, k: Word;
- •Var I: Word;
- •Var I: Word;
- •Var I, j, k: Word;
- •Var I: Word;
- •Var I: Word;
- •Var I, j, k: Word;
- •Var I: Word;
- •Var I: Word;
- •Var I, j: Word;
- •Программные модули
- •Структура модуля
- •Interface
- •Implementation
- •Var f: Text;
- •Var p: Real;
- •Var temp: Real;
- •Компиляция модулей
- •Взаимное использование модулей
- •Ссылки и динамические переменные
- •Var a, b: tPntint;
- •X, y: tPntchar;
- •Динамические структуры данных
- •Связные списки
- •Inf: Integer;
- •Var head, q : tPoint;
- •Inf: Integer;
- •Var head, q : tPoint;
- •Добавление нового элемента в список
- •Var head, q, r: tPoint;
- •Inf: Integer;
- •Var head, q, r : tPoint;
- •Удаление элемента из списка
- •Inf: Integer;
- •Var head, q, r : tPoint;
- •Сортированные списки
- •Var head, q, r, V: tPoint;
- •Inf: Integer;
- •Var head, q, r, V : tPoint;
- •Бинарные деревья
- •Var root, q, V: tRebro;
- •Интерфейс:
- •Var root, q, V : tRebro;
- •Поиск заданного узла в дереве
- •Var root, q, V : tRebro;
- •Удаление узла из дерева
- •Var root, q, V, r : tRebro;
- •Объектно-ориентированное программирование
- •Var X, y, dx, dy: Word;
- •Var x0, y0, dx, dy: Word;
- •Var x0, y0, dx, dy, radius: Word;
- •Var x0, y0, dx, dy, radius: Word;
- •Основы алгебры логики
- •Логическая функция не (отрицание)
- •Логическая функция и (конъюнкция – логическое умножение)
- •Логическая функция или (дизъюнкция – логическое сложение)
- •Логическое следование (импликация)
- •Логическое совпадение(эквивалентность)
- •Закон исключенного третьего
- •Закон противоречия
- •Закон двойного отрицания
- •Закон контрапозиции
- •Закон расширенной контрапозиции
- •Закон перестановки посылок
- •Закон силлогизма
- •Закон де Моргана
- •Системы счисления
- •Двоичная система счисления
- •Восьмеричная система счисления
- •Шестнадцатиричная система счисления
- •Арифметические операции в двоичной системе счисления
- •1111 11 11 - Переносы
- •Арифметические операции в восьмеричной системе счисления
- •Арифметические операции в 16-ричной системе счисления
- •1. Ошибки при компиляции
- •2. Ошибки времени выполнения а) Ошибки системы ms-dos
- •Б)Ошибки ввода-вывода
- •В)Критические ошибки
- •Г)Фатальные ошибки
Var x0, y0, dx, dy, radius: Word;
driver, regim: Integer;
pixel: TPix; создаем экземпляр объекта TPix – переменную pixel
ring: TRing; создаем экземпляр объекта TRing – переменную ring
Begin
driver:=detect; автоопределение графического драйвера
InitGraph(Driver,Regim,'C:\BP\BGI'); инициализация графического режима
SetBkColor(1); цвет фона - синий
ClearDevice; очистка экрана
SetColor(14); цвет фигур - желтый
x0:=100; x0 и y0 – начальные координаты центра окружности
y0:=150;
dx:=50; dx и dy – шаги по координатам
dy:=40;
radius:=10; радиус окружности
ring.Init(x0, y0, radius); инициализация окружности: задаем начальные координаты ее центра и радиус
ring.Show; выводим окружность на экран по заданным координатам
Delay(1000); пауза в 1 сек
ring.Move(dx, dy); перемещаем окружность на dx,dy
x0:=200; x0 и y0 – начальные координаты точки
y0:=250;
dx:=80; dx и dy – шаги по координатам
dy:=50;
pixel.Init(x0, y0); инициализация точки: задаем начальные координаты точки
pixel.Show; выводим точку на экран по заданным координатам
Delay(1000); пауза в 1 сек
Pixel.Move(dx, dy); перемещаем точку на dx,dy
Delay(1000); пауза в 1 сек
ReadLn;
CloseGraph; закрываем графический режим
End.
Приложение 1
Основы алгебры логики
Логика как искусство рассуждений зародилась в глубокой древности. Начало науки о законах и формах мышления связывают с именем Аристотеля– величайшего древнегреческого философа, жившего в эпохуАлександраМакедонскогооколо 2400 лет назад.
В своих трактатах Аристотельпервым обстоятельно исследовал терминологию логики, подробно разработал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы логики, в том числе закон исключенного третьего и закон противоречия. Он заметил много общего между созданной им наукой и математикой. Отмечая их поразительную строгость, он пытался соединить эти две науки, то есть свести размышления и умозаключения к вычислениям на основе исходных положений. Однако это оказалось слишком много для одного человека, и сделать следующий шаг – перейти к математической логике –Аристотельне смог.
Прошло два тысячелетия, прежде чем Лейбницпредложил ввести в логику математическую символику и использовать ее для логических построений. Эту идею последовательно реализовал вXIXвеке английский ученый Джордж Буль, положив тем самым основы математической логики (алгебры логики, булевой алгебры).
Главная цель применения в логике математической символики заключается в том, чтобы свести операции с логическими заключениями к формальным действиям над символами. Для этого исходные положения записываются формулами, которые далее преобразуются по определенным законам, а полученные результаты истолковываются в соответствующих понятиях.
В отличие от обычной алгебры, оперирующей с числовыми величинами, алгебра логики вводит и исследует операции над высказываниями, причем всякое высказывание рассматривается какистинноеилиложное:
“Джордж Буль – создатель математической логики”- истинное,
“2>5”– ложное,
“Я легко выполню все тесты по Паскалю”– тоже ложное.
Высказывания обозначаются прописными латинскими буквами: A, B, C,…
Различают простыеисложныевысказывания. Примеры простых высказываний приведены выше. Сложные высказывания представляют собой определенные сочетания простых. Истинность или ложность сложного высказывания зависит от истинности и ложности составляющих его простых высказываний.
Итак, высказывания могут принимать одно из двух значений:
истина
ложь
Для краткости записи истинубудем обозначатьединицей, аложь–нулем.
Функциив алгебре логики отождествляются со сложными высказываниями, которые состоят из простых, объединенныхлогическимиоперациямиили элементарными функциями алгебры логики.
К основным логическим операциям относятся:
отрицание (инверсия)
конъюнкция
дизъюнкция
импликация (следование)
эквивалентность.