| slovo | definícia |
semantics
(encz) | semantics,sémantika n: Zdeněk Brož |
semantics
(gcide) | General semantics \Gen"er*al sem*an"tics\, n. (1933)
a doctrine and philosophical approach to language and its
relationship to thought and behavior, developed by Alfred
Korzybski (1879-1950), which holds that the capacity to
express ideas and thereby improve one's interaction with
others and one's environment is enhanced by training in the
more critical use of words and other symbols; -- sometimes
also called semantics.
Note: More information can be found on the web site of the [a
HREF="http:]/www.general-semantics.org/">Institute of
General Semantics.
[PJC]
General Semantics is the study of the relations
between language, "thought", and behavior:
between how we talk, therefore how we think,
therefore how we act. --George Doris |
Semantics
(gcide) | Semantics \Sem*an"tics\, n. sing. or pl. [Gr. shmantikos having
meaning, from sh^ma a sign.]
1. the study of the meanings of words and of the sense
development of words; -- formerly called semasiology.
[PJC]
2. a doctrine and philosophical approach to language and its
relationship to thought and behavior, developed by Alfred
Korzybski (1879-1950), which holds that the capacity to
express ideas and thereby improve one's interaction with
others and one's environment is enhanced by training in
the more critical use of words and other symbols; -- also
called {general semantics}.
[PJC]
3. the meanings of words as they are used to achieve an
effect; especially, the multiple meanings of words or the
multiplicity of words having the same meaning; -- used in
referring to the confusion that can be caused
(intentionally or unintentionally) by multiple meanings;
as, there's no real difference, it's only a matter of
semantics.
[PJC] |
semantics
(gcide) | Semasiology \Se*ma`si*ol"o*gy\, n. [Gr. shmasi`a signification +
-logy.] (Philol.)
The science of meanings or sense development (of words); the
explanation of the development and changes of the meanings of
words; -- more commonly referred to as semantics. --
Se*ma`si*o*log"ic*al, a.
[Webster 1913 Suppl.] |
semantics
(wn) | semantics
n 1: the study of language meaning
2: the meaning of a word, phrase, sentence, or text; "a petty
argument about semantics" |
semantics
(foldoc) | semantics
The meaning of a string in some language, as opposed
to syntax which describes how symbols may be combined
independent of their meaning.
The semantics of a programming language is a function from
programs to answers. A program is a closed term and, in
practical languages, an answer is a member of the syntactic
category of values. The two main kinds are {denotational
semantics} and operational semantics.
(1995-06-21)
|
| | podobné slovo | definícia |
General semantics
(gcide) | General semantics \Gen"er*al sem*an"tics\, n. (1933)
a doctrine and philosophical approach to language and its
relationship to thought and behavior, developed by Alfred
Korzybski (1879-1950), which holds that the capacity to
express ideas and thereby improve one's interaction with
others and one's environment is enhanced by training in the
more critical use of words and other symbols; -- sometimes
also called semantics.
Note: More information can be found on the web site of the [a
HREF="http:]/www.general-semantics.org/">Institute of
General Semantics.
[PJC]
General Semantics is the study of the relations
between language, "thought", and behavior:
between how we talk, therefore how we think,
therefore how we act. --George DorisSemantics \Sem*an"tics\, n. sing. or pl. [Gr. shmantikos having
meaning, from sh^ma a sign.]
1. the study of the meanings of words and of the sense
development of words; -- formerly called semasiology.
[PJC]
2. a doctrine and philosophical approach to language and its
relationship to thought and behavior, developed by Alfred
Korzybski (1879-1950), which holds that the capacity to
express ideas and thereby improve one's interaction with
others and one's environment is enhanced by training in
the more critical use of words and other symbols; -- also
called {general semantics}.
[PJC]
3. the meanings of words as they are used to achieve an
effect; especially, the multiple meanings of words or the
multiplicity of words having the same meaning; -- used in
referring to the confusion that can be caused
(intentionally or unintentionally) by multiple meanings;
as, there's no real difference, it's only a matter of
semantics.
[PJC] |
general semantics
(gcide) | General semantics \Gen"er*al sem*an"tics\, n. (1933)
a doctrine and philosophical approach to language and its
relationship to thought and behavior, developed by Alfred
Korzybski (1879-1950), which holds that the capacity to
express ideas and thereby improve one's interaction with
others and one's environment is enhanced by training in the
more critical use of words and other symbols; -- sometimes
also called semantics.
Note: More information can be found on the web site of the [a
HREF="http:]/www.general-semantics.org/">Institute of
General Semantics.
[PJC]
General Semantics is the study of the relations
between language, "thought", and behavior:
between how we talk, therefore how we think,
therefore how we act. --George DorisSemantics \Sem*an"tics\, n. sing. or pl. [Gr. shmantikos having
meaning, from sh^ma a sign.]
1. the study of the meanings of words and of the sense
development of words; -- formerly called semasiology.
[PJC]
2. a doctrine and philosophical approach to language and its
relationship to thought and behavior, developed by Alfred
Korzybski (1879-1950), which holds that the capacity to
express ideas and thereby improve one's interaction with
others and one's environment is enhanced by training in
the more critical use of words and other symbols; -- also
called {general semantics}.
[PJC]
3. the meanings of words as they are used to achieve an
effect; especially, the multiple meanings of words or the
multiplicity of words having the same meaning; -- used in
referring to the confusion that can be caused
(intentionally or unintentionally) by multiple meanings;
as, there's no real difference, it's only a matter of
semantics.
[PJC] |
Semantics
(gcide) | General semantics \Gen"er*al sem*an"tics\, n. (1933)
a doctrine and philosophical approach to language and its
relationship to thought and behavior, developed by Alfred
Korzybski (1879-1950), which holds that the capacity to
express ideas and thereby improve one's interaction with
others and one's environment is enhanced by training in the
more critical use of words and other symbols; -- sometimes
also called semantics.
Note: More information can be found on the web site of the [a
HREF="http:]/www.general-semantics.org/">Institute of
General Semantics.
[PJC]
General Semantics is the study of the relations
between language, "thought", and behavior:
between how we talk, therefore how we think,
therefore how we act. --George DorisSemantics \Sem*an"tics\, n. sing. or pl. [Gr. shmantikos having
meaning, from sh^ma a sign.]
1. the study of the meanings of words and of the sense
development of words; -- formerly called semasiology.
[PJC]
2. a doctrine and philosophical approach to language and its
relationship to thought and behavior, developed by Alfred
Korzybski (1879-1950), which holds that the capacity to
express ideas and thereby improve one's interaction with
others and one's environment is enhanced by training in
the more critical use of words and other symbols; -- also
called {general semantics}.
[PJC]
3. the meanings of words as they are used to achieve an
effect; especially, the multiple meanings of words or the
multiplicity of words having the same meaning; -- used in
referring to the confusion that can be caused
(intentionally or unintentionally) by multiple meanings;
as, there's no real difference, it's only a matter of
semantics.
[PJC]Semasiology \Se*ma`si*ol"o*gy\, n. [Gr. shmasi`a signification +
-logy.] (Philol.)
The science of meanings or sense development (of words); the
explanation of the development and changes of the meanings of
words; -- more commonly referred to as semantics. --
Se*ma`si*o*log"ic*al, a.
[Webster 1913 Suppl.] |
cognitive semantics
(wn) | cognitive semantics
n 1: the branch of semantics that studies the cognitive aspects
of meaning [syn: cognitive semantics, {conceptual
semantics}, semasiology] |
conceptual semantics
(wn) | conceptual semantics
n 1: the branch of semantics that studies the cognitive aspects
of meaning [syn: cognitive semantics, {conceptual
semantics}, semasiology] |
formal semantics
(wn) | formal semantics
n 1: the branch of semantics that studies the logical aspects of
meaning |
lexical semantics
(wn) | lexical semantics
n 1: the branch of semantics that studies the meanings and
relations of words |
axiomatic semantics
(foldoc) | axiomatic semantics
A set of assertions about properties of a system and
how they are effected by program execution. The axiomatic
semantics of a program could include pre- and post-conditions
for operations. In particular if you view the program as a
state transformer (or collection of state transformers), the
axiomatic semantics is a set of invariants on the state which
the state transformer satisfies.
E.g. for a function with the type:
sort_list :: [T] -> [T]
we might give the precondition that the argument of the
function is a list, and a postcondition that the return value
is a list that is sorted.
One interesting use of axiomatic semantics is to have a
language that has a finitely computable sublanguage that is
used for specifying pre and post conditions, and then have the
compiler prove that the program will satisfy those conditions.
See also operational semantics, denotational semantics.
(1995-11-09)
|
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)
|
document style semantics and specification language
(foldoc) | Document Style Semantics and Specification Language
DSSSL
(DSSSL) An ISO standard under preparation, addressing the
semantics of high-quality composition in a manner
independent of particular formatting systems or processes.
DSSSL is intended as a complementary standard to SGML for
the specification of semantics.
|
operational semantics
(foldoc) | operational semantics
A set of rules specifying how the state of an actual
or hypothetical computer changes while executing a program.
The overall state is typically divided into a number of
components, e.g. stack, heap, registers etc. Each rule
specifies certain preconditions on the contents of some
components and their new contents after the application of the
rule.
It is similar in spirit to the notion of a Turing machine,
in which actions are precisely described in a mathematical
way.
Compuare axiomatic semantics, denotational semantics.
(1996-08-21)
|
standard semantics
(foldoc) | standard semantics
standard interpretation
The standard interpretation of a term in some language yields
the term's standard denotational semantics, i.e. its "meaning".
This is usually given by a semantic function which maps a term
in the abstract syntax to a point in some domain. The domain
is the interpretation of the term's type. The semantic
function also takes an environment - a function which maps the
free variables of the term to their meaning. We say that a
domain point "denotes", or "is the denotation of", a term. A
non-standard semantics results from some other interpretation,
e.g. an abstract interpretation.
|
|