Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Скачать
Более быстрый доступ, чем браузер!
 

Z-нотация

Индекс Z-нотация

Z-нота́ция (Z notation, произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации.

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-нотация и Логика первого порядка · Узнать больше »

Перенаправления здесь:

Z нотация.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »