Основы программирования на rubyEvgeny SmirnovРассказывается об основах программирования на ruby: переменные, типы переменных, операции и пр. В конце приводятся блок-схема решения линейного уравнения.
Кванторные операции над предикатами. Формула логики предикатов. Тавтологии ло...Ильдус СитдиковПрезентация по математической логике на тему "Кванторные операции над предикатами. Формула логики предикатов. Тавтологии логики предикатов"
Предикаты. Основные понятия, связанные с предикатамиИльдус СитдиковПрезентация по математической логике на тему "Предикаты. Основные понятия, связанные с предикатами"
Java - основы языкаЛеонид СтавилаКлючевые слова, типы, переменные операторы, команды, массивы. По-сути, готовился материал для собеседования, и для закрепления результата была создана данная презентация. Имеется более развёрнутый документ.
Здоровая критика, дополнения и замечания приветствуются.
Кванторные операции над предикатами. Формула логики предикатов. Тавтологии ло...Ильдус СитдиковПрезентация по математической логике на тему "Кванторные операции над предикатами. Формула логики предикатов. Тавтологии логики предикатов"
Предикаты. Основные понятия, связанные с предикатамиИльдус СитдиковПрезентация по математической логике на тему "Предикаты. Основные понятия, связанные с предикатами"
Java - основы языкаЛеонид СтавилаКлючевые слова, типы, переменные операторы, команды, массивы. По-сути, готовился материал для собеседования, и для закрепления результата была создана данная презентация. Имеется более развёрнутый документ.
Здоровая критика, дополнения и замечания приветствуются.
Линейные кодыAlex DainiakЛинейные коды. Определения. Порождающая и проверочная матрицы. Связь кодового расстояния с проверочной матрицей. Граница Варшамова—Гилберта. Систематическое кодирование. Декодирование по синдрому. Коды Хемминга.
Остаточный код. Граница Грайсмера—Соломона—Штиффлера.
1. Элементы языка и
типы данных.
Арифметические
операции
11 класс
2012г.
2. Алфавит Паскаля
• латинские буквы от a до z (строчные и заглавные);
• цифры от 0 до 9;
• разделители: запятая, точка с запятой, точка, двоеточие, '
апостроф, кавычки, скобки, символ <Пробел>;
• знаки арифметических действий: + (сложение), -
(вычитание), * (умножение), / (деление);
• знаки операций отношений: > (больше), < (меньше),
>= (больше или равно), <= (меньше или равно), <> (не
равно), = (равно);
• специальные символы: $, @, ^, #.
3. Константы
• Программа оперирует данными, которые могут быть
постоянными (константы) или изменяться в ходе
выполнения программы (переменные).
• Константы (данные, которые в процессе выполнения
программы не меняют свои значения,)
в Паскале существуют трех видов -
числовые, символьные и логические.
• Числа в Паскале записываются обычным образом - в
десятичной системе счисления. Вместо десятичной
запятой используется точка.
Числа со степенью записывают
в экспоненциальной форме (например,
7,53.1012 запишется в виде 7,53E+12 или 7,53E12, а 10-
17 запишется как 1Е-17).
4. Константы
Тип константы Интервал значений Пример
Целый От -32768 до 32767 5 -256
От 2.9.10-39 до 1.7 .1038
Вещественный 12.5 5.03Е-23
(по абсолютному значению)
До 256 символов, 'мы учим
Символьный
заключенных в апострофы программирование'
False (ложь), true
Логический Два значения
(истина)
5. Комментарии
Следующие конструкции представляют собой
комментарии и поэтому пропускаются компилятором:
{любой текст, не содержащий символ «фигурная скобка»}
(* любой текст, не содержащий символы «звездочка,
круглая скобка»*)
//последующий текст до конца строки
Буквы русского алфавита употребляются только в
комментариях, символьных и текстовых константах.
6. Концепция типов данных в Паскале
ТИПЫ Простые Порядковые Целочисленные
Вещественные Логический
Структурные Массив Символьный
Строковый Перечислимые
Множество Ограниченные
Запись
Ссылочный
Файл
7. Переменные
Правила создания имен переменных:
• Допускается использование только английских букв и
цифр.
• Начинаться должно с буквы.
• Длина не более 63 символов.
• Прописные и строчные буквы считаются одинаковыми.
• Должны не совпадать с зарезервированными словами.
Зарезервированые слова – это специальные
идентификаторы, которые используются строго по
назначению. Как правило, такие слова обозначают какие-
либо действия или структуры в языке.
• Имена не должны повторяться для разных объектов.
8. Типы данных
Тип Размер
Описание Интервал значений
переменной памяти
Целый integer -32768 .. 32767 2 байта
Длинный целый longint -2147483648 .. 2147483647 4 байта
Короткий целый shortint -128 .. 127 1 байт
Байт byte 0 .. 255 1 байт
Слово word 0 .. 65535 2 байта
2.9.10-39 .. 1.7 .1038
Вещественный real 6 байт
(по абсолютному значению)
Вещественный
От 5.10-324 до 1.7 .10308
двойной double 8 байт
(по абсолютному значению)
точности
Строковый string До 255 символов
Символьный char Один символ 1 байт
Логический
boolean Два значения 1 байт
(булевский)
9. Типы данных
Тип данных называется порядковым, если он состоит из
счетного количества значений, которые можно
пронумеровать.
Перечислимый тип задается непосредственно
перечислением (списком) всех значений, которые может
принимать переменная данного типа.
Type Gaz = (C, O, N, F);
Ограниченный тип задается как упорядоченное
ограниченное подмножество некоторого порядкового типа:
Type Numbers = 1..31;
Одна величина простого типа имеет одно значение. Одна
величина структурного типа имеет множество значений.
10. Арифметические выражения
Арифметические выражения строятся из операндов, которыми могут
быть константы, переменные и стандартные функции. В
арифметические выражения также входят арифметические операции
и круглые скобки. В языке Паскаль определено 6 арифметических
операций. Операции с одинаковым приоритетом равноправны между
собой и выполняются слева направо, как и в математике.
Приоритет Знак Описание операции
операции
* умножение
/ деление
1 деление 2 целых значений с отбрасыванием
div остатка
mod взятие остатка от деления 2 целых значений
+ сложение
2
- вычитание
11. Стандартные функции языка Паскаль
Математическая Запись на Тип
запись Паскале Пояснение аргумента и
результата
|x| abs(x) Модуль аргумента x Integer (I) или Real
(R)
x2 sqr(x) Квадрат аргумента x аргумент - I или R,
результат - r
sin x sin(x) Остальные тригонометрические аргумент - I или R,
cos x cos(x) функции выражаются через эти результат - R
arctg x arctan(x)
ex exp(x) Экспонента и натуральный логарифм аргумент - I или R,
ln x ln(x) результат - R
sqrt(x) Квадратный корень от аргумента x аргумент - I или R,
результат - R
p pi Функция без аргументов, вернет R
число p
trunc(x) Функция отбрасывает дробную часть аргумент R,
аргумента, аргумент не округляется результат I
Функция выделяет
frac(x) дробную часть своего R
аргумента
round(x) Округление вещественного числа до аргумент R,
ближайшего целого результат I
12. Возведение числа в произвольную
степень
В Паскале нет операции или стандартной функции возведения числа
в произвольную степень. Для вычисления xy рекомендуется поступать
следующим образом:
а) если y – целое значение, то его степень вычисляется через
умножение; например, x3= x*x*x; большие степени следует вычислять
умножением в цикле;
б) если y – вещественное значение, то используется следующая
математическая формула: xy = eyln(x). На Паскале получим
арифметическое выражение:
Exp (Y*Ln(x))
Очевидно, что при вещественном y не допускается нулевое или
отрицательное значение x. Для целого y такого ограничения нет.
13. Логические выражения и
операции
• Для того, чтобы программа была не линейной (т.е. в
зависимости от ситуации выполнялись разные
инструкции) в языках программирования
используются логические выражения, результат которых
может быть либо правдой (true), либо ложью (false).
Результат логических выражений обычно используют для
определения пути выполнения программы.
• Простые логические выражения являются
результатом операций отношения между двумя
операндами (значениями).
14. Логические выражения и
операции
Условное выражение - совокупность переменных и констант
простых типов, объединеных знаками операций сравнения. Результат
вычисления условного выражение - одно из двух логических значений
типа Boolean: True (истина) или False (ложь).
В языке Паскаль определены шесть операций сравнения (все они
относятся к четвертому (низшему) приоритету):
<меньше
>больше
<=меньше или равно
>=больше или равно
=равно
<>не равно
Типы операндов должны быть совместимыми по присваиванию.
15. Логические выражения и
операции
Условное выражение - совокупность переменных и констант
простых типов, объединеных знаками операций сравнения. Результат
вычисления условного выражение - одно из двух логических значений
типа Boolean: True (истина) или False (ложь).
В языке Паскаль определены шесть операций сравнения (все они
относятся к четвертому (низшему) приоритету):
<меньше
>больше
<=меньше или равно
>=больше или равно
=равно
<>не равно
Типы операндов должны быть совместимыми по присваиванию.
16. Логические выражения и
операции
Логическое выражение - это совокупность переменных и констант
логического типа, а также условных выражений, объединенных знаками
логических операций. Операндами логических операций могут
выступать другие логические выражения. Результат вычисления
логического выражение, как и в случае условных выражений, - одно из
двух логических значений типа Boolean: True (истина) или False (ложь).
В Паскале предусмотрены четыре логические операции:
Приоритет Операция Название
I-й NOT логическое отрицание
II-й AND логическое умножение
III-й OR логическое сложение
III-й XOR логическое исключающее сложение
17. Логические выражения и
операции
L1 L2 not L1 L1 and L2 L1 or L2 L1 xor L2
False False True False False False
False True True False True True
True False False False True True
True True False True True False
18. Источники
• Семакин И.Г. Информатика и ИКТ. Профильный уровень: учебник для
11 класса/ И.Г.Семакин, Е.К.Хеннер, Л.В.Шестакова.– М.: БИНОМ.
Лаборатория знаний, 2012.
• Рапаков Г.Г.. Ржеуцкая С.Ю. Turbo Pascal для студентов и школьников.
– СПб.: БХВ-Петербург, 2005.
• http://www.tehcollege.narod.ru/paskal/alfavit.htm
• http://pas1.ru/boolean
• http://physics.herzen.spb.ru/library/03/01/pp/TPHelp/expressions.htm