Just do it: simple monadic equational reasoning

Abstract One of the appeals of pure functional programming is that it is so amenable to equational reasoning. One of the problems of pure functional programming is that it rules out computational effects. Moggi and Wadler showed how to get round this problem by using monads to encapsulate the effects, leading in essence to a phase distinction-a pure functional evaluation yielding an impure imperative computation. Still, it has not been clear how to reconcile that phase distinction with the continuing appeal of functional programming; does the impure imperative part become inaccessible to equational reasoning? We think not; and to back that up, we present a simple axiomatic approach to reasoning about programs with computational effects

Introduction to Discrete Mathematics: An OER for MA-471

The first objective of this book is to define and discuss the meaning of truth in mathematics. We explore logics, both propositional and first-order , and the construction of proofs, both formally and human-targeted. Using the proof tools, this book then explores some very fundamental definitions of mathematics through set theory. This theory is then put in practice in several applications. The particular (but quite widespread) case of equivalence and order relations is studied with detail. Then we introduces sequences and proofs by induction, followed by number theory. Finally, a small introduction to combinatorics is given

Presentations and Structural Properties of Self-similar Groups and Groups without Free Sub-semigroups

This dissertation is devoted to the study of self-similar groups and related topics. It consists of three parts. The first part is devoted to the study of examples of finitely generated amenable groups for which every finitely presented cover contains non-abelian free subgroups. The study of these examples was motivated by natural questions about finiteness properties of finitely generated groups. We show that many examples of amenable self-similar groups studied in the literature cannot be covered by finitely presented amenable groups. We investigate the class of contracting self-similar groups from this perspective and formulate a general result which is used to detect this property. As an application we show that almost all known examples of groups of intermediate growth cannot be covered by finitely presented amenable groups. The latter is related to the problem of the existence of finitely presented groups of intermediate growth. The second part focuses on the study of one important example of a self-similar group called the first Grigorchuk group G, from the viewpoint of pro finite groups. We investigate finite quotients of this group related to presentations and group (co)homology. As an outcome of this investigation we prove that the pro finite completion G_hat of this group is not finitely presented as a pro finite group. The last part focuses on a class of recursive group presentations known as L-presentations, which appear in the study of self-similar groups. We investigate the relation of such presentations with the normal subgroup structure of finitely presented groups and show that normal subgroups with finite cyclic quotient of finitely presented groups have such presentations. We apply this result to finitely presented indicable groups without free sub-semigroups