Category:Files by User:Jochen Burghardt

Subcategories

This category has only the following subcategory.

Pages in category "Files by User:Jochen Burghardt"

This category contains only the following page.

Media in category "Files by User:Jochen Burghardt"

The following 200 files are in this category, out of 426 total.

• 
  1 div (1 + 2 ** (-1 div x)).pdf 1,333 × 1,000; 10 KB
  
• 
  1 div (1 + 2 ** (-1 div x)).svg 802 × 603; 59 KB
  
• 
  11,6,6 subset 6,11.gif 171 × 379; 3 KB
  
• 
  11,6,6 supset 6,11.gif 171 × 379; 3 KB
  
• 
  3SAT 17 svg.svg 354 × 142; 55 KB
  
• 
  3SAT 17.pdf 589 × 235; 28 KB
  
• 
  Abstract interpretation of integers by signs svg.svg 886 × 602; 134 KB
  
• 
  Abstract interpretation of integers by signs.pdf 1,475 × 1,002; 20 KB
  
• 
  Algol grammar expr svg.svg 780 × 443; 133 KB
  
• 
  Algol grammar expr.pdf 1,297 × 737; 28 KB
  
• 
  Anagram canonical svg.svg 326 × 145; 45 KB
  
• 
  Anagram canonical.pdf 541 × 241; 12 KB
  
• 
  Arithmetic quasiperiodic function.gif 642 × 476; 10 KB
  
• 
  Bijection 1234 abcd svg.svg 230 × 195; 21 KB
  
• 
  Bijection 1234 abcd.pdf 383 × 322; 12 KB
  
• 
  Bijection 1234 abdc svg.svg 230 × 195; 25 KB
  
• 
  Bijection 1234 abdc.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 acbd svg.svg 230 × 195; 25 KB
  
• 
  Bijection 1234 acbd.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 acdb.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 acdb.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 adbc svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 adbc.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 adcb svg.svg 230 × 195; 25 KB
  
• 
  Bijection 1234 adcb.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 bacd svg.svg 230 × 195; 25 KB
  
• 
  Bijection 1234 bacd.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 badc svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 badc.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 bcad svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 bcad.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 bcda svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 bcda.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 bdac svg.svg 230 × 195; 28 KB
  
• 
  Bijection 1234 bdac.pdf 383 × 322; 14 KB
  
• 
  Bijection 1234 bdca svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 bdca.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 cabd svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 cabd.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 cadb svg.svg 230 × 195; 28 KB
  
• 
  Bijection 1234 cadb.pdf 383 × 322; 14 KB
  
• 
  Bijection 1234 cbad svg.svg 230 × 195; 25 KB
  
• 
  Bijection 1234 cbad.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 cbda svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 cbda.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 cdab svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 cdab.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 cdba svg.svg 230 × 195; 27 KB
  
• 
  Bijection 1234 cdba.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 dabc svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 dabc.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 dacb svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 dacb.pdf 383 × 322; 14 KB
  
• 
  Bijection 1234 dbac svg.svg 230 × 195; 26 KB
  
• 
  Bijection 1234 dbac.pdf 383 × 322; 14 KB
  
• 
  Bijection 1234 dbca svg.svg 230 × 195; 25 KB
  
• 
  Bijection 1234 dbca.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 dcab svg.svg 230 × 195; 27 KB
  
• 
  Bijection 1234 dcab.pdf 383 × 322; 13 KB
  
• 
  Bijection 1234 dcba svg.svg 230 × 195; 28 KB
  
• 
  Bijection 1234 dcba.pdf 383 × 322; 14 KB
  
• 
  Bijection between natural and integer numbers svg.svg 585 × 106; 42 KB
  
• 
  Bijection between natural and integer numbers.pdf 972 × 177; 19 KB
  
• 
  Bijective map from interval (0,1) to R.png 626 × 961; 11 KB
  
• 
  Binary search vs Linear search example svg.svg 319 × 741; 139 KB
  
• 
  Binary search vs Linear search example.pdf 531 × 1,233; 24 KB
  
• 
  BinRelProp Impl Confl.gif 867 × 636; 16 KB
  
• 
  Bird fold scan fusion 456789 svg.svg 1,594 × 283; 88 KB
  
• 
  Bird fold scan fusion 456789.pdf 2,656 × 470; 48 KB
  
• 
  Bird fold scan fusion 56789 svg.svg 1,222 × 283; 80 KB
  
• 
  Bird fold scan fusion 56789.pdf 2,035 × 470; 48 KB
  
• 
  Bird fold scan fusion 6789 svg.svg 886 × 283; 72 KB
  
• 
  Bird fold scan fusion 6789.pdf 1,475 × 470; 48 KB
  
• 
  Bird foldl map fusion svg.svg 461 × 283; 47 KB
  
• 
  Bird foldl map fusion.pdf 766 × 470; 45 KB
  
• 
  Bird foldl promotion svg.svg 602 × 283; 40 KB
  
• 
  Bird foldl promotion.pdf 1,002 × 470; 29 KB
  
• 
  Bird horner rule 456789 svg.svg 1,063 × 372; 71 KB
  
• 
  Bird horner rule 456789.pdf 1,770 × 618; 40 KB
  
• 
  Bird horner rule 56789 svg.svg 833 × 372; 63 KB
  
• 
  Bird horner rule 56789.pdf 1,387 × 618; 40 KB
  
• 
  Bird horner rule 6789 svg.svg 638 × 372; 56 KB
  
• 
  Bird horner rule 6789.pdf 1,062 × 618; 39 KB
  
• 
  Bird map promotion svg.svg 531 × 283; 32 KB
  
• 
  Bird map promotion.pdf 885 × 470; 34 KB
  
• 
  Bird scan lemma 456789 svg.svg 744 × 283; 41 KB
  
• 
  Bird scan lemma 456789.pdf 1,239 × 470; 28 KB
  
• 
  Bird scan lemma 56789 svg.svg 602 × 283; 36 KB
  
• 
  Bird scan lemma 56789.pdf 1,002 × 470; 28 KB
  
• 
  Bird scan lemma 6789 svg.svg 478 × 283; 32 KB
  
• 
  Bird scan lemma 6789.pdf 795 × 470; 28 KB
  
• 
  Birkhoff representation theorem.gif 423 × 723; 7 KB
  
• 
  Boolean satisfiability vs true literal counts.png 454 × 469; 2 KB
  
• 
  Brzozowski derivative.gif 197 × 482; 5 KB
  
• 
  Busy Beaver 2-state 2-symbol Run.gif 644 × 114; 1 KB
  
• 
  Busy Beaver 3-state 2-symbol Run.gif 644 × 231; 3 KB
  
• 
  Busy Beaver 4-state 2-symbol Run.gif 644 × 1,628; 25 KB
  
• 
  Busy Beaver 5-state 2-symbol best contender Run prefix.gif 1,649 × 28,759; 1.2 MB
  
• 
  Busy Beaver 6-state 2-symbol best contender Run prefix.gif 1,649 × 16,290; 768 KB
  
• 
  C grammar stmt svg.svg 850 × 443; 110 KB
  
• 
  C grammar stmt.pdf 1,416 × 737; 25 KB
  
• 
  C grammar stmt2 svg.svg 881 × 423; 123 KB
  
• 
  C grammar stmt2.pdf 1,375 × 660; 28 KB
  
• 
  Cantor's first uncountability proof Case 1 svg.svg 399 × 80; 20 KB
  
• 
  Cantor's first uncountability proof Case 1.pdf 662 × 131; 46 KB
  
• 
  Cantor's first uncountability proof Case 2 svg.svg 332 × 66; 31 KB
  
• 
  Cantor's first uncountability proof Case 2.pdf 552 × 110; 18 KB
  
• 
  Cantor's first uncountability proof Case 3 svg.svg 332 × 66; 29 KB
  
• 
  Cantor's first uncountability proof Case 3.pdf 552 × 110; 18 KB
  
• 
  CartDistr svg.svg 425 × 319; 45 KB
  
• 
  CartDistr.pdf 708 × 531; 13 KB
  
• 
  CartInts svg.svg 425 × 319; 58 KB
  
• 
  CartInts.pdf 708 × 531; 13 KB
  
• 
  CartUnion svg.svg 1,000 × 750; 4 KB
  
• 
  CartUnion.pdf 708 × 531; 13 KB
  
• 
  Cauchy-Schwarz inequation in Euclidean plane.gif 601 × 586; 5 KB
  
• 
  Circular slide rule diagram svg.svg 797 × 797; 35 KB
  
• 
  Circular slide rule diagram.pdf 1,327 × 1,327; 13 KB
  
• 
  Closest-string problem example svg.svg 374 × 224; 20 KB
  
• 
  Closest-string problem example.pdf 620 × 372; 11 KB
  
• 
  Color gradient illustrating a sorites paradox.png 8,192 × 1,024; 57 KB
  
• 
  Combination of abstract domains.svg 301 × 248; 46 KB
  
• 
  ConvexDistrPolytopeR2 svg.svg 301 × 301; 45 KB
  
• 
  ConvexDistrPolytopeR2.pdf 500 × 500; 24 KB
  
• 
  CookLevin svg.svg 1,035 × 514; 52 KB
  
• 
  CookLevin.pdf 1,722 × 856; 21 KB
  
• 
  CookLevinCommDiag svg.svg 354 × 142; 38 KB
  
• 
  CookLevinCommDiag.pdf 589 × 235; 35 KB
  
• 
  Coordinate system rotation svg.svg 780 × 620; 55 KB
  
• 
  Critical pair (order theory).svg 80 × 80; 859 bytes
  
• 
  CritPair svg.svg 1,720 × 1,153; 4.88 MB
  
• 
  CritPair.pdf 2,685 × 1,800; 98 KB
  
• 
  Crossover nand svg.svg 478 × 230; 38 KB
  
• 
  Crossover nand.pdf 795 × 383; 22 KB
  
• 
  Crossover xor.gif 633 × 644; 4 KB
  
• 
  Curie family tree part svg.svg 1,222 × 656; 104 KB
  
• 
  Curie family tree part.pdf 2,035 × 1,091; 23 KB
  
• 
  Curie family tree.gif 1,869 × 787; 36 KB
  
• 
  Cyclic locally, but not globally confluent rewrite system.png 507 × 228; 959 bytes
  
• 
  Cyclic preferences after Schumm 1987.gif 793 × 285; 5 KB
  
• 
  Darimon.1856 bank statistics p.3.pdf 1,333 × 1,000; 13 KB
  
• 
  Diagonal argument powerset svg.svg 266 × 230; 58 KB
  
• 
  Diagonal argument powerset.pdf 441 × 383; 12 KB
  
• 
  Directed set, but no join semi-lattice.png 252 × 263; 1 KB
  
• 
  Distribution of Cones and Rods on Human Retina.png 891 × 557; 6 KB
  
• 
  DistrPolytopeR2 svg.svg 301 × 301; 47 KB
  
• 
  DistrPolytopeR2.pdf 500 × 500; 24 KB
  
• 
  DistrSemilattice.svg 740 × 670; 3 KB
  
• 
  Domino effect visualizing exclusion of junk term by induction axiom.jpg 3,200 × 2,400; 648 KB
  
• 
  Encompassment ordering on terms s,t svg.svg 287 × 294; 18 KB
  
• 
  Encompassment ordering on terms s,t.pdf 477 × 489; 12 KB
  
• 
  Entropy anim.gif 256 × 256; 1.17 MB
  
• 
  Enumeration of text file by size and lexicographic order, valid C programs highlighted.gif 1,312 × 2,010; 52 KB
  
• 
  Example derivation of a term from a regular tree grammar svg.svg 886 × 89; 29 KB
  
• 
  Example derivation of a term from a regular tree grammar.pdf 1,475 × 145; 10 KB
  
• 
  Example derivation tree of a term from a regular tree grammar svg.svg 797 × 407; 1.63 MB
  
• 
  Example derivation tree of a term from a regular tree grammar.pdf 1,327 × 677; 25 KB
  
• 
  Example for syntactic unification without occurs check leading to infinite tree svg.svg 351 × 872; 39 KB
  
• 
  Example for syntactic unification without occurs check leading to infinite tree.pdf 583 × 1,452; 15 KB
  
• 
  Example of strings equidivisibility.gif 226 × 126; 2 KB
  
• 
  Example term for position, path, depth, match svg.svg 578 × 337; 41 KB
  
• 
  Example term for position, path, depth, match.pdf 962 × 560; 21 KB
  
• 
  Excerpt from a german rhyming dictionary.gif 328 × 944; 13 KB
  
• 
  Exponentiation as monoid homomorphism svg.svg 496 × 461; 67 KB
  
• 
  Exponentiation as monoid homomorphism.pdf 825 × 766; 16 KB
  
• 
  Falcon scheme of chickens and ducks.gif 852 × 826; 9 KB
  
• 
  Family relations example for inductive logic programming article.gif 208 × 110; 632 bytes
  
• 
  Filter vs ultrafilter.svg 528 × 415; 18 KB
  
• 
  Fixpoint012 svg.svg 853 × 640; 30 KB
  
• 
  Fixpoint012.pdf 1,333 × 1,000; 10 KB
  
• 
  Foias 5e-2 svg.svg 2,088 × 1,230; 111 KB
  
• 
  Foias 5e-2.pdf 3,475 × 2,045; 11 KB
  
• 
  Free distributive lattice with 3 generators (x,y,z).gif 996 × 920; 21 KB
  
• 
  Free modular lattice with 3 generators (x,y,z).gif 807 × 904; 23 KB
  
• 
  GaloisEmbeddings Complete Lattices.pdf 1,239 × 1,752, 4 pages; 158 KB
  
• 
  Generalizations of abc.gif 516 × 536; 6 KB
  
• 
  Goldfarb1a.pdf 637 × 283; 37 KB
  
• 
  Goldfarb1b.pdf 637 × 283; 45 KB
  
• 
  Goldfarb1c.pdf 602 × 212; 38 KB
  
• 
  Goldfarb2a.pdf 283 × 141; 53 KB
  
• 
  Goldfarb3a.pdf 177 × 212; 27 KB
  
• 
  Goldfarb4a svg.svg 383 × 213; 22 KB
  
• 
  Goldfarb4a.pdf 637 × 354; 31 KB
  
• 
  Goldfarb4b.pdf 1,629 × 920; 63 KB
  
• 
  Goldfarb4c.pdf 637 × 354; 31 KB
  
• 
  Goldfarb4d.pdf 1,629 × 920; 63 KB
  
• 
  GoodmansCounterexampleNaturalKind.gif 711 × 661; 7 KB
  
• 
  Goose scheme of chickens and ducks.gif 1,100 × 1,314; 10 KB
  
• 
  Graph of non-injective, non-surjective function (red) and of bijective function (green).gif 806 × 963; 17 KB
  
• 
  Hasse3 ge2.svg 429 × 325; 5 KB
  
• 
  Hasse3 not x.svg 429 × 325; 5 KB
  
• 
  Hasse3 x and y impl z.svg 429 × 325; 5 KB
  
• 
  Hasse3 x impl y and z.svg 429 × 325; 5 KB
  
• 
  Hasse3 x or y and z.svg 429 × 325; 5 KB
  
• 
  Hasse3 x xor y xor z.svg 429 × 325; 5 KB
  
• 
  Hasse3 x xor z.svg 429 × 325; 5 KB
  
• 
  HermannBlue.pdf 1,800 × 1,210; 3 KB
  
• 
  HermannCyan.pdf 1,800 × 1,210; 3 KB
  
• 
  HermannGreen.pdf 1,800 × 1,210; 3 KB
  
• 
  HermannMagenta.pdf 1,800 × 1,210; 3 KB