Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Зубенко, Омельчук - Програмування. Поглиблений курс

.pdf
Скачиваний:
58
Добавлен:
07.03.2016
Размер:
5 Мб
Скачать
☆

ПРЕДМЕТНИЙ ПОКАЖЧИК

вибір

 

 

– зовнішні

12

 

– детермінований

3

 

– локальні

12

 

– недетермінований

3

 

– регістрові

12

 

вибух комбінаторний

29

 

– статичні

12

 

видалення рядка

27

 

денотат

8

 

визначеність

5

 

дерево

 

 

виклик функції

17

 

– бінарне

4

26

виключення

23

 

– виведення

4

 

вимір системи рекурентних

 

– пошуку

4

 

послідовностей

9

 

– – збалансоване

4

 

вираз

 

 

– синтаксичне

28

 

– послідовний

13

 

дескриптор

8

22

– -присвоювання

13

 

директива

 

 

– регулярний

4

 

– #define

20

12

– умовний

13

 

– #elif

20

 

висновок

10

 

– #else

20

 

відкривання файла

19

 

– #endif

20

 

відкрите хешування

27

 

– #error

20

 

віднімання матриць

25

 

– #if

20

 

відношення

2

 

 

 

– #ifdef

20

 

– агрегації

11

 

 

 

– #ifndef

20

 

– асоціації

11

 

 

– залежності

11

 

– #include

20

 

– композиції

11

 

– #line

20

12

– узагальнення

11

 

– #pragma

20

 

– UML

11

 

– #undef

20

 

відображення

2

 

– препроцесора

20

 

 

діаграма

 

 

– монотонне

2

 

 

 

 

– взаємодії

11

 

– неперервне

2

 

 

 

– використання (прецедентів)

1

відповідність

2

 

 

– Гессе

2

 

– алгоритмічно обчислювальна

5

 

– діяльності

11

 

віртуальний метод

22

 

 

 

– Ейлера – Венна

2

 

включення файлів

20

 

 

 

– класів

11

 

 

 

 

 

Генератор звітів

6

 

– компонентів

11

 

гіпотеза

10

 

– поведінки

11

 

 

– реалізації

11

 

глибина рекурсії

17

 

 

 

– розгортання

11

 

голова списку

26

 

 

 

– синтаксична

4

 

гомоморфізм

4

 

 

 

– станів

11

 

граф

 

 

 

 

 

добуток множин декартів

2

 

– зважений

4

 

 

 

додавання

 

 

– неорієнтований

4

 

 

 

 

– матриць

25

 

– орієнтований

4

 

 

 

– рядка

27

 

графік

 

 

 

 

 

доказове програмування

6

 

– алгоритму

5

 

 

 

документування

6

 

– функції

3

 

 

 

доповнення множини

2

 

 

 

 

 

Дані

0

 

драйвер

7

 

– автоматичні

12

 

друзі (friend)

23

 

– глобальні

12

 

 

 

 

611

ПРОГРАМУВАННЯ

Еквівалентність

2

 

– ядерна

4

 

експлуатація

6

 

– (атестація) дослідна

6

 

елементарність

5

 

ЕОМ

0

 

Життєвий цикл

6

 

Забезпечення програмне

0

 

завантажник

7

 

задача

 

 

– пошуку

 

 

– сортування

24

 

закони булевої алгебри множин

2

закривання файла

19

 

замикання бінарного відношення

 

транзитивне

2

 

запит

0

 

зв'язка логічна

1

 

зв'язування

8

 

– пізнє

22

 

– раннє

22

 

зведення

 

 

– бінарні

13

 

– дійсних типів

13

 

– знижувальне

23

 

– покажчиків

16

 

– типів у операціях присвоювання 13

– унарні

13

– фактичних параметрів функцій 13

– цілих типів

13

зменшення покажчиків

16

змінна

 

– арифметична

13

– булева

13

– з індексами

15

– порядкова

13

– предметна

1

– пропозиційна

1

– складена

18

– символьна

13

– стандартна

13

значення виразу

13

зображення

– графа у вигляді матриці суміжності29

– графа у вигляді списку суміжних

вершин

29

 

– розрідженої матриці

 

 

– – – спискове

 

 

– – – повне рядкове

25

 

Ідентифікатори

12

 

ідеограма

8

 

ізоморфізм

4

 

ін'єкція

3

 

індекс еквівалентності

2

 

ініціалізація

 

 

– даного

12

 

– локальних даних

14

 

– символьних рядків

15

 

ініціатор масиву

15

 

інкапсуляція

8

 

інтелект-карта

8

 

інтерпретатор

7

 

інтерпретація ССП

9

 

інформатика як наука

0

 

ітератор

26

 

ітерація

3

14

Кваліфікатор типу

 

 

– const

12

 

– volatile

12

 

квантор

1

 

КВ-граматика

4

 

Клас

 

 

– абстрактний

22

11

– базовий

22

 

– керівний

11

 

– конкретний

11

 

– -нащадок

22

 

– пам'яті

12

 

– – auto

12

 

– – extern

12

15

– – register

12

16

– – static

12

15

– прикордонний

11

 

– –сутності

11

 

– fstream

21

 

– ifstream

21

 

– ofstream

21

 

– string

21

22

класифікація мов програмування за

предметною орієнтацією

8

ключ

24

612

кодова таблиця

8

– ASCII

8

– UCS-2

8

– UCS-4

8

– Unicode

8

кодування

6

колізія

27

команди

7

– арифметичні

7

– завантаження

7

– зберігання

7

– керування пристроями введення-

виведення

7

– пересилання адрес

7

– перетворення

7

– переходу

7

– порівняння

7

компілятор

7

компіляція

 

– роздільна

12

– умовна

20

композиція

 

– множення

3

– програм

6

– рангу 1

3

конгруенція

4

конкретизація (інстанціювання) 23

константи

12

 

– NULL

16

 

конструктор

10

22

– рекурентної послідовності

9

контейнерні типи

 

 

– – векторів послідовні

26

 

– – відношень і множин асоційовані 26

кортеж

2

 

Лексема

8

12

літера

7

 

– широка

8

 

лічильник команд

7

 

логіка програм імперативна

6

Макрос

20

 

– параметризований

20

 

– простий

20

 

– EOF

19

 

мантиса

7

 

масив

15

 

ПРЕДМЕТНИЙ ПОКАЖЧИК

– динамічний

15

16

– покажчиків

16

 

– – функцій

17

 

– багатовимірний

15

 

– надвеликий

16

 

– як формальний і фактичний параметр

функції

15

масовість

5

матриця

4

– розріджена

25

мережа

4

метамова

8

метод

 

– вбудований

22

– Гаусса – Жордана

25

– захищений

22

– класу string

 

– – – seekg

21

– – – seekp

21

– – – append

21

– – – assign

21

– – – at

21

– – – begin

21

– – – c_str

21

– – – capacity

21

– – – class

22

– – – clear

21

– – – compare

21

– – – copy

21

– – – data

21

– – – empty

21

– – – end

21

– – – erase

21

– – – find

21

– – – find_first_not_of

21

– – – find_first_of

21

– – – find_last_not_of

21

– – – find_last_of

21

– – – insert

21

– – – length

21

– – – max_size

21

– – – push_back

21

– – – rbegin

21

– – – rend

21

– – – replace

21

– – – reserve

21

– – – resize

21

– – – rfind

21

613

ПРОГРАМУВАННЯ

– – – size

21

– – – substr

21

– – – swap

21

– рекурсивного спуску з поверненням

 

28

 

– структурної індукції

4

 

методи-друзі

23

 

множення відношень

2

 

множина

2

 

– індексована

2

 

– розв'язна

5

 

– твірна

4

 

мова

 

 

– алгоритмічна

5

 

– вербальна

8

 

– Діка

4

10

– контекстно-вільна

4

 

– програмування

0

 

– – високого рівня

8

 

– – декларативна

 

 

– – із сильною типізацією

8

 

– – із слабкою типізацією

8

 

– – машинно-залежна

8

 

– – практична

 

 

– – процедурно-орієнтована

8

– – спеціалізована

8

 

– – теоретична

 

 

– – універсальна

 

 

– регулярна

4

 

– специфікацій

11

 

– UML

11

 

моделі еквівалентні

4

 

моделювання динамічного масиву 16

модель системи

4

– – наближена

4

– – сильна

4

– – точна

4

модуль об'єктний

7

мультиграф

4

Налагодження 6 налагоджувач 7 нормальне розширення X-арної функції

5

Об'єднання множин

2

 

об'єкт

21

22

– інформаційний

5

 

– класу

22

 

– cerr

21

 

– cin

21

 

– cout

21

 

обернення відношень

2

 

область існування даного

12

 

обробка виключення

23

 

обхід

3

14

– бінарного дерева

26

 

обчислення за процедурою 3 обчислювальна система електронна 0

означення множини індуктивне

10

операнд

1

 

опeрaтор

14

 

– базовий

14

 

– виклику функції

14

 

– -вираз

14

 

– виходу з функції return

14

 

– декларації

8

12

– – масиву

15

 

– з міткою

14

 

– налагоджувальний

11

 

– обходу if

 

 

– опису

8

12

– – масиву

15

 

– первинний

8

 

– перемикач switch

14

 

– переходу goto

14

 

– переривання break

14

 

– порожній

14

 

– присвоювання

5

 

–продовження continue 14

–розгалуження if-else

– складений

14

 

– структурований

14

 

– catch

23

 

– delete

21

 

– for

14

 

– friend

23

 

– inline

17

22

– list

23

 

– namespace

21

 

– new

21

 

– private

22

 

– protected

22

 

– public

22

 

614

– struct

18

 

– template

23

 

– throw

23

 

– try

23

 

– typedef

12

 

– union

18

 

– using

21

 

– vector

23

 

– while-do

14

 

операційна

 

 

– семантика

8

 

– система

7

 

операційний об'єкт

8

 

Операція

12

 

– арифметична бінарна

13

 

– – унарна

13

 

– взяття адреси &

16

 

– з таблицями

27

 

– еквітонна

5

 

– індексації

16

 

– індексування [ ]

15

 

– конкатенації ##

20

 

– крапка .

18

 

– мови C

13

 

– перетворення на рядок #

 

20

– примусового зведення типів

13

– присвоювання

5

 

– регулярна n-арна

3

 

– розіменування *

 

 

– системи похідна

4

 

– стандартного введення >>

21

– стандартного виведення <<

21

– стрілочка –>

18

 

– типізована

4

 

– empty

26

 

– pop

26

 

– push

26

 

ОПЗ

1

 

опис функції

12

 

ототожнення й параметризація

 

аргументів

3

 

Пам'ять оперативна

7

 

парадигма програмування

0

 

ПРЕДМЕТНИЙ ПОКАЖЧИК

– – декларативного

8

– – логічного

8

– – об'єктно–орієнтованого

8

– – паралельного

8

– – процедурного

8

– – функціонального

8

параметри функції

 

– – фактичні

 

– – формальні

 

– – main

17

перевантаження операцій

23

перенаправлення потоків

19

перестановка

3

перетворення типів

 

– – зі специфікатором const-cast 23

– – – – dynamic-cast

23

 

– – – – reinterpret-cast

23

 

– – – – static-cast

23

 

перетин множин

2

 

перехід безумовний

14

 

підмножина замкнена

4

 

підсистема

4

 

підстановка (суперпозиція) 3

 

підтерм

1

 

повнота

10

 

– слабка

10

 

повторення

3

14

покажчик

16

 

– на об'єкт

16

 

– файла

19

 

– функції

17

 

– – як параметр функції

17

 

– void*

16

 

поле

 

 

– бітове

18

 

– інформаційне

5

 

– оперативної пам'яті

7

 

– структури

18

 

поліморфізм

8

 

порядок

7

 

– лексикографічний

4

 

– лінійний

2

 

– на числових типах за діапазоном їхніх

значень

13

– складності

 

– – O(g(n))

5

– – Ω(g(n))

5

– частковий

2

615

ПРОГРАМУВАННЯ

посилання

21

 

– як параметр

21

 

– як результат роботи функцій

21

послідовність

 

 

– вхідна

9

 

– керівна

12

 

– опорна

9

 

– проміжна

9

 

потік

19

 

– двійковий

19

 

– текстовий

19

 

– stderr

19

 

– stdout

19

 

– stdіn

19

 

пошук

 

 

– бінарний

24

 

– дихотомічний

24

 

– діленням навпіл

24

 

– послідовний

24

 

– рядка

27

 

– у глибину

29

 

– у ширину

29

 

правила обчислення значень

 

індуктивних функцій

10

 

правило виведення

10

 

правильність і коректність системи6

прагматика

 

 

– ДС

 

 

– мови програмування

8

 

предикат

1

 

– системи похідний

4

 

препроцесор

20

 

принцип

 

 

– абстракції

6

 

– аксіоматизації

6

 

– відокремлення

6

 

– декомпозиції

6

 

– ієрархії

6

 

– композиційності

6

 

– підпорядкування

6

 

– типізації

6

 

– функціональності

6

 

присвоювання

14

 

– групове

5

14

пристрої зовнішні

7

 

пріоритет операцій

13

 

проблема алгоритмічно нерозв'язна 5

програма

0

 

програмна інженерія

0

 

програмологія

0

 

програмування

0

 

– трансформаційне

6

 

продовження

14

 

проектування

6

 

простір

 

 

– імен

21

 

– – std

21

 

– обчислювальний

3

 

прототип функції

12

 

– функцій у С++

21

 

процедура обчислювальна

3

 

процес комунікативний

0

 

процесор командний

7

 

Регістр

7

 

редактор

 

 

– зв'язків

7

 

– текстовий

7

 

результативність алгоритмів

5

рекурсія

17

 

– непряма

17

 

– пряма

17

 

релятивність алгоритмів

5

 

Рефакторинг

11

 

Рефлективність

2

 

Речення

8

 

різниця множин

2

 

РКВ-граматика

4

 

роздільники

12

 

розширена БНФ

4

 

рядки символьні

15

 

рядок таблиці

24

27

семантика

 

 

– денотаційна

8

 

– операційна

 

 

сигнатура

1

 

символ

8

 

– функціональний

1

 

– вхідний

12

 

– широкий

 

симетричність

2

 

синтаксис

8

 

система

 

 

– алгебрична

4

 

– алгоритмічних алгебр

4

 

– вихідна

5

 

– вхідна

5

 

616

– дескриптивна

0

8

– – екстенсіональна

0

 

– – інтенсіональна

0

 

– – мішана

0

 

– інформаційна

0

5

– – конструктивна

5

 

– комунікативна

0

 

– множин

10

 

– програмування

7

 

– рекурентних послідовностей

9

– функцій

10

 

– числення

 

 

– – вісімкова

7

 

– – двійкова

7

 

– – десяткова

7

 

– – позиційна

7

 

– – шістнадцяткова

7

 

– m-рекурентних послідовностей

9

ситуація виняткова

23

 

складність алгоритму

5

 

– просторова

5

 

– часова

5

 

словник мови

8

 

слово

 

 

– ключове

12

 

– машинне

7

 

Сортування

24

 

– бульбашкове

24

 

– вставленням

24

 

– злиттям

24

 

– швидке

24

 

Спадкування

8

 

– захищене

22

 

– множинне

22

 

– приватне

22

 

– публічне

22

 

Специфікатор

 

 

– імені

17

 

– – масиву

15

 

– – покажчика

 

 

– – структури

18

 

– – функції

17

 

специфікація

6, 10, 11

– зовнішня

6

 

– рекурсивна

10

 

– mutable

21

 

список

4

 

– двозв'язний

26

 

– загальний

26

 

– зв'язаний

26

 

ПРЕДМЕТНИЙ ПОКАЖЧИК

– лінійний

4

 

– – однозв'язний

26

 

стандарт

 

 

– С89

12

 

– С99

12

 

– С++

21

 

стек

4

 

стиль програми

11

 

стопори помилок

11

 

структура

2

18

– виразів

13

 

– даних динамічна

26

 

– машинної команди

7

 

– навчальної машини

7

 

– ОС

 

 

– повна

2

 

– C-програми

12

 

– FІLE

19

 

структурна програма абстрактна

9

сума множин пряма

2

 

сумісність типів

13

 

сутності UML

11

 

схема програм структурна

9

 

сюр'єкція

3

 

Таблиця

24

 

– з прямою адресацією

27

 

– ідентифікаторів

28

 

– операцій

13

 

–як дерево пошуку

–– зв'язаний список рядків27

– – масив

27

тавтологія

1

твердження

11

тег структури

18

темпоральність

5

теорема

10

теорія програмування

0

терм

1

– інфіксний

1

– постфіксний

1

– предикатний

1

– префіксний

1

– умовний

1

термін

8

– дескриптивний

8

тестування

6

– білої скриньки

11

– граничних умов

11

– інтеграційне

11

617

ПРОГРАМУВАННЯ

– модульне

11

– чорної скриньки

11

технiчне завдання

6

технології інформаційні

0

технологія програмування

6

тип

 

– базовий

8

– гнучкий

15

– змінної

6

– масивів

15

– об'єднання

18

– операції

1

– покажчиків

16

– похiдний

6

– стандартний

8

– структур

18

– файлів

 

– функціональний

8

– _bool

21

– double

 

– float

13

– int

13

– long

 

– void

13

тіло

 

– функції модифіковане

12

– циклу

 

точка нерухома

2

транзитивність

2

Узгодженість

 

– інформаційної системи

5

– типів

13

утиліта

7

– Lex

28

– Yacc

28

Файл

19

факторизація

2

фактор-множина

2

– -система

4

фільтр

10

фінітність алгоритмів

5

формула

1

– пропозиційна

1

функція

10

– бібліотеки math

 

– – – asin

13

– – – atan

13

– – – ceil

13

 

– – – cos

13

 

– – – exp

13

 

– – – fabs

13

 

– – – floor

13

 

– – – frexp

13

 

– – – log

13

 

– – – log10

13

 

– – – modf

13

 

– – – pow

13

 

– – – sin

13

 

– – – sqrt

13

 

– – – tan

13

 

– вбудована

21

 

– декодування

5

 

– динамічного виділення пам'яті

16

– – – – calloc

16

 

– – – – free

16

 

– – – – malloc

16

 

– для роботи з рядками

16

 

– – – – strcat

16

 

– – – – strchr

16

 

– – – – strcmp

16

 

– – – – strcpy

16

 

– – – – strlen

16

 

– – – – strstr

16

 

– – – – strtok

 

 

– еквітонна

5

 

– з побічним ефектом

12

 

– зі змінною кількістю параметрів

1–

індуктивна

10

 

– керування

3

 

– кодування

4

 

– перевантажена

21

 

– –процедура

3

 

– регулярна

3

 

– рекурентна

9

 

– – параметризована

9

 

– рекурсивна

17

 

– – типу згортки

 

 

– – – розгортки

10

 

– характеристична

2

 

– швидкого сортування qsort

17

– як обчислювальна процедура

3

– m-рекурентна

9

 

– сfree

16

 

– close

21

 

618

– fclose

19

– feof

19

– ferror

19

– fflush

19

– fgetc

19

– fgets

19

– float

13

– fopen

19

– fprintf

19

– fputc

19

– fputs

19

– fputs

19

– fread

19

– freopen

19

– fscanf

19

– fseek

19

– ftell

19

– fwrite

19

– getc

19

– getch

19

– getchar

19

– getchе

19

– gets

19

– main

12

– open

21

– printf

19

– putc

19

– putchar

19

– puts

19

– qsort

17

– remove

19

– rewind

19

– scanf

19

– sizeof

15

– sprintf

19

– sscanf

19

– ungetc

19

Хеш-таблиця

27

– – з колізіями

 

– функція

27

хешування

27

– відкрите

 

ПРЕДМЕТНИЙ ПОКАЖЧИК

– закрите

27

 

– лінійне

27

 

Центральний процесор

7

 

цикл структурний

14

 

Цілі

7

 

– беззнакові

7

 

Частково розв'язна множина

5

черга

4

 

– двостороння

26

 

– як масив

 

 

– – список

26

 

число

7

 

– з фіксованою й рухомою точками7

– нормалізоване

7

Шаблон

 

– вбудований

23

– зовнішній

23

– класу

23

– перевантажений

23

– функції

23

Ядро операційної системи

7

C-програма

12

f-вирази

13

h-файл заголовний

12

LL(k)-граматика

4

l-вирази

13

μ-оператор

9

r-вирази

13

V-операція еквітонна

5

X–Y-оператор

5

X-автомат скінченний

4

X-арна функція

5

X-фрейм

5

Ω-алгебра слів

4

Ω-система

8

– типів об'єднана

 

– багатосортна

4

– вільна

4

– мов регулярна

4

619

ЗМІСТ

ПЕРЕДМОВА.........................................................................................

3

ВСТУП...................................................................................................

5

0.1. ПРЕДМЕТ ВИВЧЕННЯ ІНФОРМАТИКИ ..............................................

5

0.2. ПРОГРАМУВАННЯ..............................................................................

10

0.3. ЕЛЕКТРОННІ ОБЧИСЛЮВАЛЬНІ СИСТЕМИ .....................................

12

0.4. З ІСТОРІЇ ІНФОРМАТИКИ ..................................................................

13

0.5. СТАНОВЛЕННЯ ІНФОРМАТИКИ В УКРАЇНІ.......................................

16

Розділ І. ЛОГІКО-АЛГЕБРИЧНІ УНІВЕРСАЛІЇ.....................................

21

1.1. ФОРМАЛЬНА МОВА ПЕРШОГО ПОРЯДКУ.........................................

21

1.1.1. Терми.........................................................................................

22

1.1.2. Елементарні формули................................................................

24

1.1.3. Структуровані формули ............................................................

27

1.2. МНОЖИНИ ........................................................................................

32

1.2.1. Поняття множини .....................................................................

33

1.2.2. Алгебра множин ........................................................................

34

1.2.3. Індексовані множини................................................................

37

1.2.4. Бінарні відношення...................................................................

40

1.2.5. Еквівалентності й порядки .......................................................

42

1.3. ФУНКЦІЇ ЯК ОБЧИСЛЮВАЛЬНІ ПРОЦЕДУРИ....................................

47

1.3.1. Функції-процедури ....................................................................

48

1.3.2. Традиційні способи специфікації функцій ...............................

49

1.3.3. Алгебричні специфікації............................................................

52

1.3.4. Функції як обчислювальні процедури .......................................

58

1.4. АЛГЕБРИЧНІ СИСТЕМИ.....................................................................

68

1.4.1. Поняття алгебричної системи....................................................

68

1.4.2. Моделі систем............................................................................

73

1.4.3. Багатосортні Ω -системи...........................................................

78

1.4.4. Деякі прикладні багатосортні Ω -системи ................................

85

Розділ ІІ. ЕЛЕМЕНТИ ІНФОРМАТИКИ ...............................................

111

2.1. ІНФОРМАЦІЙНІ СИСТЕМИ ..............................................................

111

2.1.1. Вхідні системи.........................................................................

112

2.1.2. Вихідні системи.......................................................................

113

2.1.3. Інформаційні системи в першому наближенні .......................

120