@phdthesis{Boehne2019,
  author    = {B{\"o}hne, Sebastian},
  title     = {Different degrees of formality},
  doi       = {10.25932/publishup-42379},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-423795},
  school      = {Universit{\"a}t Potsdam},
  pages     = {VI, 167},
  year      = {2019},
  abstract  = {In this thesis we introduce the concept of the degree of formality. It is directed against a dualistic point of view, which only distinguishes between formal and informal proofs. This dualistic attitude does not respect the differences between the argumentations classified as informal and it is unproductive because the individual potential of the respective argumentation styles cannot be appreciated and remains untapped. This thesis has two parts. In the first of them we analyse the concept of the degree of formality (including a discussion about the respective benefits for each degree) while in the second we demonstrate its usefulness in three case studies. In the first case study we will repair Haskell B. Curry's view of mathematics, which incidentally is of great importance in the first part of this thesis, in light of the different degrees of formality. In the second case study we delineate how awareness of the different degrees of formality can be used to help students to learn how to prove. Third, we will show how the advantages of proofs of different degrees of formality can be combined by the development of so called tactics having a medium degree of formality. Together the three case studies show that the degrees of formality provide a convincing solution to the problem of untapped potential.},
  language  = {en}
}
@article{DoerrKrejca2020,
  author    = {Doerr, Benjamin and Krejca, Martin S.},
  title     = {Significance-based estimation-of-distribution algorithms},
  series = {IEEE transactions on evolutionary computation},
  volume    = {24},
  journal   = {IEEE transactions on evolutionary computation},
  number    = {6},
  publisher = {Institute of Electrical and Electronics Engineers},
  address   = {New York, NY},
  issn      = {1089-778X},
  doi       = {10.1109/TEVC.2019.2956633},
  pages     = {1025 -- 1034},
  year      = {2020},
  abstract  = {Estimation-of-distribution algorithms (EDAs) are randomized search heuristics that create a probabilistic model of the solution space, which is updated iteratively, based on the quality of the solutions sampled according to the model. As previous works show, this iteration-based perspective can lead to erratic updates of the model, in particular, to bit-frequencies approaching a random boundary value. In order to overcome this problem, we propose a new EDA based on the classic compact genetic algorithm (cGA) that takes into account a longer history of samples and updates its model only with respect to information which it classifies as statistically significant. We prove that this significance-based cGA (sig-cGA) optimizes the commonly regarded benchmark functions OneMax (OM), LeadingOnes, and BinVal all in quasilinear time, a result shown for no other EDA or evolutionary algorithm so far. For the recently proposed stable compact genetic algorithm-an EDA that tries to prevent erratic model updates by imposing a bias to the uniformly distributed model-we prove that it optimizes OM only in a time exponential in its hypothetical population size. Similarly, we show that the convex search algorithm cannot optimize OM in polynomial time.},
  language  = {en}
}
@phdthesis{Kollosche2014,
  author    = {Kollosche, David},
  title     = {Gesellschaft, Mathematik und Unterricht : ein Beitrag zum soziologisch-kritischen Verst{\"a}ndnis der gesellschaftlichen Funktionen des Mathematikunterrichts},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-70726},
  school      = {Universit{\"a}t Potsdam},
  year      = {2014},
  abstract  = {Die vorliegende Studie untersucht die gesellschaftliche Rolle des gegenw{\"a}rtigen Mathematikunterrichts an deutschen allgemeinbildenden Schulen aus einer soziologisch-kritischen Perspektive. In Zentrum des Interesses steht die durch den Mathematikunterricht erfahrene Sozialisation. Die Studie umfasst unter anderem eine Literaturdiskussion, die Ausarbeitung eines soziologischen Rahmens auf der Grundlage des Werks von Michel Foucault und zwei Teilstudien zur Soziologie der Logik und des Rechnens. Abschließend werden Dispositive des Mathematischen beschrieben, die darlegen, in welcher Art und mit welcher pers{\"o}nlichen und gesellschaftlichen Folgen der gegenw{\"a}rtige Mathematikunterricht eine spezielle Geisteshaltung etabliert.},
  language  = {de}
}
@misc{OstrowskiSchaub2012,
  author    = {Ostrowski, Max and Schaub, Torsten H.},
  title     = {ASP modulo CSP},
  series = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  journal   = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  number    = {579},
  issn      = {1866-8372},
  doi       = {10.25932/publishup-41390},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-413908},
  pages     = {19},
  year      = {2012},
  abstract  = {We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with techniques for using non-Boolean constraints from the area of Constraint Programming (CP). The new clingcon system features an extended syntax supporting global constraints and optimize statements for constraint variables. The major technical innovation improves the interaction between ASP and CP solver through elaborated learning techniques based on irreducible inconsistent sets. A broad empirical evaluation shows that these techniques yield a performance improvement of an order of magnitude.},
  language  = {en}
}
@article{Wels2013,
  author    = {Wels, Volkhard},
  title     = {Melanchthons Lehrb{\"u}cher der Dialektik und Rhetorik als komplement{\"a}re Teile einer Argumentationstheorie},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-69127},
  year      = {2013},
  abstract  = {Der Aufsatz zeigt, dass Melanchthons {\"A}nderungen an den traditionellen Lehrinhalten der Dialektik (Logik) und der Rhetorik in erster Linie nicht inhaltlich, sondern durch die argumentationstheoretische Neuausrichtung der beiden Disziplinen motiviert ist.},
  language  = {de}
}
@misc{Wels2014,
  author    = {Wels, Volkhard},
  title     = {Humanistische Ars und deutsche Sprache in Ortholph Fuchspergers "Dialectica deutsch" (1533)},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-69275},
  pages     = {421 -- 437},
  year      = {2014},
  abstract  = {Der Aufsatz argumentiert, dass der entscheidende Punkt an Ortholph Fuchspergers "Dialectica deutsch" der Nachweis ist, dass es m{\"o}glich ist, in deutscher Sprache zu argumentieren. Dies richtet sich gegen die alleinige Verwendung der lateinischen Sprache als wissenschaftlicher Sprache. Fuchsperger zieht damit eine Konsequenz aus der humanistischen Umbestimmung des ars-Begriffes als einer deskriptiven und nicht normativen Verfahrensweise.},
  language  = {de}
}