Зубенко, Омельчук - Програмування. Поглиблений курс
.pdf
ЗМІСТ
ПЕРЕДМОВА......................................................................................... |
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 |
