| podobné slovo | definícia |
connotation
(mass) | connotation
- význam |
annotation
(encz) | annotation,anotace n: annotation,vysvětlivka n: Zdeněk Brož |
annotations
(encz) | annotations,anotace pl. Zdeněk Brož |
anotation
(encz) | anotation,poznámka n: webanotation,vysvětlivka n: web |
chemical notation
(encz) | chemical notation, n: |
connotation
(encz) | connotation,význam n: Zdeněk Brož |
connotational
(encz) | connotational, adj: |
connotations
(encz) | connotations,významy n: pl. Zdeněk Brož |
decimal notation
(encz) | decimal notation, n: |
denotation
(encz) | denotation,označování n: Zdeněk Brož |
denotational
(encz) | denotational,denotační adj: Zdeněk Broždenotational,označující adj: Zdeněk Brož |
denotationally
(encz) | denotationally, |
denotations
(encz) | denotations,označení n: pl. Zdeněk Broždenotations,významy n: pl. Zdeněk Brož |
fixed-point notation
(encz) | fixed-point notation, n: |
floating-point notation
(encz) | floating-point notation, n: |
hexadecimal notation
(encz) | hexadecimal notation, n: |
infix notation
(encz) | infix notation, n: |
mathematical notation
(encz) | mathematical notation, n: |
musical notation
(encz) | musical notation, n: |
notation
(encz) | notation,notace notation,poznámky notation,zápis notation,záznam |
notational
(encz) | notational,zapisující adj: Zdeněk Brož |
notational system
(encz) | notational system, n: |
notationally
(encz) | notationally, |
notations
(encz) | notations,notace pl. |
octal notation
(encz) | octal notation, n: |
parenthesis-free notation
(encz) | parenthesis-free notation, n: |
positional notation
(encz) | positional notation, n: |
postfix notation
(encz) | postfix notation, n: |
prefix notation
(encz) | prefix notation, n: |
reverse polish notation
(encz) | reverse Polish notation, n: |
sexadecimal notation
(encz) | sexadecimal notation, n: |
suffix notation
(encz) | suffix notation, n: |
Annotation
(gcide) | Annotation \An`no*ta"tion\, n. [L. annotatio: cf. F.
annotation.]
A note, added by way of comment, or explanation; -- usually
in the plural; as, annotations on ancient authors, or on a
word or a passage.
[1913 Webster] |
Annotationist
(gcide) | Annotationist \An`no*ta"tion*ist\, n.
An annotator. [R.]
[1913 Webster] |
Connotation
(gcide) | Connotation \Con`no*ta"tion\ (k[o^]n`n[-o]*t[=a]"sh[u^]n), n.
[Cf. F. connotation.]
The act of connoting; a making known or designating something
additional; implication of something more than is asserted.
[1913 Webster]
2. a meaning implied but not explicitly denoted by some word
or expression, which may be understood in addition to the
explicit primary meaning.
[PJC]
3. (Logic) the full set of necessary properties possessed by
all the objects within the extension of a term; the
intensional meaning of a term, which determines the
objects to which the term applies; the intension of a
term.
Syn: intension. [PJC] |
connotational
(gcide) | connotational \connotational\ adj.
Having the power of implying or suggesting something in
addition to what is explicit. Contrasted with denotative.
Syn: connotative of (predicate).
[WordNet 1.5] |
Denotation
(gcide) | Denotation \De`no*ta"tion\, n. [L. denotatio: cf. F.
d['e]notation.]
The marking off or separation of anything. --Hammond.
[1913 Webster] |
infix notation
(gcide) | infix notation \in"fix no*ta"tion\, n. (Computers)
A notation for commands or instructions in which the operator
is inserted between the terms on which it operates.
Contrasted with prefix notation and postfix notation. |
Subnotation
(gcide) | Subnotation \Sub`no*ta"tion\, n. [L. subnotatio a signing
underneath, fr. subnotare to subscribe; sub under + notare to
note or mark.]
A rescript. --Bouvier.
[1913 Webster] |
annotation
(wn) | annotation
n 1: a comment or instruction (usually added); "his notes were
appended at the end of the article"; "he added a short
notation to the address on the envelope" [syn: note,
annotation, notation]
2: the act of adding notes [syn: annotation, annotating] |
binary notation
(wn) | binary notation
n 1: any notation that uses 2 characters (usually 0 and 1) |
chemical notation
(wn) | chemical notation
n 1: a notation used by chemists to express technical facts in
chemistry |
connotation
(wn) | connotation
n 1: what you must know in order to determine the reference of
an expression [syn: intension, connotation]
2: an idea that is implied or suggested |
connotational
(wn) | connotational
adj 1: of or relating to a connotation [syn: connotational,
connotative of(p)] |
decimal notation
(wn) | decimal notation
n 1: any notation that uses 10 different characters (usually the
digits 0 to 9) |
denotation
(wn) | denotation
n 1: the act of indicating or pointing out by name [syn:
indication, denotation]
2: the most direct or specific meaning of a word or expression;
the class of objects that an expression refers to; "the
extension of `satellite of Mars' is the set containing only
Demos and Phobos" [syn: reference, denotation,
extension] |
duodecimal notation
(wn) | duodecimal notation
n 1: any notation that uses 12 different characters |
fixed-point notation
(wn) | fixed-point notation
n 1: a radix numeration system in which the location of the
decimal point is fixed by convention [syn: {fixed-point
notation}, fixed-point representation system] |
floating-point notation
(wn) | floating-point notation
n 1: a radix numeration system in which the location of the
decimal point is indicated by an exponent of the radix; in
the floating-point representation system, 0.0012 is
represented as 0.12-2 where -2 is the exponent [syn:
floating-point notation, {floating-point representation
system}] |
hexadecimal notation
(wn) | hexadecimal notation
n 1: any notation that uses 16 different characters [syn:
hexadecimal notation, sexadecimal notation] |
infix notation
(wn) | infix notation
n 1: a notation for forming mathematical expressions using
parentheses and governed by rules of operator precedence;
operators are dispersed among the operands |
labanotation
(wn) | Labanotation
n 1: a system of notation for dance movements that uses symbols
to represent points on a dancer's body and the direction of
the dancer's movement and the tempo and the dynamics |
lukasiewicz notation
(wn) | Lukasiewicz notation
n 1: a parenthesis-free notation for forming mathematical
expressions in which each operator precedes its operands
[syn: prefix notation, Lukasiewicz notation, {Polish
notation}] |
mathematical notation
(wn) | mathematical notation
n 1: a notation used by mathematicians |
musical notation
(wn) | musical notation
n 1: (music) notation used by musicians |
notation
(wn) | notation
n 1: a technical system of symbols used to represent special
things [syn: notation, notational system]
2: a comment or instruction (usually added); "his notes were
appended at the end of the article"; "he added a short
notation to the address on the envelope" [syn: note,
annotation, notation]
3: the activity of representing something by a special system of
marks or characters |
notational system
(wn) | notational system
n 1: a technical system of symbols used to represent special
things [syn: notation, notational system] |
octal notation
(wn) | octal notation
n 1: any mathematical notation that uses 8 different characters
(usually the digits 0 to 7) |
parenthesis-free notation
(wn) | parenthesis-free notation
n 1: a notation for forming mathematical expressions that does
not use parentheses to delimit components |
polish notation
(wn) | Polish notation
n 1: a parenthesis-free notation for forming mathematical
expressions in which each operator precedes its operands
[syn: prefix notation, Lukasiewicz notation, {Polish
notation}] |
positional notation
(wn) | positional notation
n 1: a numeration system in which a real number is represented
by an ordered set of characters where the value of a
character depends on its position [syn: {positional
notation}, positional representation system] |
postfix notation
(wn) | postfix notation
n 1: a parenthesis-free notation for forming mathematical
expressions in which each operator follows its operands
[syn: postfix notation, suffix notation, {reverse
Polish notation}] |
prefix notation
(wn) | prefix notation
n 1: a parenthesis-free notation for forming mathematical
expressions in which each operator precedes its operands
[syn: prefix notation, Lukasiewicz notation, {Polish
notation}] |
reverse polish notation
(wn) | reverse Polish notation
n 1: a parenthesis-free notation for forming mathematical
expressions in which each operator follows its operands
[syn: postfix notation, suffix notation, {reverse
Polish notation}] |
sexadecimal notation
(wn) | sexadecimal notation
n 1: any notation that uses 16 different characters [syn:
hexadecimal notation, sexadecimal notation] |
suffix notation
(wn) | suffix notation
n 1: a parenthesis-free notation for forming mathematical
expressions in which each operator follows its operands
[syn: postfix notation, suffix notation, {reverse
Polish notation}] |
abstract machine notation
(foldoc) | Abstract Machine Notation
(AMN) A language for specifying abstract machines
in the B-Method, based on the mathematical theory of
Generalised Substitutions.
(1995-03-13)
|
abstract syntax notation 1
(foldoc) | Abstract Syntax Notation 1
ASN.1
X.208
(ASN.1, X.208, X.680) An
ISO/ITU-T standard for transmitting structured data on
networks, originally defined in 1984 as part of {CCITT
X.409} '84. ASN.1 moved to its own standard, X.208, in 1988
due to wide applicability. The substantially revised 1995
version is covered by the X.680 series.
ASN.1 defines the abstract syntax of information but does
not restrict the way the information is encoded. Various
ASN.1 encoding rules provide the transfer syntax (a
concrete representation) of the data values whose {abstract
syntax} is described in ASN.1. The standard ASN.1 encoding
rules include BER (Basic Encoding Rules - X.209), CER
(Canonical Encoding Rules), DER (Distinguished Encoding
Rules) and PER (Packed Encoding Rules).
ASN.1 together with specific ASN.1 encoding rules facilitates
the exchange of structured data especially between
application programs over networks by describing data
structures in a way that is independent of machine
architecture and implementation language.
OSI Application layer protocols such as X.400 MHS
electronic mail, X.500 directory services and SNMP use
ASN.1 to describe the PDUs they exchange.
Documents describing the ASN.1 notations: ITU-T Rec. X.680,
ISO 8824-1; ITU-T Rec. X.681, ISO 8824-2; ITU-T
Rec. X.682, ISO 8824-3; ITU-T Rec. X.683, ISO 8824-4
Documents describing the ASN.1 encoding rules: ITU-T
Rec. X.690, ISO 8825-1; ITU-T Rec. X.691, ISO 8825-2.
[M. Sample et al, "Implementing Efficient Encoders and
Decoders for Network Data Representations", IEEE Infocom 93
Proc, v.3, pp. 1143-1153, Mar 1993. Available from Logica,
UK].
See also snacc.
(2005-07-03)
|
annotation
(foldoc) | annotation
annotate
1. Extra information associated with a
particular point in a document or program. Annotations may be
added either by a compiler or by the programmer. They are
not usually essential to the correct function of the program
but give hints to improve performance.
2. A new commentary node linked to an existing
node. If readers, as well as authors, can annotate nodes,
then they can immediately provide feedback if the information
is misleading, out of date or plain wrong.
(1995-11-26)
|
de bruijn notation
(foldoc) | De Bruijn notation
A variation of lambda notation for specifying
functions using numbers instead of names to refer to {formal
parameters}. A reference to a formal parameter is a number
which gives the number of lambdas (written as \ here) between
the reference and the lambda which binds the parameter.
E.g. the function \ f . \ x . f x would be written \ . \ . 1
0. The 0 refers to the innermost lambda, the 1 to the next
etc. The chief advantage of this notation is that it avoids
the possibility of name capture and removes the need for {alpha
conversion}.
[N.G. De Bruijn, "Lambda Calculus Notation with Nameless
Dummies: A Tool for Automatic Formula Manipulation, with
Application to the Church-Rosser Theorem", Indag Math. 34, pp
381-392].
(2003-06-15)
|
denotational semantics
(foldoc) | denotational semantics
A technique for describing the meaning of programs in
terms of mathematical functions on programs and program
components. Programs are translated into functions about
which properties can be proved using the standard mathematical
theory of functions, and especially domain theory.
Compare axiomatic semantics, operational semantics,
standard semantics.
(1996-08-21)
|
denotational semantics language
(foldoc) | Denotational Semantics Language
(DSL) The specification language
used by the SIS compiler generator.
["SIS - Semantics Implementation System", P.D. Mosses, TR
DAIMI MD-30, Aarhus U, Denmark].
(1996-10-13)
|
descriptive intermediate attributed notation for ada
(foldoc) | Descriptive Intermediate Attributed Notation for Ada
DIANA
(DIANA) A formerly de facto standard
intermediate language for Ada programs, developed by Goos
and Wulf at CMU in January 1981. DIANA is an {attributed
tree} representation, with an abstract interface defined in
Interface Description Language (Nestor, Lamb and Wulf, CMU,
1981; Snodgrass(?), 1989(?)). DIANA resulted from a merger of
AIDA and TCOL.Ada. At the present (2001) it is no longer
used by the major ADA compilers
["DIANA - An Intermediate Language for Ada", G.T. Goos et al,
LNCS 161, Springer 1983].
(2001-09-15)
|
dot notation
(foldoc) | dot notation
Berkeley Unix notation for an {Internet
address}, consisting of one to four numbers (a "dotted quad")
in hexadecimal (leading 0x), octal (leading 0), or
(usually) decimal. It represents a 32-bit address. Each
leading number represents eight bits of the address (high byte
first) and the last number represents the rest. E.g. address
0x25.32.0xab represents 0x252000ab. By far the most common
form is four decimal numbers, e.g. 146.169.22.42.
Many programs accept an address in dot notation in place of a
hostname.
(2000-08-10)
|