Wikimore

Category:Files by User:Jochen Burghardt

Pages in category "Category:Files by User:Jochen Burghardt"

• User:Jochen Burghardt/WHO Covid
• Category:Test Category of User:Jochen Burghardt
• File:1 div (1 + 2 ** (-1 div x)).pdf
• File:1 div (1 + 2 ** (-1 div x)).svg
• File:11,6,6 subset 6,11.gif
• File:11,6,6 supset 6,11.gif
• File:3SAT 17 svg.svg
• File:3SAT 17.pdf
• File:Abstract interpretation of integers by signs svg.svg
• File:Abstract interpretation of integers by signs.pdf
• File:Algol grammar expr svg.svg
• File:Algol grammar expr.pdf
• File:Anagram canonical svg.svg
• File:Anagram canonical.pdf
• File:Arithmetic quasiperiodic function.gif
• File:Bijection 1234 abcd svg.svg
• File:Bijection 1234 abcd.pdf
• File:Bijection 1234 abdc svg.svg
• File:Bijection 1234 abdc.pdf
• File:Bijection 1234 acbd svg.svg
• File:Bijection 1234 acbd.pdf
• File:Bijection 1234 acdb.pdf
• File:Bijection 1234 acdb.svg
• File:Bijection 1234 adbc svg.svg
• File:Bijection 1234 adbc.pdf
• File:Bijection 1234 adcb svg.svg
• File:Bijection 1234 adcb.pdf
• File:Bijection 1234 bacd svg.svg
• File:Bijection 1234 bacd.pdf
• File:Bijection 1234 badc svg.svg
• File:Bijection 1234 badc.pdf
• File:Bijection 1234 bcad svg.svg
• File:Bijection 1234 bcad.pdf
• File:Bijection 1234 bcda svg.svg
• File:Bijection 1234 bcda.pdf
• File:Bijection 1234 bdac svg.svg
• File:Bijection 1234 bdac.pdf
• File:Bijection 1234 bdca svg.svg
• File:Bijection 1234 bdca.pdf
• File:Bijection 1234 cabd svg.svg
• File:Bijection 1234 cabd.pdf
• File:Bijection 1234 cadb svg.svg
• File:Bijection 1234 cadb.pdf
• File:Bijection 1234 cbad svg.svg
• File:Bijection 1234 cbad.pdf
• File:Bijection 1234 cbda svg.svg
• File:Bijection 1234 cbda.pdf
• File:Bijection 1234 cdab svg.svg
• File:Bijection 1234 cdab.pdf
• File:Bijection 1234 cdba svg.svg
• File:Bijection 1234 cdba.pdf
• File:Bijection 1234 dabc svg.svg
• File:Bijection 1234 dabc.pdf
• File:Bijection 1234 dacb svg.svg
• File:Bijection 1234 dacb.pdf
• File:Bijection 1234 dbac svg.svg
• File:Bijection 1234 dbac.pdf
• File:Bijection 1234 dbca svg.svg
• File:Bijection 1234 dbca.pdf
• File:Bijection 1234 dcab svg.svg
• File:Bijection 1234 dcab.pdf
• File:Bijection 1234 dcba svg.svg
• File:Bijection 1234 dcba.pdf
• File:Bijection between natural and integer numbers svg.svg
• File:Bijection between natural and integer numbers.pdf
• File:Bijective map from interval (0,1) to R.png
• File:Binary search vs Linear search example svg.svg
• File:Binary search vs Linear search example.pdf
• File:BinRelProp Impl Confl.gif
• File:Bird fold scan fusion 456789 svg.svg
• File:Bird fold scan fusion 456789.pdf
• File:Bird fold scan fusion 56789 svg.svg
• File:Bird fold scan fusion 56789.pdf
• File:Bird fold scan fusion 6789 svg.svg
• File:Bird fold scan fusion 6789.pdf
• File:Bird foldl map fusion svg.svg
• File:Bird foldl map fusion.pdf
• File:Bird foldl promotion svg.svg
• File:Bird foldl promotion.pdf
• File:Bird horner rule 456789 svg.svg
• File:Bird horner rule 456789.pdf
• File:Bird horner rule 56789 svg.svg
• File:Bird horner rule 56789.pdf
• File:Bird horner rule 6789 svg.svg
• File:Bird horner rule 6789.pdf
• File:Bird map promotion svg.svg
• File:Bird map promotion.pdf
• File:Bird scan lemma 456789 svg.svg
• File:Bird scan lemma 456789.pdf
• File:Bird scan lemma 56789 svg.svg
• File:Bird scan lemma 56789.pdf
• File:Bird scan lemma 6789 svg.svg
• File:Bird scan lemma 6789.pdf
• File:Birkhoff representation theorem.gif
• File:Boolean satisfiability vs true literal counts.png
• File:Brzozowski derivative.gif
• File:Busy Beaver 2-state 2-symbol Run.gif
• File:Busy Beaver 3-state 2-symbol Run.gif
• File:Busy Beaver 4-state 2-symbol Run.gif
• File:Busy Beaver 5-state 2-symbol best contender Run prefix.gif
• File:Busy Beaver 6-state 2-symbol best contender Run prefix.gif
• File:C grammar stmt svg.svg
• File:C grammar stmt.pdf
• File:C grammar stmt2 svg.svg
• File:C grammar stmt2.pdf
• File:Cantor's first uncountability proof Case 1 svg.svg
• File:Cantor's first uncountability proof Case 1.pdf
• File:Cantor's first uncountability proof Case 2 svg.svg
• File:Cantor's first uncountability proof Case 2.pdf
• File:Cantor's first uncountability proof Case 3 svg.svg
• File:Cantor's first uncountability proof Case 3.pdf
• File:CartDistr svg.svg
• File:CartDistr.pdf
• File:CartInts svg.svg
• File:CartInts.pdf
• File:CartUnion svg.svg
• File:CartUnion.pdf
• File:Cauchy-Schwarz inequation in Euclidean plane.gif
• File:Circular slide rule diagram svg.svg
• File:Circular slide rule diagram.pdf
• File:Closest-string problem example svg.svg
• File:Closest-string problem example.pdf
• File:Color gradient illustrating a sorites paradox.png
• File:Combination of abstract domains.svg
• File:ConvexDistrPolytopeR2 svg.svg
• File:ConvexDistrPolytopeR2.pdf
• File:CookLevin svg.svg
• File:CookLevin.pdf
• File:CookLevinCommDiag svg.svg
• File:CookLevinCommDiag.pdf
• File:Coordinate system rotation svg.svg
• File:Critical pair (order theory).svg
• File:CritPair svg.svg
• File:CritPair.pdf
• File:Crossover nand svg.svg
• File:Crossover nand.pdf
• File:Crossover xor.gif
• File:Curie family tree part svg.svg
• File:Curie family tree part.pdf
• File:Curie family tree.gif
• File:Cyclic locally, but not globally confluent rewrite system.png
• File:Cyclic preferences after Schumm 1987.gif
• File:Darimon.1856 bank statistics p.3.pdf
• File:Diagonal argument powerset svg.svg
• File:Diagonal argument powerset.pdf
• File:Directed set, but no join semi-lattice.png
• File:Distribution of Cones and Rods on Human Retina.png
• File:DistrPolytopeR2 svg.svg
• File:DistrPolytopeR2.pdf
• File:DistrSemilattice.svg
• File:Domino effect visualizing exclusion of junk term by induction axiom.jpg
• File:Encompassment ordering on terms s,t svg.svg
• File:Encompassment ordering on terms s,t.pdf
• File:Entropy anim.gif
• File:Enumeration of text file by size and lexicographic order, valid C programs highlighted.gif
• File:Eqc prime cnt svg.svg
• File:Eqc prime cnt.pdf
• File:Example derivation of a term from a regular tree grammar svg.svg
• File:Example derivation of a term from a regular tree grammar.pdf
• File:Example derivation tree of a term from a regular tree grammar svg.svg
• File:Example derivation tree of a term from a regular tree grammar.pdf
• File:Example for syntactic unification without occurs check leading to infinite tree svg.svg
• File:Example for syntactic unification without occurs check leading to infinite tree.pdf
• File:Example of strings equidivisibility.gif
• File:Example term for position, path, depth, match svg.svg
• File:Example term for position, path, depth, match.pdf
• File:Excerpt from a german rhyming dictionary.gif
• File:Exponentiation as monoid homomorphism svg.svg
• File:Exponentiation as monoid homomorphism.pdf
• File:Falcon scheme of chickens and ducks.gif
• File:Family relations example for inductive logic programming article.gif
• File:Filter vs ultrafilter.svg
• File:Fixpoint012 svg.svg
• File:Fixpoint012.pdf
• File:Foias 5e-2 svg.svg
• File:Foias 5e-2.pdf
• File:Free distributive lattice with 3 generators (x,y,z).gif
• File:Free modular lattice with 3 generators (x,y,z).gif
• File:GaloisEmbeddings Complete Lattices.pdf
• File:Generalizations of abc.gif
• File:Goldfarb1a.pdf
• File:Goldfarb1b.pdf
• File:Goldfarb1c.pdf
• File:Goldfarb2a.pdf
• File:Goldfarb3a.pdf
• File:Goldfarb4a svg.svg
• File:Goldfarb4a.pdf
• File:Goldfarb4b.pdf
• File:Goldfarb4c.pdf
• File:Goldfarb4d.pdf
• File:GoodmansCounterexampleNaturalKind.gif
• File:Goose scheme of chickens and ducks.gif
• File:Graph of non-injective, non-surjective function (red) and of bijective function (green).gif
• File:Hasse3 ge2.svg
• File:Hasse3 not x.svg
• File:Hasse3 x and y impl z.svg
• File:Hasse3 x impl y and z.svg
• File:Hasse3 x or y and z.svg
• File:Hasse3 x xor y xor z.svg
• File:Hasse3 x xor z.svg
• File:HermannBlue.pdf
• File:HermannCyan.pdf
• File:HermannGreen.pdf
• File:HermannMagenta.pdf
• File:HermannRed.pdf
• File:HermannWhite.pdf
• File:HermannYellow.pdf
• File:Hopital sin x by -0.5x.png
• File:Image preimage conterexample bf.gif
• File:Image preimage conterexample fb.gif
• File:Image preimage conterexample intersection.gif
• File:Image preimage conterexamples.gif
• File:Indp tree WH2.gif
• File:IndpGrm.gif
• File:Inductive proofs of properties of add, mult from recursive definitions svg.svg
• File:Inductive proofs of properties of add, mult from recursive definitions.pdf
• File:Infinity paradoxon - one-to-one correspondence between infinite set and proper subset.gif
• File:Integer examples for groups and non-groups svg.svg
• File:Integer examples for groups and non-groups.pdf
• File:IntLinPgmRelax svg.svg
• File:IntLinPgmRelax.pdf
• File:Kadane run −2,1,−3,4,−1,2,1,−5,4.gif
• File:Kersten's shadow effect - increasing height.gif
• File:Kersten's shadow effect - liftoff motion.gif
• File:Kersten's shadow effect - same height.gif
• File:Kleene fixpoint svg.svg
• File:Kleene fixpoint.pdf
• File:KleeneT collatz5.gif
• File:Kolmogorov complexity and computable lower bounds pdf.pdf
• File:Kolmogorov complexity and computable lower bounds svg.svg
• File:Lagrange polynomials for continuations of sequence 1,2,3.gif
• File:Lattice of automata accepting 1, 10, and 100.gif
• File:Left Euclidean relation scheme svg.svg
• File:Left Euclidean relation scheme.pdf
• File:Lexicographic order on pairs of natural numbers.svg
• File:Linear transformation svg.svg
• File:Linear transformation.pdf
• File:LineSegment selfSimilar svg.svg
• File:LineSegment selfSimilar.pdf
• File:Logarithic decrement svg.svg
• File:Logarithic decrement.pdf
• File:LongestSubstring svg.svg
• File:LongestSubstring.pdf
• File:MapsEvenToNat.pdf
• File:MathStructuresForPatternMatching.pdf
• File:MatrixMultComplexity svg.svg
• File:MatrixMultComplexity.pdf
• File:MatrixMultComplexity1990 svg.svg
• File:MatrixMultComplexity1990.pdf
• File:Max seg sums svg.svg
• File:Max seg sums.pdf
• File:MEW23 Metamorphsis DE svg.svg
• File:MEW23 Metamorphsis DE.pdf
• File:MEW23 Metamorphsis EN svg.svg
• File:MEW23 Metamorphsis EN.pdf
• File:MEW24 Accumulation 1 DE.pdf
• File:MEW24 Accumulation 1 flow graph.gif
• File:MEW24 Reproduction DE svg.svg
• File:MEW24 Reproduction DE.pdf
• File:MEW24 Reproduction EN svg.svg
• File:MEW24 Reproduction EN.pdf
• File:MEW25 Average profit DE svg.svg
• File:MEW25 Average profit DE.pdf
• File:MEW25 Average profit EN svg.svg
• File:MEW25 Average profit EN.pdf
• File:MinkowskiDiagramScheme 5m 15ns.gif
• File:Mmult factory svg.svg
• File:Mmult factory.pdf
• File:Monogenic semigroup order 9 period 6.gif
• File:Monotonic but nonhomomorphic map between lattices.gif
• File:Monotonic dense jumps svg.svg
• File:Monotonic dense jumps.pdf
• File:Months circle svg es.svg
• File:Months circle svg.svg
• File:Months circle.pdf
• File:MonusTuringMachine ExampleRuns.gif
• File:MonusTuringMachine svg.svg
• File:MonusTuringMachine.pdf
• File:Mutual embedding of open and closed real unit interval svg.svg
• File:Mutual embedding of open and closed real unit interval.pdf
• File:NBG Evolution svg.svg
• File:NBG Evolution.pdf
• File:NFA with exponential blown-up DFA.gif
• File:NFASimpleExample Runs10.gif
• File:NFASimpleExample Runs100.gif
• File:NFASimpleExample Runs1011.gif
• File:Non-cyclic locally, but not globally confluent rewrite system.gif
• File:NP-hardness of pattern language membership svg.svg
• File:NP-hardness of pattern language membership.pdf
• File:OeisNat05 svg.svg
• File:OeisNat05.pdf
• File:OeisNat08 svg.svg
• File:OeisNat08.pdf
• File:OeisNat29 svg.svg
• File:OeisNat29.pdf
• File:Old man garden-path (right).pdf
• File:Old man garden-path (right).svg
• File:Old man garden-path (wrong).pdf
• File:Old man garden-path (wrong).svg
• File:Omega-exp-omega-normal svg.svg
• File:Omega-exp-omega-normal-bw svg.svg
• File:Omega-exp-omega-normal-dark svg.svg
• File:Omega-exp-omega-normal.pdf
• File:OmegaPlusOmega svg.svg
• File:OmegaPlusOmega.pdf
• File:Optical illusion - subjectively constructed cyan sqare filter above blue cirles.gif
• File:OrderTypeExamples svg.svg
• File:OrderTypeExamples.pdf
• File:Pairwise unifiable terms.gif
• File:Palette of 125 main colors with RGB components divisible by 64.gif
• File:Parsing a C program that needs 2 token lookahead.pdf
• File:Parsing a C program that needs 2 token lookahead.svg
• File:PartialOrders redundencies svg.svg
• File:PartialOrders redundencies.pdf
• File:Pascal triangle 50.pdf
• File:Peano-7 svg.svg
• File:Peano-7.pdf
• File:Peano-8 svg.svg
• File:Peano-8.pdf
• File:Peano-9 svg.svg
• File:Peano-9.pdf
• File:Piecewise linear function gnuplot.svg
• File:PiecewiseMonoDiff svg.svg
• File:PiecewiseMonoDiff.pdf
• File:Pinna's illusory intertwining effect.gif
• File:Pointwise sum and product of sin and ln function.png
• File:Polynomial division -0.5x^4+1.25x^3+x-4 by x-2.pdf
• File:Polynomial division -2x^4+5x^3+4x-16 by x-2.pdf
• File:Pow3nonlattice.svg
• File:Prewellordering example svg.svg
• File:Prewellordering example x div 4 leq y div 5.gif
• File:Prewellordering example.pdf
• File:QmcSearchGraph3 Ab+c svg.svg
• File:QmcSearchGraph3 Ab+c.pdf
• File:QmcSearchGraph3 svg.svg
• File:QmcSearchGraph3.pdf
• File:QmcSearchSpace2.gif
• File:QmcSearchSpace3.gif
• File:QmcSearchSpace4.gif
• File:QuantifierScopes svg.svg
• File:QuantifierScopes.pdf
• File:Quasitransitive 25 percent margin.gif
• File:Quasitransitive Even 5.gif
• File:Quine's qualitative sphere svg.svg
• File:Quine's qualitative sphere.pdf
• File:Quotient automaton a,b,c,d.gif
• File:Quotient automaton a=b,c,d.gif
• File:Quotient automaton a=b,c=d.gif
• File:Quotient automaton a=b=c=d.gif
• File:Race between Achilles and the tortoise.gif
• File:Race between Achilles and the tortoise.svg
• File:Rational sequence with 2 accumulation points.pdf
• File:Rational sequence with 2 accumulation points.svg
• File:Rebalancing cases in AVL tree.gif
• File:Recursive enumeration of all halting Turing machines.gif
• File:RegexComplementBlowup.png
• File:RegSubsetNP svg.svg
• File:RegSubsetNP.pdf
• File:Relation repr 12div svg.svg
• File:Relation repr 12div.pdf
• File:RepFreeDeriv.pdf
• File:Right Euclidean relation scheme svg.svg
• File:Right Euclidean relation scheme.pdf
• File:Rippling + com.pdf
• File:Schaefer's 3-SAT to 1-in-3-SAT reduction.gif
• File:Schaefer's dichotomy theorem relation hierarchy.gif
• File:Schroder-Bernstein counterexample - Making of.jpg
• File:Schroder-Bernstein counterexample L in R.jpg
• File:Schroder-Bernstein counterexample noncontiuous bijection.jpg
• File:Schroder-Bernstein counterexample R in L.jpg
• File:Schroder-Bernstein counterexample.jpg
• File:ScottDomain svg.svg
• File:ScottDomain.pdf
• File:SemiorderAxiom2 svg.svg
• File:SemiorderAxiom2.pdf
• File:SemiorderAxiom3 svg.svg
• File:SemiorderAxiom3.pdf
• File:SetConstraintsAbstractInterpretation svg.svg
• File:SetConstraintsAbstractInterpretation.pdf
• File:SetCover.svg
• File:Simplified fictitious autobiography wrt piles and heaps.gif
• File:Sin x = ln x svg.svg
• File:Sin x = ln x.pdf
• File:Sin x*x svg.svg
• File:Sin x*x.pdf
• File:Smallest asymmetric and dense relation.png
• File:Solving the word problem without and with completion svg.svg
• File:Solving the word problem without and with completion.pdf
• File:Sort hierarchy.png
• File:SqrtGeom.gif
• File:Steinitz numbers svg.svg
• File:Steinitz numbers.pdf
• File:Strict product order on pairs of natural numbers.svg
• File:Subjectively constructed water-color.gif
• File:Syntax tree of arithmetic expression wrt Chomsky normal form grammar.gif
• File:Thompson's construction algorithm applied to regular expression for binary multiples of 3.gif
• File:Tree structure of mathematical first-order terms svg.svg
• File:Tree structure of mathematical first-order terms.pdf
• File:Triangle diagram of narrowing step svg.svg
• File:Triangle diagram of narrowing step.pdf
• File:Triangle diagram of rewrite rule application svg.svg
• File:Triangle diagram of rewrite rule application.pdf
• File:Triangle diagram of syntactic unification svg.svg
• File:Triangle diagram of syntactic unification.pdf
• File:TrivFctRootDef.pdf
• File:TrivFctRootExm svg.svg
• File:TrivFctRootExm.pdf
• File:TwoTimesOmega svg.svg
• File:TwoTimesOmega.pdf
• File:Unification exponential blow-up svg.svg
• File:Unification exponential blow-up.pdf
• File:UnitaryMethod svg.svg
• File:UnitaryMethod.pdf
• File:US government example for Goodman's new riddle of induction svg.svg
• File:US government example for Goodman's new riddle of induction.pdf
• File:WeinerB a.gif
• File:WeinerB aaaabbbbaaaabbbb.gif
• File:WeinerB ana.gif
• File:WeinerB anana.gif
• File:WeinerB banana.gif
• File:WeinerB na.gif
• File:WeinerB nana.gif
• File:WeinerC aaaabbbbaaaabbbb.gif
• File:Wirbeltraversierung0.gif
• File:Wirbeltraversierung1.gif
• File:Wirbeltraversierung2.gif
• File:X-lbx svg.svg
• File:X-lbx.pdf
• File:Xxx Scanner and parser example for C.gif
• File:Xxx scanner example for C.gif
• File:X^2+sign(x).pdf
• File:X^2+sign(x).svg

This content is licensed under the Creative Commons Attribution-Share Alike 4.0.

Brought to you by Wikimore, a Private.coffee project