Newbetuts
.
New posts in definition
What is the meaning of the symbol "$\left|\underline{\;n\;}\right.$" for integer $n$?
notation
definition
Is every axiom in the definition of a vector space necessary?
abstract-algebra
vector-spaces
definition
axioms
Can a function be increasing *at a point*?
functions
soft-question
definition
why do we use 'non-increasing' instead of decreasing?
calculus
real-analysis
terminology
definition
Is there such thing as a "3-dimensional surface"?
terminology
definition
surfaces
What is an algebraic variety?
algebraic-geometry
soft-question
terminology
definition
Two definitions of $\limsup$
definition
limsup-and-liminf
What is a loop invariant?
algorithm
terminology
definition
clrs
loop-invariant
Why does the Dedekind Cut work well enough to define the Reals?
real-analysis
elementary-set-theory
definition
real-numbers
Still struggling to understand vacuous truths
logic
definition
proof-explanation
propositional-calculus
boolean-algebra
Why does the definition of limits of a function have strict inequality?
calculus
definition
What is a "thread" (really)?
multithreading
process
definition
What is Weak Head Normal Form?
haskell
definition
strictness
weak-head-normal-form
Are {$a {\cdot} b\ \ |\ \ a \in A, b \in B$} and {$a {\cdot} b\ \ |\ \ (a, b) \in A \times B$} the same thing?
elementary-set-theory
definition
C++: Does using dereference to change value of a variable result in that variable pointing to a different memory block?
c++
pointers
variables
variable-assignment
definition
What is limit superior and limit inferior?
definition
limsup-and-liminf
What would happen if we just made vacuous truths false instead?
logic
soft-question
definition
propositional-calculus
How do I interpret the specification of memory (RAM)?
memory
specifications
computer-architecture
definition
In arbitrary commutative rings, what is the accepted definition of "associates"?
ring-theory
commutative-algebra
terminology
definition
divisibility
What is a web service endpoint?
web-services
terminology
definition
endpoint
Prev
Next