|
List of journals |
|
| |
The word "journal" has several meanings. Thus, a list of journals can refer for instance to:
a list of academic journals
a list of diaries or private journals, see list of diarists
a list of newspapers
...
Read
More.....
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
6 ) |
Rating :  |
|
| |
|
|
Change of basis |
|
| |
In linear algebra, a basis for a vector space of dimension n is a sequence of n vectors α1, ..., αn with the property that every vector in the space can be expressed uniquely as a linear combination of the basis vectors. Since it is often desirable to work with more than one basis for a vector spa ...
Read
More.....
|
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
8 ) |
Rating : |
|
| |
|
|
Sesquilinear form |
|
| |
In mathematics, a sesquilinear form on a complex vector space V is a map V × V → C that is linear in one argument and antilinear in the other. The name originates from the numerical prefix sesqui- meaning "one and a half". Compare with a bilinear form, which is linear in both arguments; although ...
Read
More.....
|
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
9 ) |
Rating : |
|
| |
|
|
Particle image velocimetry |
|
| |
Particle image velocimetry (PIV) is an optical method used to measure velocities and related properties in fluids. The fluid is seeded with particles which, for the purposes of PIV, are generally assumed to faithfully follow the flow dynamics. It is the motion of these seeding particles that is used ...
Read
More.....
|
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
0 ) |
Rating : |
|
| |
|
|
Particle image velocimetry |
|
| |
Particle image velocimetry (PIV) is an optical method used to measure velocities and related properties in fluids. The fluid is seeded with particles which, for the purposes of PIV, are generally assumed to faithfully follow the flow dynamics. It is the motion of these seeding particles that is used ...
Read
More.....
|
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
9 ) |
Rating : |
|
| |
|
|
Intermediate logic |
|
| |
In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic. Thus consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitioni ...
Read
More.....
|
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
7 ) |
Rating : |
|
| |
|
|
Mathematical proof |
|
| |
In mathematics, a proof is a convincing demonstration that some mathematical statement is necessarily true, within the accepted standards of the field. A proof is a logically deduced argument, not an empirical one. That is, the proof must demonstrate that a proposition is true in all cases to which ...
Read
More.....
|
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
7 ) |
Rating : |
|
| |
|
|
Proof net |
|
| |
In proof theory, proof nets are a geometrical method of representing proofs such that eliminates two forms of bureaucracy that differentiates proofs: (A) irrelevant syntactical features of regular proof calculi such as the natural deduction calculus and the sequent calculus, and (B) the order of rul ...
Read
More.....
|
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
9 ) |
Rating : |
|
| |
|
|
Natural deduction |
|
| |
In philosophical logic, natural deduction is an approach to proof theory that attempts to provide a deductive system which is a formal model of logical reasoning as it "naturally" occurs. This approach is in contrast to axiomatic systems which use axioms.
Contents
1 Natural deductive logic
2 M ...
Read
More.....
|
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
6 ) |
Rating : |
|
| |
|
|
Cut-elimination theorem |
|
| |
The cut-elimination theorem is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen 1934 in his landmark paper "Investigations in Logical Deduction" for the systems LJ and LK formalising intuitionistic and classical logic respectively. ...
Read
More.....
|
|
Comment(s) |
Share
|
Print
|
PDF
|
Views
(
10 ) |
Rating : |
|
| |
|
Home
About Us
Contact Us
Get
RSS FEED.
