Содержание
14 отношения: Boost, C++, C++11, Microsoft Developer Network, ML, Python, Каррирование, Прямое произведение, Пара (математика), Отношение (реляционная модель), Реляционная модель данных, Тип данных, Функциональное программирование, .NET Framework.
- Базовые концепции теории множеств
- Математические обозначения
- Ряды и последовательности
- Теория типов
Boost
Boost — собрание библиотек классов, использующих функциональность языка C++ и предоставляющих удобный кроссплатформенный высокоуровневый интерфейс для лаконичного кодирования различных повседневных подзадач программирования (работа с данными, алгоритмами, файлами, потоками и т. п.).
Посмотреть Кортеж (информатика) и Boost
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Посмотреть Кортеж (информатика) и C++
C++11
C++11 или ISO/IEC 14882:2011 (в процессе работы над стандартом носил условное наименование C++0x) — новая версия стандарта языка C++, вместо ранее действовавшего ISO/IEC 14882:2003.
Посмотреть Кортеж (информатика) и C++11
Microsoft Developer Network
Microsoft Developer Network (MSDN) — подразделение компании Майкрософт, ответственное за взаимодействие фирмы с разработчиками.
Посмотреть Кортеж (информатика) и Microsoft Developer Network
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Посмотреть Кортеж (информатика) и ML
Python
Логотип Python (1990—2005) Python (МФА:; в русском языке распространено название пито́н) — высокоуровневый язык программирования общего назначения, ориентированный на повышение производительности разработчика и читаемости кода.
Посмотреть Кортеж (информатика) и Python
Каррирование
Каррирование (от currying, иногда — карринг) — преобразование функции от многих аргументов в набор функций, каждая из которых является функцией от одного аргумента.
Посмотреть Кортеж (информатика) и Каррирование
Прямое произведение
Прямое или декартово произведение двух множеств — это множество, элементами которого являются все возможные упорядоченные пары элементов исходных множеств.
Посмотреть Кортеж (информатика) и Прямое произведение
Пара (математика)
Пара в математике может быть определена с различных точек зрения.
Посмотреть Кортеж (информатика) и Пара (математика)
Отношение (реляционная модель)
Отношение — фундаментальное понятие реляционной модели данных.
Посмотреть Кортеж (информатика) и Отношение (реляционная модель)
Реляционная модель данных
Реляционная модель данных (РМД) — логическая модель данных, прикладная теория построения баз данных, которая является приложением к задачам обработки данных таких разделов математики, как теория множеств и логика первого порядка.
Посмотреть Кортеж (информатика) и Реляционная модель данных
Тип данных
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Посмотреть Кортеж (информатика) и Тип данных
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Посмотреть Кортеж (информатика) и Функциональное программирование
.NET Framework
.NET Framework — программная платформа, выпущенная компанией Microsoft в 2002 году.
Посмотреть Кортеж (информатика) и .NET Framework
См. также
Базовые концепции теории множеств
- Биекция
- Дизъюнктное объединение
- Индикатор (математика)
- Инъекция (математика)
- Категория множеств
- Композиция функций
- Конечное множество
- Кортеж (информатика)
- Множество с отмеченной точкой
- Мультимножество
- Непересекающиеся множества
- Область значений функции
- Область определения функции
- Образ (математика)
- Обратная функция
- Объединение множеств
- Пересечение множеств
- Подмножество
- Предикат
- Пустое множество
- Разбиение множества
- Разность множеств
- Симметрическая разность
- Синглетон (математика)
- Сюръекция
- Тождественное отображение
- Универсальное множество
- Упорядоченная пара
- Функция (математика)
Математические обозначения
- «O» большое и «o» малое
- Большие числа
- Бра и кет
- Дираковское сопряжение
- Инфиксная запись
- История математических обозначений
- Кипу
- Конфигурация вершины
- Кортеж (информатика)
- Математическая формула
- Математические обозначения
- Многоточие
- Музыкальная нотация
- Мультииндекс
- Неоднозначность
- Нотация Конвея для многогранников
- Нотация Фойгта
- Обозначения Штейнгауза — Мозера
- Обратная польская запись
- Операнд
- Оператор (математика)
- Оператор набла
- Польская запись
- Символ Кронекера
- Символ Шлефли
- Символы Кристоффеля
- Система счисления
- Скобки
- Сложение
- Соглашение Эйнштейна
- Список логических символов
- Список математических аббревиатур
- Сумма (математика)
- Таблица математических символов
- Умножение
- Фаска (геометрия)
- Целая часть
- Экспоненциальная запись
Ряды и последовательности
- Арифметическая прогрессия
- Бесконечное произведение
- Геометрическая прогрессия
- Кортеж (информатика)
- Неравенство Чебышёва для сумм
- Полуаддитивность
- Последовательность
- Последовательность Дэвенпорта — Шинцеля
- Предел последовательности
- Ряд Фарея
- Теорема Леви о монотонной сходимости
- Фундаментальная последовательность
Теория типов
- Static cast
- Void
- Абстрактный тип данных
- Алгебраический тип данных
- Вывод типов
- Высший тип
- Гомотопическая теория типов
- Зависимый тип
- Категориальная грамматика
- Класс типов
- Ковариантность и контравариантность (программирование)
- Конструктор типов
- Кортеж (информатика)
- Лямбда-куб
- Математическая структура
- Обобщённый алгебраический тип данных
- Параметрический полиморфизм
- Переменная (программирование)
- Переменная типа
- Перечисляемый тип
- Полиморфизм (информатика)
- Приведение типа
- Принцип открытости/закрытости
- Принцип подстановки Лисков
- Просто типизированное лямбда-исчисление
- Прототипное программирование
- Род (теория типов)
- Система F
- Система типов
- Система типов Хиндли — Милнера
- Сложный тип
- Соответствие Карри — Ховарда
- Теория типов
- Тип, гарантирующий уникальность
- Тип-произведение
- Тип-сумма
- Типаж (абстрактный тип)
- Типизированное лямбда-исчисление
- Типобезопасность
- Упорядоченная пара
- Утиная типизация
- Функциональный тип
- Частный случай формулы
Также известен как Набор (математика), Упорядоченный набор, Кортеж (базы данных), Кортеж (математика), Выборка (информатика).