serj-aleks08

Путь Z

Z (произносится как zed ) представляет собой набор соглашений для представления математического текста, чтобы было удобно использовать простую математику для описания вычислительных систем. Вычислительных систем, потому что Z используется для моделирования аппаратного и программного обеспечения. Вы моделируете систему, представляя ее состояние - набор переменных состояния и их значений - и некоторые операции, которые могут изменить ее состояние. Модель, которая характеризуется операциями, которые она описывает, называется абстрактным типом данных (АDТ). Этот стиль моделирования хорошо подходит для императивных процедурных языков программирования, которые предоставляют богатую коллекцию типов данных, а также для некоторых физических систем (таких как цифровая электроника), которые содержат элементы хранения. Z также естественным образом подходит для объектно-ориентированного программирования. Переменные состояния Z подобны переменным экземпляра, а операции похожи на методы; Z даже обеспечивает своего рода наследование. Однако Z не ограничивается только ADT и объектно-ориентированным стилем; Вы также можете использовать Z в функциональном стиле.


медведь

Шелезяки (фотки для любопытных)

Это примерно треть всего электродобра, здесь много недоукомплектованного (ждёт хирурга).
Укомплектованное и готовое хранится в других помещениях.
Завтра дофоткаю ещё.

IMG_7542.JPG

IMG_7541.JPG
IMG_7540.JPG

Ещё подготовленное:
IMG_7549.JPG
IMG_7548.JPG

Ещё приехало (часть, остальное едет отдельно бусиком):
IMG_7547.JPG
IMG_7546.JPG
IMG_7559.JPG