порядковый тип
1порядковый тип — перечислимый тип — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы перечислимый тип EN ordinal type …
2ПОРЯДКОВЫЙ ТИП — линейно упорядоченного множества А свойство множества А, к рое присуще любому линейно упорядоченному множеству В, подобному А. При этом два множества Аи В, линейно упорядоченные соотношениями R и S, наз. подобными, если существует функция f,… …
3Намбу Тип 94 — У этого термина существуют и другие значения, см. Намбу. У этого термина существуют и другие значения, см. Тип 94 (значения). Намбу Тип 94 …
4ТРАНСФИНИТНОЕ ЧИСЛО — порядковый тип бесконечного вполне упорядоченного множества. См. также Порядковое число, Кардинальное число …
5Приведение типа — (type conversion) преобразование значения переменной одного типа в значение другого типа. Выделяют явное и неявное приведения типов. При явном приведении указывается тип переменной, к которому необходимо преобразовать исходную переменную. При… …
6Упорядоченные и частично упорядоченные множества — (математичексие) множества, в которых каким либо способом установлен порядок следования их элементов или, соответственно, частичный порядок. Понятия порядка и частичного порядка следования элементов определяются следующим образом. Говорят …
7Множеств теория — учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но может быть пояснено при помощи примеров. Так, можно… …
8Трансфинитные числа — (от Транс… и лат. finitus ограниченный) обобщённые порядковые числа. Определение Т. ч. опирается на понятие вполне упорядоченного множества (см. Упорядоченные и частично упорядоченные множества). Каждое конечное множество можно сделать… …
9АЛЕФЫ — первая буква древнееврейского алфавита, символы, введенные Г. Кантором (G. Cantor) для обозначения кардинальных чисел (мощностей) бесконечных вполне упорядоченных множеств. Каждое кардинальное число есть нек рый А. (следствие выбора аксиомы). Но… …
10АНТИНОМИЯ — парадокc, ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами. В отличие от софизма, умышленно ложного умозаключения с… …
