МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах
РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ" ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах Гендерна антидискримінаційна експертиза може зробити нас моральними рабами ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів Контакти
Тлумачний словник |
|
|||||||
Аксіоматика простих типів данихПрості типи – це перелічувані типи, а також “цілий – integer (i)”, “дійсний – real (r)“, “булевий – boolean (b)“ і “символьний – character (с)“. Вони мають вигляд: type T = X (х1, х2, .... хn), де Т – ім'я типу, а ( х1, х2, ...., хп ) – імена значень з множини значень X типу Т. Операції над перелічуваними типами включають бінарні операції співставлення й унарні операції pred і succ, що задають відповідно попередній та наступний елементи в множині X. Операції співставлення (<, ≤, >, ≥, = , ≠), далі (≤), визначають лінійний порядок елементів множини X. Булевий тип визначений на множині значень Хb і операцій Ωb: Хb = {false, true}, Ωb = {&, V, , pred, succ, ≤}. Символьний тип визначений на множині значень Хс і множині операцій Ωc : Хс = {... , ’А’ ... , ’Х ’ ... , ’0’, ’1’, . .. , ’9’}, Ωc ={pred, succ, ord, chаr, ≤}. Операція ord додає кожному символові його порядковий номер, а chаr для цього номера – значення. Аксіоми даних типів мають такий вид: X . min X, X . max X, ( x X) & ( x ≠ X . max) succ (x) X. ( x X)& ( x ≠ X . max) succ (x)≠ X . min, де X.min і X.max – мінімальний та максимальний елементи множини X. Числові типи (integer і real) мають обмеження, зв'язані з архітектурою або з явним описом параметрів компонентів. Їм відповідають базові типи, обумовлені як відрізки виду: type T = (X.min, …, X.max), де X.min і X.max мінімальний та максимальний елементи цього відрізку. Для будь-якого х Х виконується умова х.min < х < х.max. Значення х залежить від реалізації цього типу конкретним транслятором з урахуванням архітектури комп'ютера. Над змінними цілого типу виконуються аналогічні операції, до них додаються операції цілочисельної арифметики: унарні мінус, +, –, , div і mod Цілий тип даних на заданому відрізку визначається наступними аксіомами: Xi = {Хi.min, Xi.max + 1, … Хi .max}, Ωi = {+, , div, –, ≤}, type Ti = (Xi.min ,…, Xi .max). Дійсний тип визначається за допомогою операцій співставлення і звичайних арифметичних операцій (унарний мінус, +, –, , /). Аксіоми речовинного типу на відрізку такі: Хr = {x | Хr.min ≤ x ≤ Хr.max }, Ωr = {+, , /, – , ≤ }, type Tr = (Хr.min ,…,Хr max). Будь-які типи даних приводяться до базового типу, перетворюються до необхідного виду, заданого в програмі, і після одержання результату базовий тип приводиться до вихідного типу за допомогою наступних аксіом: ( x X) Т(Т0(х)) = х, ( x1 X) & ( x2 X) ( x1 ≤ x2 ) ≡ (T0(x1) ≤. T0(x2)) . В них Т0позначає базовий тип для типу Т. Операції перетворення значення Т0(х) до Т(х) визначають відповідний базовий тип при виконанні арифметичних операцій : ( x1 X) & ( x2 X) (x1 x2) ≡ T(T0(x1) T0(x2)). Читайте також:
|
||||||||
|