Assertion or assert may refer to:
Computing
*
Assertion (software development)
In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state space, usually expressed as a logical proposition using the variables of a program) connec ...
, a computer programming technique
*
assert.h
assert.h is a header file in the standard library of the C programming language that defines the C preprocessor macro assert().International Standard for Programming Language C (C99), ISO/IEC 9899:1999, p. 169
In C++ it is also available thro ...
, a header file in the standard library of the C programming language
*
Assertion definition language
The Assertion Definition Language (ADL) is a specification language providing a formal grammar to specify behaviour and interfaces for computer software. ADL uses function pre- and postconditions to specify interfaces and is designed to provide an ...
, a specification language providing a formal grammar to specify behaviour and interfaces for computer software
Logic and language
*
Logical assertion
In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in a metalanguage. For example, typical judgments in first-order logic would be ''that a string is a well-formed formula'', or ''that a proposition is tru ...
, a statement that asserts that a certain premise is true
*
Proof by assertion
Proof by assertion, sometimes informally referred to as proof by repeated assertion, is an informal fallacy in which a proposition is repeatedly restated regardless of contradiction and refutation.Austin J. Freeley, David L. Steinberg, ''Argumentat ...
, an informal fallacy in which a proposition is repeatedly restated
*
Time of assertion
In linguistics, TAST (always written as uppercase T plus uppercase AST in subscript) is an abbreviation for the time of assertion, a secondary temporal reference in establishing tense.
Grammatical tense
In grammar, tense is a grammatical cat ...
, in linguistics a secondary temporal reference in establishing tense
* Assertive, a
speech act
In the philosophy of language and linguistics, speech act is something expressed by an individual that not only presents information but performs an action as well. For example, the phrase "I would like the kimchi; could you please pass it to me?" ...
that commits a speaker to the truth of the expressed proposition
Other uses
*
Assert (horse)
Assert (17 April 1979 – 14 September 1995) was an Irish Thoroughbred racehorse and sire. As a two-year-old he was beaten by Golden Fleece on his debut but went on to win the Beresford Stakes. In the following year he won four Group One ...
(1979–1995), an Irish racehorse
*
Assertions (auditing), the set of information that the statement preparer is providing in a financial statement audit
See also
*
*
*
{{disambiguation