Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лекции по Паскалю.doc
Скачиваний:
61
Добавлен:
04.06.2015
Размер:
7.62 Mб
Скачать

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,…

Различают простыеисложныевысказывания. Примеры простых высказываний приведены выше. Сложные высказывания представляют собой определенные сочетания простых. Истинность или ложность сложного высказывания зависит от истинности и ложности составляющих его простых высказываний.

Итак, высказывания могут принимать одно из двух значений:

  1. истина

  2. ложь

Для краткости записи истинубудем обозначатьединицей, аложьнулем.

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

К основным логическим операциям относятся:

  • отрицание (инверсия)

  • конъюнкция

  • дизъюнкция

  • импликация (следование)

  • эквивалентность.