Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически или динамически, а также быть комбинацией обоих видов.
Целое, целочисленный тип данных — один из самых простых примитивных типов данных в информатике. Служит для представления целых чисел, ограниченного минимальным и максимальным значением, зависящими от выделенной под число памяти.
Машинное слово — машинно-зависимая и платформозависимая величина, измеряемая в битах или байтах, равная разрядности регистров процессора и/или разрядности шины данных.
Запаздывающие генераторы Фибоначчи — генераторы псевдослучайных чисел, также называемые аддитивными генераторами.
8 (восемь) — натуральное число, расположенное между числами 7 и 9.
22 — натуральное число, расположенное между числами 21 и 23.
91 — натуральное число, расположенное между числами 90 и 92.
97 — натуральное число, расположенное между числами 96 и 98.
121 — натуральное число, расположенное между числами 120 и 122.
145 — натуральное число, расположенное между числами 144 и 146. Оно не является простым числом, а относительно последовательности простых чисел расположено между 137 и 149.
printf — обобщённое название семейства функций или методов стандартных или широко известных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода — вывода в различные потоки значений разных типов, отформатированных согласно заданному шаблону. Этот шаблон определяется составленной по специальным правилам строкой.
В разделе информатики — алгоритмической теории информации, константа Хайтина или вероятность остановки — вещественное число, которое, неформально говоря, является вероятностью того, что произвольно выбранная программа остановится. Существование таких чисел было продемонстрировано Грегори Хайтином.
Числа Лейланда — это натуральные числа, представимые в виде xy + yx, где x и y — целые числа больше 1. Иногда 3 также относят к числам Лейланда.

Тип данных (тип) — множество значений и операций над этими значениями.

Turbo Basic — компилятор языка Бейсик, а также его диалект, первоначально созданный Робертом «Бобом» Зейлом и впоследствии выкупленный у него компанией Borland.
Ascii85 — это форма кодирования двоичных данных при помощи текста, разработанная Полом Раттером для библиотеки btoa. Благодаря тому, что для кодирования 4 байт данных используется 5 ASCII символов, достигается большая эффективность, чем в случае uuencode или Base64, в которых каждые 3 байта кодируются 4 символами.
Термин каламбур типизации используется в информатике для обозначения различных техник нарушения или обмана системы типов некоторого языка программирования, имеющих эффект, который было бы затруднительно или невозможно обеспечить в рамках формального языка.

Система типов Си — реализация понятия типа данных в языке программирования Си. Сам язык предоставляет базовые арифметические типы, а также синтаксис для создания массивов и составных типов. Некоторые заголовочные файлы из стандартной библиотеки Си содержат определения типов с дополнительными свойствами.
Таблица содержит факторизацию натуральных чисел от 1 до 1000.

Степень двойки — натуральное число, равное числу 2, умноженному на себя некоторое количество раз. 2n — обозначение.