9 results authored by Bernhard von Stengel - search across all users.
-
Question in LSE MA103 Intro Abstract Maths
Testing the understanding of the formal definition of A⊆B.
-
Question in LSE MA103 Intro Abstract Maths
Create a truth table with 3 logic variables to see if two logic expressions are equivalent.
-
Question in LSE MA103 Intro Abstract Maths
Example of a universal statement over the integers and its negation
-
Question in LSE MA103 Intro Abstract Maths
Find the gcd d of two positive integers a and b also find integers x,y such that ax+by=d, using the extended Euclidean algorithm.
-
Question in LSE MA103 Intro Abstract Maths
The expression p⇒q⇒r is ambiguous.
-
Question in LSE MA103 Intro Abstract Maths
Converting integers from one base to another. Includes binary to decimal.
-
Question in LSE MA103 Intro Abstract Maths
Converting integers from one base to another. The numbers are non-variable.
-
Question in Bernhard's workspace
Create a truth table for a logical expression of the form (aop1b)op2(cop3d) where a,b,c,d can be the Boolean variables p,q,¬p,¬q and each of op1,op2,op3 one of ∨,∧,→.
For example: (p∨¬q)∧(q→¬p).
-
Question in Bernhard's workspace
Create a truth table for a logical expression of the form (aop1b)op2(cop3d) where a,b,c,d can be the Boolean variables p,q,¬p,¬q and each of op1,op2,op3 one of ∨,∧,→.
For example: (p∨¬q)∧(q→¬p).