Любые данные – константы, переменные, значения функций характеризуются в Паскале типом данных.
Определим понятие типа данных . Как уже известно, все объекты программы (переменные, константы и т.д.) должны быть описаны.
Описания информируют транслятор, во-первых, о существовании используемых переменных и других объектов, во-вторых, указывают на свойства этих объектов. Например, описание переменной, значение которой является числом, указывает на свойства чисел. Формально числа могут быть целыми и вещественными (дробными). В Паскале, как и в других языках программирования, числа разделены на два типа: целые (зарезервированное слово integer) и вещественные (зарезервированное слово real).
Выделение целых чисел в отдельный тип объясняется тем, что в вычислительной машине целые и вещественные числа представляются по-разному: целое число может быть представлено абсолютно точно, а вещественное – неизбежно с некоторой конечной погрешностью, которая определяется свойствами транслятора.
Например, пусть переменная x имеет тип real и ее значение равно единице: x=1 . Соответствующее значение в памяти компьютера может быть и 0.999999999 , и 1.000000001 , и 1.000000000 . Но если переменная x будет объявлена как переменная целого типа, то единица в компьютере будет представлена абсолютно точно и переменная x не сможет принимать вещественные (дробные) значения – ведь она была описана как переменная целого типа.
Таким образом, тип данных определяет:
- внутреннее представление данных в памяти компьютера;
- множество значений, которые могут принимать величины этого типа;
- операции, которые могут выполняться над величинами этого типа.
Введение типов данных является одной из базовых концепций языка Паскаль, заключающейся в том, что при выполнении операции присваивания переменной значения выражения, переменная и выражение должны быть одного типа. Такая проверка выполняется компилятором, что значительно упрощает поиск ошибок и приводит к повышению надежности программы.
Множество типов данных языка Турбо Паскаль можно разделить на две группы:
- стандартные (предопределенные) типы ;
- типы, определяемые пользователем (пользовательские типы) .
К стандартным типам Турбо Паскаль относят:
- целый тип – integer ;
- вещественный тип – real ;
- символьный тип – char ;
- логический тип – boolean ;
- строковый тип – string ;
- указательный тип – pointer ;
- текстовый тип – text .
Пользовательские типы данных представляют собой различные комбинации стандартных типов.
К пользовательским типам относят:
- перечисляемый тип;
- интервальный тип;
- указательный тип;
- структурированные типы;
- процедурный тип.
Замечание . Возможна и другая классификация типов данных, согласно которой типы делятся на простые и сложные.
К простым типам относят: целый тип, вещественный тип, символьный тип, логический тип, перечислимый тип и интервальный тип.
Сложный тип представляет собой различные комбинации простых типов (массивы, записи, множества, файлы и т.д.)
Стандартные типы
Стандартный тип данных определен самим языком Паскаль. При использовании в программе стандартных типов достаточно указать подразделы необходимых типов (const , var) и далее описать используемые в программе константы и переменные. Необходимость использования подраздела Type отсутствует.
Например, если в программе используются только переменные:
i,j – integer (целые);
x,y - real (вещественные);
t,s - char (символьные);
a,b – boolean (логические),
то необходим только подраздел переменных – Var . Поэтому в описательной части программы объявления переменных записываются следующим образом:
Целые типы
Данные этого типа могут принимать только значения целых чисел. В компьютере значения целого типа представляются абсолютно точно. Если переменная отрицательная, то перед ней должен стоять знак «–», если переменная положительная, то знак «+» можно опустить. Данный тип необходим в том случае, когда какую-то величину нельзя представить приближенно – вещественным числом. Например, число людей, животных и т.д.
Примеры записи значений целых чисел: 17, 0, 44789, -4, -127.
Диапазон изменения данных целого типа, определяется пятью стандартными типами целых чисел и представлен в таблице:
| Тип | Диапазон | Размер в байтах |
| Shortint | -128...+128 | 1 |
| Integer | -32768...32767 | 2 |
| Longint | -2147483648...2147483647 | 4 |
| Byte | 0...255 | 1 |
| Word | 0...65535 | 2 |
Последние два типа служат для представления только положительных чисел, а первые три как положительных, так и отрицательных чисел.
В тексте программы или при вводе данных целого типа значения записываются без десятичной точки . Фактические значения переменной не должны превышать допустимых значений того типа (Shortint , Integer , Longint , Byte , Word), который был использован при описании переменной. Возможные превышения при вычислениях ни как не контролируются, что приведет к неверной работе программы.
Пример использования переменной целого типа
Var a:integer; b:word; c:byte; Begin a:=300; {a присвоено значение 300} b:=300; {b присвоено значение300} c:=200; {c присвоено значение200} a:=b+c; {a присвоено значение500} c:=b; {Ошибка! Переменная c может принимать значения не более 255. Здесь переменной c присваивается значение 500,что вызовет переполнение результата.} End.
Вещественные типы
Значения вещественных типов в компьютере представляются приближенно. Диапазон изменения данных вещественного типа определяется пятью стандартными типами: вещественный (Real), с одинарной точностью (Single), двойной точностью (Double), с повышенной точностью (Extended), сложный (Comp) и представлен в таблице:
| Тип | Диапазон | Число значащих цифр | Размер в байтах |
| Real | 2.9E-39...1.7E+38 | 11-12 | 6 |
| Single | 1.5E-45...3.4E+38 | >7-8 | 4 |
| Double | 5E-324...1.7E+308 | 15-16 | 8 |
| Extended | 3.4E-4951...1.1E+4932 | 19-20 | 10 |
| Comp | -2E+63+1...+2E+63-1 | 19-20 | 8 |
Вещественные числа могут быть представлены в двух форматах: с фиксированной и плавающей точкой.
Формат записи числа с фиксированной точкой совпадает с обычной математической записью десятичного числа с дробной частью. Дробная часть отделяется от целой части с помощью точки, например
34.5, -4.0, 77.001, 100.56
Формат записи с плавающей точкой применяется при записи очень больших или очень малых чисел. В этом формате число, стоящее перед символом «E», умножается на число 10 в степени, указанной после символа «E».
| 1E-4 | 1*10-4 |
| 3.4574E+3 | 3.4574*10+3 |
| 4.51E+1 | 4.51*10+1 |
Примеры чисел с плавающей точкой:
| Число | Запись на Паскале |
| 0,0001 | 1E-4 |
| 3457,4 | 34574E-1 |
| 45,1 | 451E-1 |
| 40000 | 4E+4 |
| 124 | 0.124E+3 |
| 124 | 1.24E+2 |
| 124 | 12.4E+1 |
| 124 | 1240E-1 |
| 124 | 12400E-2 |
В таблице с 5 по 9 строку показана запись одного и того же числа 124. Изменяя положение десятичной точки в мантиссе (точка «плывет», отсюда следует название «запись числа с плавающей точкой») и одновременно изменяя величину порядка, можно выбрать наиболее подходящую запись числа.
Пример описания переменных вещественного типа.
Символьный тип
Значениями символьного типа являются символы, которые можно набрать на клавиатуре компьютера. Это позволяет представить в программе текст и производить над ним различные операции: вставлять, удалять отдельные буквы и слова, форматировать и т.д.
Символьный тип обозначается зарезервированным словом Char и предназначен для хранения одного символа. Данные символьного типа в памяти занимают один байт.
Формат объявления символьной переменной:
<имя переменной>: Char;
При определении значения символьной переменной символ записывается в апострофах. Кроме того, задать требуемый символ можно указанием непосредственно его числового значения ASCII-кода. В этом случае необходимо перед числом, обозначающим код ASCII необходимого символа, поставить знак #.
Пример использования переменных символьного типа:
Var c:char; {c – переменная символьного типа} Begin c:=’A’; {переменной c присваивается символ ’A’} c:=#65; {переменной c также присваивается символ A. Его ASCII код равен 65} c:=’5’; {переменной c присваивается символ 5, End. здесь 5 это уже не число}
Логический тип
Логический тип данных называют булевским по имени английского математика Джорджа Буля, создателя области математики – математической логики.
Формат объявления переменной логического типа:
<имя переменной>: boolean;
Данные этого типа могут принимать только два значения:
- True – истина;
- False – ложь.
Логические данные широко используются при проверке правильности некоторых условий и при сравнении величин. Результат может оказаться истинным или ложным.
Для сравнения данных предусмотрены следующие операции отношений:
Пример использования операций отношения:
отношение 5>3 , результат true (истина);
отношение 5=3 , результат false (ложь).
Пример использования переменных логического типа.
Var a,b:boolean; {a,b – переменные логического типа} Begin a:=Тrue; {переменной a присваивается значение «истина»} b:=false; {переменной b присваивается значение «ложь»} End.
Константы
В качестве констант могут использоваться целые, вещественные числа, символы, строки символов, логические константы.
Константу необходимо объявить в описательной части с помощью зарезервированного слова const.
Формат объявления константы
Const <имя константы>= <значение>;
Если в программе используются несколько констант, допускается использование только одного ключевого слова Const , описание каждой константы заканчивается точкой с запятой. Блок констант заканчивается объявлением другого раздела или объявлением блока исполняемых операторов.
Const {объявление раздела констант} year=2003; {константа целого типа, т.к. нет в записи десятичной точки} time=14.05; {константа вещественного типа} N=24; {константа целого типа, т.к. нет в записи десятичной точки} P=3.14; {константа вещественного типа} A=true; {константа логического типа} str1=’7’; {константа символьного типа} str2=’A’; {константа символьного типа} str3=’Turbo’; {константа строкового типа} Var {объявление раздела переменных} X,y:integer; {переменные целого типа}
Пользовательские типы
Из совокупности пользовательских типов рассмотрим только
- перечисляемый тип;
- интервальный тип.
Эти два типа нам будут необходимы при изучении массивов.
Перечисляемый тип
Перечисляемый тип данных описывает новые типы данных, значения которых определяет сам программист. Перечисляемый тип задается перечислением тех значений, которые он может получать. Каждое значение именуется некоторым идентификатором и располагается в списке, обрамленном круглыми скобками. Перечисляемый тип относится к типам данных, определяемым пользователем, поэтому объявление этого типа начинается зарезервированным словом TYPE .
Формат перечисляемого типа:
<имя типа>= (константа1, константа2,..., константаN);
где
константа1 , константа2 ,..., константаN – упорядоченный набор значений идентификаторов, рассматриваемых как константы.
Пример описания перечисляемого типа:
Type ball=(one, two, three, four, five); var t:ball;
Здесь ball – имя перечисляемого типа; one , two , three , four , five – константы; t – переменная, которая может принимать любое значение констант.
В перечисляемом типе константа является идентификатором, поэтому она не заключается в кавычки и не может быть числом. Таким образом, в перечисляемом типе под константой понимается особый вид констант, которые не могут быть:
- константами числового типа: 1, 2, 3, 4 и т. д;
- константами символьного типа: "a", "s", "1", "3" и т. д.;
- константами строкового типа: "first", "second" и т.д.
Кроме того, к значениям этого типа не применимы арифметические операции и стандартные процедуры ввода и вывода Read , Write .
Пример использования переменных перечисляемого типа:
Type days = (Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday); Var day: days; begin if day = Sunday then writeln(‘Сегодня Воскресенье!’); End.
Элементы, входящие в определение перечисляемого типа, считаются упорядоченными в той последовательности, в которой они перечисляются. Нумерация начинается с нуля. Поэтому в приведенном примере дни недели имеют следующие порядковые номера
Для программного определения порядкового номера используется функция Ord() .
В нашем примере порядковые номера равны:
Ord(Monday) = 0;
Ord(Saturday) = 5;
Ord(Sunday) = 6.
Интервальный тип
Если какая-то переменная принимает не все значения своего типа, а только значения, содержащиеся в некотором диапазоне, то такой тип данных называется интервальным типом. Часто интервальный тип называют ограниченным типом и типом-диапазоном. Интервальный тип задается границами своих значений:
<минимальное значение>..<максимальное значение>
- два символа «..» рассматриваются как один символ, поэтому между ними недопустимы пробелы;
- левая граница диапазона не должна превышать его правую границу.
Интервальный тип относится к типам данных, определяемых пользователем, поэтому объявление этого типа начинается со служебного слова TYPE .
Пример описания интервального типа:
Type digit = 1..10; month = 1..31; lat = ’A’..’Z’;
Здравствуйте, дорогие читатели нашего сайта! Сегодня, мы поговорим о логических переменных типа Boolean в Паскаль, логических операциях и решим пять задач.
Для чего нужна логика в Паскаль? Вы, я надеюсь, уже научились писать простейшие линейные программы, и сейчас, наверняка, задаетесь вопросом, как же написать нелинейную программу ? Для того чтобы программа была нелинейной в Паскале, как и в других языках программирования, используют логические выражения, которые принимают значения true или false . То есть, на место любого отношения в Паскале ставится true или false. Например,
Var A: integer; begin A:= 5; write(A > 0); {Будет выведено True.} end.
Список операторов отношения:
- больше: >
- меньше: <
- больше либо равно: >=
- меньше либо равно: <=
- равно: =
- неравно: <>
Для того чтобы записать результат логического выражения, нам требуется специальная переменная. Эта переменная будет иметь тип boolean, она может принимать два значения - true или false. Как создавать простые условие вы уже поняли, но как создавать сложные условия? Для этого используются специальные логические операции: and, or, not и xor. Давайте разберем каждую операцию отдельно и составим таблицы истинности. Примем за 1 - true, а за 0 - false.
And, или конъюнкция.
Логическое умножение, истинно только тогда, когда оба простых высказываний истинны. Or, или дизъюнкция.
Истинно, если хотя бы одно простое высказывание истинно.
Xor, или строгая дизъюнкция.
Истинно, если ровно одно из двух простых высказываний истинно. Not, или инверсия.
Если высказывание истинно, то его отрицание - ложь и наоборот. Задачи Boolean.
Закрепим полученные знания, решив пару задачек.
. Дано целое число A. Проверить истинность высказывания: «Число A является положительным».
Program Boolean1; var a: integer; begin write("Введите число A: "); read(a); writeln("Число A является положительным - ", a > 0); {Простое высказывание.} end.
. Дано целое число A. Проверить истинность высказывания: «Число A является нечетным».
Для того чтобы узнать, является ли данное число нечетным в Паскале предусмотрена специальная функция Odd, которая возвращает true , если число нечетное и false , если число четное.
Program Boolean2; var a: integer; b: boolean; begin write("Введите число A: "); read(a); b:= Odd(a); writeln("Число A является нечетным - ", b); { Можно обойтись и без b } end.
. Дано целое число A. Проверить истинность высказывания: «Число A является четным».
Для того чтобы узнать является ли число нечетным, используем уже известную нам функцию, затем инвертируем результат.
Program Boolean3; var a: integer; b: boolean; begin write("Введите число A: "); { 6 } read(a); b:= Odd(a); { False } writeln("Число A является четным - ", not b); { True } end.
. Даны три целых числа: A, B, C. Проверить истинность высказывания: «Число B находится между числами A и C».
Program Boolean7; var a, b, c: integer; b1, b2: boolean; begin write("Введите число A, B, C: "); read(a, b, c); b1:= (B > A) and (B < C); b2:= (B > C) and (B < A); { Надо учитывать оба варианта } writeln("Число B находится между числами A и C - ", b1 or b2); end.
. Даны два целых числа: A, B. Проверить истинность высказывания: «Ровно одно из чисел A и B нечетное».
Используем xor.
Program Boolean10; var a, b: integer; c:boolean; begin write("Введите число A, B: "); read(a, b); c:= (Odd(a)) xor (Odd(b)); { Сколько скобок 🙂 } writeln("Ровно одно из чисел A и B нечетное - ", c); end.
. Дано четырехзначное число. Проверить истинность высказывания: «Данное число читается одинаково слева направо и справа налево».
Используем знания, полученные в уроке.
Итак, данная задача проверяет является ли введенное четырехзначное число палиндромом. Наверняка, самый известный палиндром - фраза Мальвины: «А роза упала на лапу Азора.» (Попробуйте прочитать это предложение справа налево)
Program Boolean23; var a, b, c, d, e, f: integer; b1, b2: boolean; begin write("Введите число четырехзначное число: "); read(e); a:= e div 1000; b:= e mod 1000 div 100; c:= e mod 100 div 10; d:= e mod 100 mod 10; f:= d * 1000 + c * 100 + b * 10 + a; writeln("Данное число является палиндромом - ", f = e); end.
На сегодня все! Не забывайте периодически заходить к нам на сайт, подписывайтесь и кликайте по кнопочкам!
Логические выражения (условия) в языке Паскаль используются в операторах if и при организации повторений, а именно в циклах while и repeat–until.
Примеры логических выражений:
1 . a > 2*b
2 . sin(sqr(a)) <= exp(cos(b))–2.3
3 . (a <= 3) and (b > a/2)
Логические выражения строятся на основе операций отношения
(<, >, <= , >=, =, <>)
и логических операций
and (логическое и),
or (логическое или),
not (логическое отрицание),
xor (исключающее или).
Результатом выполнения логического выражения является логическое значение true (истина) или false (ложь). В сложных логических выражениях в первую очередь выполняются арифметические операции, затем – логические операции, а в последнюю очередь – операции отношения.
24 Pascal. Условный оператор if. Формат и принцип действия.
Структура условного оператора if имеет вид:
If <условие> then <оператор1> else <оператор2>;
где if, then, else – зарезервированные слова (если, тогда, иначе);
<условие> – логическое выражение;
<оператор1> и <оператор2> – любые операторы языка Паскаль (простые или составные).
Пример : if sin(а)>b then y:= a
Оператор if работает следующим образом:
<условие> (true (истина) или false (ложь)).
Если значение <условие> – true (истина), то выполняется <оператор1>, а <оператор2> игнорируется.
Если значение <условие> – false (ложь), то выполняется <оператор2>, а <оператор1> игнорируется.
Сокращенная конструкция оператора if
if < условие > then < оператор >;
Примеры : if a< 2*b then y: = a/2 ;
if a< 2*b then begin
B примере 1 оператор y:=a/2; является простым оператором языка Паскаль.
В примере 2 оператор begin y:=2*a; writeln(y) end; является составным оператором языка Паскаль.
Составной оператор – это группа операторов, заключенная в операторные скобки begin end:
begin <операторы>;
Применяется, когда можно выполнить только один оператор по правилам синтаксиса Паскаля, а по задаче предполагается выполнение группы операторов.
Оператор if сокращенной конструкции выполняется следующим образом.
Вычисляется значение логического выражения <условие>.
Если результатом является значение true, управление передается на <оператор>.
Если результатом условия является значение false, <оператор> игнорируется, и управление выполнением программы передается на следующий оператор в программе.
25 Pascal. Оператор выбора case…of. Формат и принцип действия. Оператор выбора Case
Если условный оператор if позволяет реализовать одно из двух возможных продолжений программы, то оператор case предоставляет возможность выбрать одно из нескольких продолжений программы.
Данный оператор имеет структуру:
case <выражение-селектор> of
<список1>: <оператор1>;
<список2>: <оператор2>;
<список N >: <оператор N >
else <оператор>
Здесь <выражение-селектор> – выражение или, в частном случае, переменная любого скалярного типа, кроме вещественного (обычно это переменная типа byte, integer, boolean или char);
<список1, список2, ... списокN> – списки констант, значения которых может принимать выражение-селектор. Каждый из списков может представлять собой константу, диапазон констант или несколько констант (диапазонов), разделенных запятой.
Конструкция else в операторе case может отсутствовать.
Оператор case выполняется следующим образом.
Анализируется значение выражения-селектора.
Если значение выражения-селектора не совпадает ни с одной из констант в списках констант, управление передается оператору, стоящему после слова else, а в случае отсутствия слова else, оператору, следующему за оператором case.
На занятии происходит знакомство с логическим типом Boolean в Паскале. Рассмотривается алгоритм того, как находится минимальное и максимальное число в Паскале
Сайт сайт предоставляет лабораторные задания по теме для закрепления теоретического материала и получения практических навыков программирования на Паскале. Краткие теоретические сведения позволят получить необходимый для этого минимум знаний. Решенные наглядные примеры и лабораторные задания изложены по мере увеличения их сложности, что позволит с легкостью изучить материал с нуля. Желаем удачи!
Мы уже научились писать программы, основанные на линейных алгоритмах, в Паскале. И даже уже составляем нелинейные алгоритмы — с ветвлением — в которых используются , которые принимают значения true или false .
Значения логического типа:
В примере ниже, на экран выводится результат логического выражения:
| 1 2 3 4 5 6 | var A: integer ; begin A : = 5 ; write (A > 0 ) ; {Будет выведено True} end . |
var A: integer; begin A:= 5; write(A > 0); {Будет выведено True} end.
Для записи результата логического выражения используется специальная логическая переменная, которая имеет в Паскале тип boolean и может также принимать одно из двух значений - true или false .
Посмотрим, как работает та же самая задача с логической переменной:
| 1 2 3 4 5 6 7 8 | var A: integer ; b: boolean ; begin A : = 5 ; b: = A > 0 ; write (b) ; {Будет выведено True} end . |
var A: integer; b: boolean; begin A:= 5; b:=A > 0; write(b);{Будет выведено True} end.
Пример: Рассмотрим пример работы с типом boolean в pascal:
var a:boolean; begin a:=true; if a=true then writeln ("истина") else writeln("ложь"); end.
Для создания сложных условий используются специальные : and , or , not и xor .
Задача Boolean 1. Дано целое положительное число. Проверить истинность высказывания: «оно является четным»
Рассмотрим пример с использованием логической операции XOR:
Пример: Запросить два целых: X, Y. Проверить истинность высказывания: «Только одно из чисел X и Y является нечетным»
program Boolean; var x,y: integer; c:boolean; begin write("Введите X, Y: "); read(x,y); c:= (Odd(x)) xor (Odd(y)); writeln("Только одна из переменных X и Y имеет нечетное значение - ", c); end.
Рассмотрим еще одно решение задачи в Паскале с использованием логической переменной:
Задача Boolean 2. Даны три целых числа: A, B, C. Проверить истинность высказывания: «B находится между числами A и C».
Рассмотрим решение более сложной задачи с переменной логического типа:
Пример: Дано трехзначное число. Проверить истинность высказывания: «Все цифры данного числа различны».
Показать решение:
| 1 2 3 4 5 6 7 8 9 10 11 12 13 | const a= 348 ; var d_n, s_n, e_n: integer ; flag: boolean ; begin flag: = false ; s_n: = a div 100 ; d_n: = ((a mod 100 ) div 10 ) ; e_n: = a mod 10 ; if (s_n<>d_n) and (d_n<>e_n) and (e_n<>s_n) then flag: = true ; writeln (flag) ; end . |
const a=348; var d_n, s_n, e_n: integer; flag:boolean; begin flag:=false; s_n:=a div 100; d_n:=((a mod 100)div 10); e_n:=a mod 10; if (s_n<>d_n) and (d_n<>e_n) and (e_n<>s_n) then flag:=true; writeln(flag); end.
Здесь каждый разряд получается путем использования операций деления нацело и взятия остатка от деления: s_n — это цифра сотого разряда, d_n — цифра десятого разряда, e_n — единицы.
Задача Boolean 3. Дано целое N > 0 . С помощью операций деления нацело и взятия остатка от деления определить, имеется ли в записи числа N цифра «2». Если имеется, то вывести TRUE , если нет - вывести FALSE .
Задача Boolean 4. Дано целое положительное. Проверить истинность высказывания: «Данное число является нечетным трехзначным».
Минимальное и максимальное число в Паскале
При организации поиска минимального или максимального числа среди ряда чисел всегда на помощь приходит старенький «бабушкин» алгоритм:
- Представим ситуацию, что мы жарим пирожки, и уже нажарили целую большую горку; теперь надо выбрать из них самый большой, т.е. в нашем случае максимальный.
- Берем верхний пирожок, т.е. первый, и говорим, что он пока самый большой и откладываем его в сторону.
- Затем берем второй и сравниваем с самым большим, если этот второй пирожок оказывается больше — откладываем его на место «бывшего самого большого» и говорим, что теперь он самый большой.
- Берем следующий и повторяем действия. Так осуществляем данную процедуру со всеми пирожками.
Иногда в качестве первоначального максимума назначается самое малое возможное число (в зависимости от контекста задачи). А в качестве минимума — напротив, самое большое возможное число. Например, если сказано, что необходимо найти максимальное / минимальное среди положительных чисел, меньших 1000, то:
max: = 0 ; min: = 1000 ; Понятие типа данных в Турбо Паскаль
Для обработки ЭВМ данные представляются в виде величин и их совокупностей. С понятием величины связана такая важная характеристика, как ее тип.
Тип определяет:
· возможные значения переменных, констант, функций, выражений, принадлежащих к данному типу;
· внутреннюю форму представления данных в ЭВМ;
· операции и функции, которые могут выполняться над величинами, принадлежащими к данному типу.
В языке Паскаль тип величины задают заранее. Все переменные, используемые в программе, должны быть объявлены в разделе описания с указанием их типа. Обязательное описание типа приводит к избыточности в тексте программ, но такая избыточность является важным вспомогательным средством разработки программ и рассматривается как необходимое свойство современных алгоритмических языков высокого уровня.
Иерархия типов в языке Паскаль такая:
· Простые
o Порядковые
§ Логические
§ Символьные
§ Перечисляемые
§ Интервальные
o Вещественные
· Структуированные
o Массивы
o Множества
· Указатели
Логические типы данных
Прямое отношение к программированию имеет дисциплина, которая называется математической логикой. Основу математической логики составляет алгебра логики, или исчисление высказываний. Под высказыванием понимается любое утверждение, в отношении которого можно однозначно сказать, истинно оно или ложно. Например, «Луна - спутник Земли» - истинно; «5>3» - истинно; «Москва- столица Китая» - ложно; «1=0» - ложно. Истина или ложь являются логическими величинами. Логические значения приведенных выше высказываний однозначно определены; другими словами, их значения являются логическими константами. Логическое значение неравенства x < 0, где x – переменная, является переменной величиной. В зависимости от значения x оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.
Основы формального аппарата математической логики создал в середине XIX в. английский математик Джордж Буль. В его честь исчисление высказываний называют булевой алгеброй, а логические величины – булевскими.
Одиночные высказывания могут быть объединены в составные логические формулы с помощью логических операций.
Имеются три основные логические операции: отрицание, конъюнкция (логическое умножение) и дизъюнкция (логическое сложение).
Операция отрицания обозначается в математической логике значком и читается как НЕ. Это одноместная операция.
Например, (x = y) читается «не (x равно y)». В результате получится истина если x не равно y, и ложь, если x равно y. Отрицание изменяет значение логической величины на противоположное.
Операция конъюнкции обозначается значком & и читается как И. Это двухместная операция. Например, (x > 0) & (x < 1) читается «x больше 0 и x меньше 1». Данная логическая формула примет значение истина, если x Є (0,1), и ложь – в противном случае. Следовательно, результат конъюнкции – истина, если истинны оба операнда. Знак операции дизъюнкции V читается как ИЛИ. Например, (x = 0) V (x = 1) читается «x равно 0 или x равно 1». Формула дает истину, если x – двоичная цифра (0 или 1). Следовательно, дизъюнкция дает в результате истину, если хотя бы один операнд - истина.
В Турбо Паскале логические значения обозначаются служебными словами True (истина) и False (ложь), а логический тип данных носит название BOOLEAN.
Все реализации языка Pascal, в том числе и Turbo Pascal, вплоть до версии 6.0 содержали только один логический тип данных Boolean, элементы которого могут принимать лишь два вышеуказанных логических значения. В Turbo Pascal версии 7.0 добавлены еще три логических типа данных: ByteBool, WordBool и LongBool.
По аналогии с целыми и символьными типами, подразделяющимися на физические и логические, естественно предположить, что ByteBool, WordBool и LongBool - физические типы, Boolean - логический. Но в данном случае это не совсем так. Все четыре типа различны. Для Turbo Pascal логический тип Boolean более предпочтителен, так как он использует меньшее количество памяти, остальные типы были введены для обеспечения совместимости разрабатываемых программ с Windows, в которой значению False соответствует 0, а значению True – любое, отличное от 0, число.
Данные логического типа занимают один байт памяти. При этом значению false соответствует нулевое значение байта, а значению true соответствует любое ненулевое значение байта. Например: false всегда в машинном представлении: 00000000; true может выглядеть таким образом: 00000001 или 00010001 или 10000000.
Однако следует иметь в виду, что при выполнении операции присваивания переменной логического типа значения true, в соответствующее поле памяти всегда записывается код 00000001. В этих операциях операнды логического типа рассматриваются как единое целое - вне зависимости от битового состава их внутреннего представления. Кроме того, следует помнить, что результаты логического типа получаются при сравнении данных любых типов. Логические константы языка Turbo Pascal TRUE (истина) и FALSE (ложь) можно использовать в явном виде или обозначать именем в разделе CONST, например:
Логическая переменная тоже может принимать два значения TRUE и FALSE. Логические переменные должны быть описаны предложением:
Var <имя_переменной>: boolean; (Variable – переменная).
Например: var L,A,C:boolean;
Следует обратить внимание на то, что в разделе описания переменных необходимо определить тип переменных, используемых в программе. Например,
Var P,Q,R: Integer;
В разделе операторов логическому типу переменной можно присвоить значение логической константы, например:
L1:=true; L2:=false; L3:=L1;
Величины логического типа данных можно присваивать, выводить, но нельзя вводить процедурой read.
Пример переменных с булевым значением