Functional and Logic Programming

5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
Author: FUJI INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOG,Herbert Kuchen,Japan) Fuji International Symposium on Functional and Logic Programming (5th : 2001 : Tokyo
Publisher: Springer Science & Business Media
ISBN: 3540417397
Category: Computers
Page: 389
View: 2551

Continue Reading →

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.

Thirty Five Years of Automating Mathematics


Author: F.D. Kamareddine
Publisher: Springer Science & Business Media
ISBN: 9401702535
Category: Mathematics
Page: 320
View: 3765

Continue Reading →

THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of 1946 and the de Bruijn-Erdos theorem of 1948. De Bruijn's contributions to mathematics also included his work on generalized function theory, analytic number theory, optimal control, quasicrystals, the mathematical analysis of games and much more. In the 1960s de Bruijn became fascinated by the new computer technology and as a result, decided to start the new AUTOMATH project where he could check, with the help of the computer, the correctness of books of mathematics. In each area that de Bruijn approached, he shed a new light and was known for his originality and for making deep intellectual contributions. And when it came to automating mathematics, he again did it his way and introduced the highly influential AUTOMATH. In the past decade he has also been working on theories of the human brain.

Mathematics, Computer Science and Logic - A Never Ending Story

The Bruno Buchberger Festschrift
Author: Peter Paule
Publisher: Springer Science & Business Media
ISBN: 3319009664
Category: Computers
Page: 113
View: 5865

Continue Reading →

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger’s successor as director of the Research Institute for Symbolic Computation.

A Modern Perspective on Type Theory

From its Origins until Today
Author: F.D. Kamareddine,T. Laan,Rob Nederpelt
Publisher: Springer Science & Business Media
ISBN: 9781402023347
Category: Mathematics
Page: 360
View: 6699

Continue Reading →

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

Selected Papers on Automath


Author: R.P. Nederpelt,J.H. Geuvers,R.C. de Vrijer
Publisher: Elsevier
ISBN: 9780080887180
Category: Mathematics
Page: 1021
View: 9607

Continue Reading →

The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations.

Functional and Logic Programming

5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
Author: Herbert Kuchen,Kazunori Ueda
Publisher: Springer
ISBN: N.A
Category: Functional programming (Computer science)
Page: 391
View: 4799

Continue Reading →

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.

SOFSEM 2002: Theory and Practice of Informatics

29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
Author: William I. Grosky,Frantisek Plasil
Publisher: Springer
ISBN: N.A
Category: Computer software
Page: 10
View: 9990

Continue Reading →

This book constitutes the refereed proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2002, held in Milovy, Czech Republic, in November 2002. The volume presents 10 invited lectures and the report on a panel discussion on GRID computing together with 11 revised full papers selected from 22 submissions. Among the topics covered are system design and testing related theory, distributed and parallel systems, type theory, multimedia, databases, computer vision, and soft computing.

Types for Proofs and Programs

International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
Author: Stefano Berardi,Mario Coppo
Publisher: Springer
ISBN: N.A
Category: Automatic theorem proving
Page: 296
View: 6024

Continue Reading →

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995. Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

The Design of Everyday Things

Psychologie und Design der alltäglichen Dinge
Author: Norman Don
Publisher: Vahlen
ISBN: 3800648105
Category: Business & Economics
Page: 320
View: 6756

Continue Reading →

Apple, Audi, Braun oder Samsung machen es vor: Gutes Design ist heute eine kritische Voraussetzung für erfolgreiche Produkte. Dieser Klassiker beschreibt die fundamentalen Prinzipien, um Dinge des täglichen Gebrauchs umzuwandeln in unterhaltsame und zufriedenstellende Produkte. Don Norman fordert ein Zusammenspiel von Mensch und Technologie mit dem Ziel, dass Designer und Produktentwickler die Bedürfnisse, Fähigkeiten und Handlungsweisen der Nutzer in den Vordergrund stellen und Designs an diesen angepasst werden. The Design of Everyday Things ist eine informative und spannende Einführung für Designer, Marketer, Produktentwickler und für alle an gutem Design interessierten Menschen. Zum Autor Don Norman ist emeritierter Professor für Kognitionswissenschaften. Er lehrte an der University of California in San Diego und der Northwest University in Illinois. Mitte der Neunzigerjahre leitete Don Norman die Advanced Technology Group bei Apple. Dort prägte er den Begriff der User Experience, um über die reine Benutzbarkeit hinaus eine ganzheitliche Erfahrung der Anwender im Umgang mit Technik in den Vordergrund zu stellen. Norman ist Mitbegründer der Beratungsfirma Nielsen Norman Group und hat unter anderem Autohersteller von BMW bis Toyota beraten. „Keiner kommt an Don Norman vorbei, wenn es um Fragen zu einem Design geht, das sich am Menschen orientiert.“ Brand Eins 7/2013 „Design ist einer der wichtigsten Wettbewerbsvorteile. Dieses Buch macht Spaß zu lesen und ist von größter Bedeutung.” Tom Peters, Co-Autor von „Auf der Suche nach Spitzenleistungen“

Tod und Leben großer amerikanischer Städte


Author: Jane Jacobs
Publisher: Birkhäuser
ISBN: 3035602123
Category: Architecture
Page: 220
View: 3878

Continue Reading →

In The Death and Life of Great American Cities durchleuchtet Jane Jacobs 1961 die fragwürdigen Methoden der Stadtplanung und Stadtsanierung in Amerika, der "New Yorker" nannte es das unkonventionellste und provozierendste Buch über Städtebau seit langem. Die deutsche Ausgabe wurde schnell auch im deutschsprachigem Raum zu einer viel gelesenen und diskutierten Lektüre. Sie ist jetzt wieder in einem Nachdruck zugänglich, mit einem Vorwort von Gerd Albers (1993), das nach der Aktualität dieser Streitschrift fragt.