Вікіпедія:Проєкт:Комп'ютерні науки/Базові статті
Тут наводимо частину списку, що стосується комп'ютерних наук. Її треба покращувати в першу чергу.
- Тім Бернерс-Лі
- Алан Тюрінг
- Комп'ютер
- Штучний інтелект
- Інформаційні технології
- Інтернет
- Операційна система
- Мова програмування
- Програмне забезпечення
Базові поняття комп'ютерних наук
[ред. код]- Абстрагування (програмування) 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
- Лямбда-числення lambda 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:Regular grammar)
- Рекурсія en:Recursion
- Рядок (програмування) String
- Синтаксичний аналіз en:Parsing
- Системне програмування en:Systems programming
- Складність обчислень en:Computational complexity
- Скінченний автомат en:Finite state machine
- Список (структура даних) List
- Структура даних Data structure
- Теорія автоматів Automata
- Теорія мов програмування Programming language design
- Теорія обчислюваності (en:Computability theory (computer science))
- Тип даних Data type
- Успадкування (програмування) Inheritance
- Формальна семантика мов програмування Programming language semantics
- Формальні методи en:Formal methods
- Функціональне програмування en:Functional programming