Вікіпедія:Проект:Комп'ютерні науки/Базові статті
Матеріал з Вікіпедії — вільної енциклопедії.
[ред.] Базові поняття комп'ютерних наук
- Абстрагування (програмування) Abstraction
- Алгоритм Algorithm
- Асимптотична нотація (Велике О) en:Big O notation
- База даних Database
- Граф (математика) Граф (структура даних) Graph
- Декларативне програмування en:Declarative programming
- Дерево (структура даних) Tree
- Замикання (програмування) Closure
- Імперативне програмування en:Imperative programming
- Інваріант (програмування) Invariant
- Інкапсуляція Приховування інформації en:Information hiding
- Ітерація en:Iteration
- Клас (програмування) Class
- Комп'ютерна мережа en:Computer networking
- Компілятор en:Compiler
- Конкурентність (комп'ютерні науки) Concurrency
- Контрольні структури en:Control flow
- Логічне програмування en:Logic programming
- Лямбда числення ?-calculus
- Масив (структура даних) en:Array
- Машина Тюринга Turing machine
- Об'єкт (програмування) Object
- Об'єктно-орієнтоване програмування en:Object-oriented programming
- Обчислення en:Computation
- Операційна система en:Operating system
- Поліморфізм (програмування) Polymorphism
- Проблема зупинки en:Halting problem
- Програмування en:Computer programming
- Продовження (програмування) en:Continuation
- Процедурне програмування en:Procedural programming
- Пі-Числення ?-calculus
- Підпрограма en:Subroutine
- Регулярний вислів (Вислів регулярною мовою, див. Регулярні події та вирази) en:Regular expression
- Рекурсія en:Recursion
- Рядок String
- Синтаксичний аналіз en:Parsing
- Системне програмування en:Systems programming
- Складність обчислень en:Computational complexity
- Скінченний автомат en:Finite state machine
- Список (структура даних) List
- Структура даних Data structure
- Теорія автоматів Automata
- Теорія мов програмування Programming language design
- можливість обчислення Computability
- Тип даних Data type
- Успадкування (програмування) Inheritance
- Формальна семантика мов програмування Programming language semantics
- Формальні методи en:Formal methods
- Функціональне програмування en:Functional programming