Nondeterminism in algebraic specifications and algebraic programs

"Nondeterminism in Algebraic Specifications and Algebraic Programs" presents a mathematical theory for the integration of three concepts: non-determinism, axiomatic specification and term rewriting. For non-deterministic programs, an algebraic specification language is provided which admits the application of automated tools based on term rewriting techniques. This general framework is used to explore connections between logic programming and algebraic programming. Examples from various areas of computer science are given, including results of computer experiments with a prototypical implementation. This book should be of interest to readers working within several fields of theoretical computer science, from algebraic specification theory to formal descriptions of distributed systems

Living in a natural world

Die Dissertation besteht aus drei Teilen: der erste behandelt Rationalität und deren Bedeutung für alle Fragen des Lebens, nicht nur für einen reduzierten – für wissenschaftliche Untersuchungen reservierten – Teilbereich der Welt; der zweite Teil ist metaphysischer Natur und skizziert den postulierten Aufbau der Welt anhand der im ersten Teil erläuterten Prinzipien. Im dritten Teil frage ich – und gebe vorläufige Antworten – wie die Ergebnisse der vorherigen Teile unseren Blickwinkel auf empfindsame Wesen des Universums – darunter Menschen – ändern. Nur wenn wir rational sind können wir das Maximum an Information aus unserer Umwelt extrahieren. Unser beste Weg zum Erkenntnisgewinn sollte auch Leitfaden für unsere Spiritualität, Ethik, unsere Ansichten über den Sinn des Lebens etc sein. Es ist wichtig die sich mit unserem Erkenntnisstand ändernden Standards der Rationalität auf alle menschlichen Unterfangen anzuwenden. Für Individuen bedeutet Wissen gute mentale Modelle der Welt zu besitzen: je genauer effektive Faktoren in der Welt gespiegelt werden, umso besser können angestrebte Ziele erreicht werden. Unwissenheit führt zu Inaktivität und Passivität. Die Bewährungsprobe für Wissen und Philosophie ist die: werden durch sie die Art und Weise wie wir die Welt, unser Leben, und – letztlich am Wichtigsten – die Art und Weise wie wir handeln, verändert?The thesis consists of three parts: the first being on rationality and its import in tackling all questions facing us in our lives, not only a reduced domain of scientific investigation; the second, metaphysical in nature, forming an essay on the nature of the world, especially as informed by the principles of rationality sketched in the previous part; and the third, applying the findings of the previous sections to sentient agents – among them humans – in this universe. I argue that the rational approach is the best way to approach all questions facing us in our lives. Only by being rational can we extract as much information from our environment as possible. Our best way of gaining knowledge should quite naturally also influence our spirituality, our ethics, our view of the meaning of life and so on. It is important to apply the open standards of rationality to all areas of interest to humans. The agent centric approach is central to the thesis. For individuals, knowledge means having a good mental model of the world: the closer to the actual effective factors in the world, the more potential there is for action leading to achievement of goals. Ignorance condemns one to inaction and passivity. The litmus test for knowledge – and philosophy – is this: does it change the way we view the world, our life, and, ultimately and most importantly, the way we act

Northeastern Illinois University, Academic Catalog 2019-2020

https://neiudc.neiu.edu/catalogs/1060/thumbnail.jp

Northeastern Illinois University, Academic Catalog 2022-2023

https://neiudc.neiu.edu/catalogs/1063/thumbnail.jp

Northeastern Illinois University, Academic Catalog 2020-2021

https://neiudc.neiu.edu/catalogs/1061/thumbnail.jp