Relational Methods in Computer Science

ISBN-13: 9783211829714 / Angielski / Miękka / 1997 / 272 str.

C. Brink; W. Kahl Schmidt; Chris Brink

Opis

The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science. ..". While this is a multi-authored volume, the authors have done an excellent job of making it read like a single-authored work ... The book can be viewed as a set of snapshots of a family of research and researchers at one point in time. If you are interested in relational problems, I can think of no better introduction ... Computing Reviews

Spis treści

I. Introduction.- 1 Background Material.- II. Algebras.- 2 Relation Algebras.- 3 Heterogeneous Relation.- 4 Fork Algebras.- III. Logics.- 5 Relation Algebra and Modal Logics.- 6 Relational Formalisation of Nonclassical Logics.- 7 Linear Logic.- IV. Programs.- 8 Relational Semantics of Functional Programs.- 9 Algorithms from Relational Specifications.- 10 Programs and Datatypes.- 11 Refinement and Demonic Semantics.- 12 Tabular Representations in Relational Documents.- V. Other Application Areas.- 13 Databases.- 14 Logic, Language, and Information.- 15 Natural Language.- Bibliography (compiled by Wolfram Kahl, Thomas Ströhlein).- Symbol Table.- Addresses of Contributors.

O autorze

Dr. Gunther Schmidt gilt international als einer der maßgeblichen Pioniere in der Entwicklung einer Integration systemischer (auch familientherapeutischer) Modelle und der kompetenzfokussierenden Konzepte Erickson'scher Hypnotherapie zu einem ganzheitlich-lösungsfokussierenden Konzept für Beratung und Psychotherapie. Im deutschsprachigen Raum begründete er mit seinen, durch Milton Erickson angeregten Beiträgen die 'lösungsorientierte Wende' in der systemischen Familientherapie ebenso wie den Aufbau kompetenz- und lösungsorientierter Kurzzeittherapie im Bereich z.B. von Suchtproblemen, Psychosomatik und der Therapie von massiv traumatisierten Menschen. Die von ihm entwickelten systemisch- hypnotherapeutischen Modelle für Organisationsberatung, Team- und Gruppenarbeit und Coaching tragen wesentlich zu einem intensivierten ressourcenorientierten Beratungsverständnis bei. 2011 wurde Schmidt für sein Lebenswerk mit dem Life Achivement Award ausgezeichnet.