Assertion or assert may refer to:
Computing
*
Assertion (software development), 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, 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) (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