10 отношения: ASCII, LaTeX, Компьютерная программа, Парадоксы теории множеств, Теория множеств, Формальная верификация, Язык спецификаций, Международная организация по стандартизации, Лямбда-исчисление, Логика первого порядка.
ASCII
Таблица ASCII ASCII (American standard code for information interchange) — название таблицы (кодировки, набора), в которой некоторым распространённым печатным и непечатным символам сопоставлены числовые коды.
Новый!!: Z-нотация и ASCII · Узнать больше »
LaTeX
LaTeX (произносится как ла́тех) — наиболее популярный набор макрорасширений (или макропакет) системы компьютерной вёрстки TeX, который облегчает набор сложных документов.
Новый!!: Z-нотация и LaTeX · Узнать больше »
Компьютерная программа
Компьютерная программа. Компью́терная програ́мма — 1) комбинация компьютерных инструкций и данных, позволяющая аппаратному обеспечению вычислительной системы выполнять вычисления или функции управления (стандарт ISO/IEC/IEEE 24765:2010)ISO/IEC/IEEE 24765:2010 Systems and software engineering — Vocabulary; 2) синтаксическая единица, которая соответствует правилам определённого языка программирования, состоящая из определений и операторов или инструкций, необходимых для определённой функции, задачи или решения проблемы (стандарт ISO/IEC 2382-1:1993)ISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms. Первое определение соответствует понятию «исполняемая программа», второе — относится к понятию «исходный текст». Другие определения из нормативных документов.
Новый!!: Z-нотация и Компьютерная программа · Узнать больше »
Парадоксы теории множеств
Парадоксами теории множеств называют.
Новый!!: Z-нотация и Парадоксы теории множеств · Узнать больше »
Теория множеств
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством.
Новый!!: Z-нотация и Теория множеств · Узнать больше »
Формальная верификация
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию.
Новый!!: Z-нотация и Формальная верификация · Узнать больше »
Язык спецификаций
Язык спецификаций — формальный язык, предназначенный для декларативного описания структуры, связей, свойств данных и способов их преобразований, (в отличие от активных языков) без явного упоминания порядка выполняемых действий и использования конкретных значений данных.
Новый!!: Z-нотация и Язык спецификаций · Узнать больше »
Международная организация по стандартизации
Эмблема ИСО Международная организация по стандартизации, ИСО (International Organization for Standardization, ISO) — международная организация, занимающаяся выпуском стандартов.
Новый!!: Z-нотация и Международная организация по стандартизации · Узнать больше »
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
Новый!!: Z-нотация и Лямбда-исчисление · Узнать больше »
Логика первого порядка
Логика первого порядка, называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов.
Новый!!: Z-нотация и Логика первого порядка · Узнать больше »