Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
безкоштовно
Більш швидкий доступ, ніж браузер!
 

Абстрактний тип даних

Індекс Абстрактний тип даних

Абстрактний тип даних (АТД) — це математична модель для типів даних, де тип даних визначається поведінкою (семантикою) з точки зору користувача даних, а саме в термінах можливих значень, можливих операцій над даними цього типу і поведінки цих операцій.

51 відносини: AWK, C (мова програмування), C++, F-алгебра, Java, Lua, Perl, Клієнт (інформатика), Клас (програмування), Коментар (програмування), Контейнер (програмування), Псевдоніми (програмування), Підпрограма, Прикладний програмний інтерфейс, Принцип підстановки Лісков, Програмна інженерія, Побічний ефект (програмування), Об'єкт (програмування), Об'єктно-орієнтоване програмування, Асоціативний масив, Абстрагування (програмування), Алгоритм, Непрозорий тип даних, Структура (тип даних), Структура даних, Стандартна бібліотека шаблонів, Стек, Система типізації, Список (абстрактний тип даних), Семантика мов програмування, Тип даних, Функція (математика), Функційне програмування, Формальні методи, Хеш-функція, Черга (структура даних), Черга з пріоритетом, Масив (структура даних), Мистецтво програмування, Множина (тип даних), Мови специфікацій, Модульне програмування, Метод (програмування), Зв'язаний список, Двійкова система числення, Двобічна черга, Динамічне виділення пам'яті, Дональд Кнут, Імперативне програмування, Інкапсуляція (програмування), ..., Логічний тип даних. Розгорнути індекс (1 більше) »

AWK

Awk — це мова програмування, призначена для сканування та обробки зразків.

Новинка!!: Абстрактний тип даних і AWK · Побачити більше »

C (мова програмування)

C (Сі) — універсальна, процедурна, імперативна мова програмування загального призначення, розроблена у 1972 році Денісом Рітчі у Bell Telephone Laboratories з метою написання нею операційної системи UNIX.

Новинка!!: Абстрактний тип даних і C (мова програмування) · Побачити більше »

C++

C++ (Сі-плюс-плюс) — мова програмування високого рівня з підтримкою кількох парадигм програмування: об'єктно-орієнтованої, узагальненої та процедурної.

Новинка!!: Абстрактний тип даних і C++ · Побачити більше »

F-алгебра

У математиці, і особливо у теорії категорій, F-алгебра — це алгебраїчна структура, пов'язана з функтором F.

Новинка!!: Абстрактний тип даних і F-алгебра · Побачити більше »

Java

Java (вимовляється Джава) — об'єктно-орієнтована мова програмування, випущена 1995 року компанією «Sun Microsystems» як основний компонент платформи Java.

Новинка!!: Абстрактний тип даних і Java · Побачити більше »

Lua

Lua (місяць) — швидка і компактна скриптова мова програмування, розроблена підрозділом Tecgraf Католицького університету Ріо-де-Жанейро (Computer Graphics Technology Group of Pontifical Catholic University of Rio de Janeiro in Brazil).

Новинка!!: Абстрактний тип даних і Lua · Побачити більше »

Perl

Perl (неофіційна розшифровка Practical Extraction and Reporting Language — практична мова витягів та звітів) — високорівнева, інтерпретована, динамічна мова програмування загального призначення.

Новинка!!: Абстрактний тип даних і Perl · Побачити більше »

Клієнт (інформатика)

Клієнт — апаратний або програмний компонент обчислювальної системи, який надсилає запити серверу.

Новинка!!: Абстрактний тип даних і Клієнт (інформатика) · Побачити більше »

Клас (програмування)

В об'єктно-орієнтованому програмуванні, клас — це спеціальна конструкція, яка використовується для групування пов'язаних змінних та функцій.

Новинка!!: Абстрактний тип даних і Клас (програмування) · Побачити більше »

Коментар (програмування)

Приклад коду Java, вступні коментарі багаторядкові розмальовані червоним, а однорядкові зеленим. Сам код програми синім. У програмуванні, коментар це зрозуміла для програміста анотація в коді комп’ютерної програми.

Новинка!!: Абстрактний тип даних і Коментар (програмування) · Побачити більше »

Контейнер (програмування)

Контейнер у комп'ютерній науці — клас, структура даних, або абстрактний тип даних, який дозволяє створювати колекції інших об'єктів.

Новинка!!: Абстрактний тип даних і Контейнер (програмування) · Побачити більше »

Псевдоніми (програмування)

У програмуванні, псевдоніми представляють собою ситуацію (aliasing), при якій посилання на місце розташування даних в пам'яті, може здійснюватись за допомогою декількох символічних імен в програмі.

Новинка!!: Абстрактний тип даних і Псевдоніми (програмування) · Побачити більше »

Підпрограма

Підпрограма (subroutine) — частина програми, яка реалізує певний алгоритм і дозволяє звернення до неї з різних частин загальної (головної) програми.

Новинка!!: Абстрактний тип даних і Підпрограма · Побачити більше »

Прикладний програмний інтерфейс

Прикладни́й програ́мний інтерфе́йс (інтерфейс програмування застосунків, інтерфейс прикладного програмування) (Application Programming Interface, API) — набір визначень взаємодії різнотипного програмного забезпечення.

Новинка!!: Абстрактний тип даних і Прикладний програмний інтерфейс · Побачити більше »

Принцип підстановки Лісков

Принцип заміщення Лісков (Liskov Substitution Principle, LSP) в об'єктно-орієнтованому програмуванні — це спеціальне визначення підтипу, запропоноване Барбарою Лісков у 1987 році на конференції у доповіді під назвою "Абстракція даних та ієрархія".

Новинка!!: Абстрактний тип даних і Принцип підстановки Лісков · Побачити більше »

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

Програмна інженерія — це застосування системного, вимірюваного підходу до розробки, використання та супроводу програмного забезпечення, та дослідження цих підходів, тобто застосування принципів інженерії до програмного забезпечення.

Новинка!!: Абстрактний тип даних і Програмна інженерія · Побачити більше »

Побічний ефект (програмування)

Кажуть, що функція або вираз мають побічний ефект, якщо, на додаток до повернення значення, вони змінюють якийсь стан програми або провадять видиму взаємодію з викликальною функцією або зовнішнім світом.

Новинка!!: Абстрактний тип даних і Побічний ефект (програмування) · Побачити більше »

Об'єкт (програмування)

Об'єкт в об'єктно-орієнтованому програмуванні (ООП) — ключове поняття об'єктно-орієнтованих технологій проектування та програмування; втілення абстрактної моделі окремої сутності (предмету або поняття), що має чітко виражене функціональне призначення в деякій області, належить до визначеного класу та характеризується своїми властивостями та поведінкою.

Новинка!!: Абстрактний тип даних і Об'єкт (програмування) · Побачити більше »

Об'єктно-орієнтоване програмування

Об'є́ктно-орієнто́ване програмува́ння (ООП) — одна з парадигм програмування, яка розглядає програму як множину «об'єктів», що взаємодіють між собою.

Новинка!!: Абстрактний тип даних і Об'єктно-орієнтоване програмування · Побачити більше »

Асоціативний масив

Асоціати́вний маси́в (associative array) (або словник, хеш, в англійській літературі також застосовуються терміни associative container, map, mapping, hash, dictionary, finite map) — абстрактний тип даних (інтерфейс до сховища даних), що дозволяє зберігати дані у вигляді набору пар ключ — значення та доступом до значень за їх ключем.

Новинка!!: Абстрактний тип даних і Асоціативний масив · Побачити більше »

Абстрагування (програмування)

В програмуванні, абстрагува́ння — спосіб та метод відокремлення деталей з метою отримання можливості зосередитись на найважливіших особливостях об'єкта.

Новинка!!: Абстрактний тип даних і Абстрагування (програмування) · Побачити більше »

Алгоритм

Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.

Новинка!!: Абстрактний тип даних і Алгоритм · Побачити більше »

Непрозорий тип даних

Непрозорий тип даних — тип даних у інформатиці, чия структура даних не задана в його інтерфейсі.

Новинка!!: Абстрактний тип даних і Непрозорий тип даних · Побачити більше »

Структура (тип даних)

У Інформатиці запис (Record) (що також називають структурою або об'єднаною інформацією) — це базова структура даних.

Новинка!!: Абстрактний тип даних і Структура (тип даних) · Побачити більше »

Структура даних

Бінарне дерево, одна з найпростіших деревоподібних структур даних В програмуванні та комп'ютерних науках структу́ри да́них — це способи організації даних в комп'ютерах.

Новинка!!: Абстрактний тип даних і Структура даних · Побачити більше »

Стандартна бібліотека шаблонів

Стандартна бібліотека шаблонів (Standard Template Library; STL) — бібліотека для C++, що містить набір узгоджених узагальнених алгоритмів, контейнерів, засобів доступу до їхнього вмісту і різних допоміжних функцій.

Новинка!!: Абстрактний тип даних і Стандартна бібліотека шаблонів · Побачити більше »

Стек

Стек (stack — «стос, стіс») в інформатиці та програмуванні — різновид лінійного списку, структура даних, яка працює за принципом (дисципліною) «останнім прийшов — першим пішов» (LIFO, last in, first out).

Новинка!!: Абстрактний тип даних і Стек · Побачити більше »

Система типізації

Система типізації в програмуванні визначає множину припустимих значень даних та множину операцій над даними.

Новинка!!: Абстрактний тип даних і Система типізації · Побачити більше »

Список (абстрактний тип даних)

У комп'ютерній науці, список або послідовність являє собою абстрактний тип даних, який представляє собою зліченне число впорядкованих значень, де одне і теж саме значення може зустрічатися більше одного разу.

Новинка!!: Абстрактний тип даних і Список (абстрактний тип даних) · Побачити більше »

Семантика мов програмування

Семантика в теорії програмування — розділ що вивчає математичне значення мови програмування та моделі обчислень.

Новинка!!: Абстрактний тип даних і Семантика мов програмування · Побачити більше »

Тип даних

Тип даних — характеристика, яку явно чи неявно надано об'єкту (змінній, функції, полю запису, константі, масиву тощо).

Новинка!!: Абстрактний тип даних і Тип даних · Побачити більше »

Функція (математика)

Функція f відображає область визначення X в цільову множину Y; менший овал всередині Y — це область значень функції f Фу́нкція (відображення, трансформація, оператор) в математиці — це правило, яке кожному елементу з першої множини (області визначення) ставить у відповідність один і тільки один елемент з другої множини.

Новинка!!: Абстрактний тип даних і Функція (математика) · Побачити більше »

Функційне програмування

Функційне програмування — парадигма програмування, яка розглядає програму як обчислення математичних функцій та уникає станів та змінних даних.

Новинка!!: Абстрактний тип даних і Функційне програмування · Побачити більше »

Формальні методи

Формальні методи (Formal methods) — у комп'ютерних науках, побудовані на математиці методи написання специфікацій, розробки та перевірки (verification) програмного забезпечення та комп'ютерного обладнання.

Новинка!!: Абстрактний тип даних і Формальні методи · Побачити більше »

Хеш-функція

Геш-функція ставить у відповідність іменам ціле число від 0 до 15. Є суперечність (колізія) між «John Smith» та «Sandra Dee», яким відповідає однакове значення. Геш-функція (Хеш-функція) — функція, що перетворює вхідні дані будь-якого (як правило великого) розміру в дані фіксованого розміру.

Новинка!!: Абстрактний тип даних і Хеш-функція · Побачити більше »

Черга (структура даних)

Черга (queue) в програмуванні — динамічна структура даних, що працює за принципом «перший прийшов — перший пішов» (FIFO — first in, first out).

Новинка!!: Абстрактний тип даних і Черга (структура даних) · Побачити більше »

Черга з пріоритетом

Черга з пріорітетами (priority queue) — це структура даних, що призначена для обслуговування множини S, з кожним елементом якої пов'язано певне значення, що зветься ключем (key).

Новинка!!: Абстрактний тип даних і Черга з пріоритетом · Побачити більше »

Масив (структура даних)

Маси́в — впорядкований набір фіксованої кількості однотипних елементів, що зберігаються в послідовно розташованих комірках оперативної пам'яті, мають порядковий номер і спільне ім'я, що надає користувач.

Новинка!!: Абстрактний тип даних і Масив (структура даних) · Побачити більше »

Мистецтво програмування

Мистецтво програмування (The Art of Computer Programming (TAOCP)) — фундаментальна монографія відомого американського фахівця в галузі комп'ютерних наук та математикa Дональда Кнута, присвячена розгляду та аналізу найважливіших алгоритмів, що застосовуються в інформатиці.

Новинка!!: Абстрактний тип даних і Мистецтво програмування · Побачити більше »

Множина (тип даних)

Множина — абстрактний тип даних і структура даних в інформатиці, є реалізацією математичного об'єкта скінченна множина.

Новинка!!: Абстрактний тип даних і Множина (тип даних) · Побачити більше »

Мови специфікацій

Мови специфікацій — спеціальні дескриптивні системи, створені для фіксації та обміну результатами розробки сучасних програмних проектів.

Новинка!!: Абстрактний тип даних і Мови специфікацій · Побачити більше »

Модульне програмування

Модульне програмування — парадигма програмування, орієнтована на зменшення складності програмних продуктів та можливості перенесення окремих рішень з одних програмних проектів у інші.

Новинка!!: Абстрактний тип даних і Модульне програмування · Побачити більше »

Метод (програмування)

Ме́тод в об'єктно-орієнтованому програмуванні — підпрограма (процедура, функція), що використовується виключно разом із класом (методи класу) або з об'єктом (методи екземпляра).

Новинка!!: Абстрактний тип даних і Метод (програмування) · Побачити більше »

Зв'язаний список

Зв'язаний список в програмуванні — одна з найважливіших структур даних, в якій елементи лінійно впорядковані, але порядок визначається не номерами елементів, а вказівниками, які входять в склад елементів списку та вказують на наступний за даним елемент (в однозв'язаних або однобічно зв'язаних списках) або на наступний та попередній елементи (в двозв'язаних або двобічно зв'язаних списках).

Новинка!!: Абстрактний тип даних і Зв'язаний список · Побачити більше »

Двійкова система числення

Двійкова система числення — це позиційна система числення, база якої дорівнює двом та використовує для запису чисел тільки два символи: зазвичай 0 (нуль) та 1 (одиницю).

Новинка!!: Абстрактний тип даних і Двійкова система числення · Побачити більше »

Двобічна черга

Двобічна черга, жарг.

Новинка!!: Абстрактний тип даних і Двобічна черга · Побачити більше »

Динамічне виділення пам'яті

У комп'ютерній науці, динамічне виділення пам'яті (також відоме як виділення пам'яті на основі купи) є розподілом пам'яті для її використання у комп'ютерній програмі під час виконання цієї програми.

Новинка!!: Абстрактний тип даних і Динамічне виділення пам'яті · Побачити більше »

Дональд Кнут

Дональд Ервін Кнут (Donald Ervin Knuth, 10 січня 1938) — інформатик, ідеолог програмування та почесний професор Стенфордського університету.

Новинка!!: Абстрактний тип даних і Дональд Кнут · Побачити більше »

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

Імперати́вне програмува́ння — парадигма програмування, згідно з якою описується процес отримання результатів як послідовність інструкцій зміни стану програми.

Новинка!!: Абстрактний тип даних і Імперативне програмування · Побачити більше »

Інкапсуляція (програмування)

Інкапсуляція — один з трьох основних механізмів об'єктно-орієнтованого програмування.

Новинка!!: Абстрактний тип даних і Інкапсуляція (програмування) · Побачити більше »

Логічний тип даних

Логічний (булевий) тип даних — примітивний тип даних в інформатиці, що може приймати два можливих значення, що іноді називаються істиною і хибою (також так й ні).

Новинка!!: Абстрактний тип даних і Логічний тип даних · Побачити більше »

ВихідніВхідний
Гей! Ми на Facebook зараз! »