Wyniki wyszukiwania:

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, requirements and structures of computing science. This collection of papers presents examples of a formal approach to programming language concepts and program development, based on algebraic specification and program transformations. Examples are also presented of the evolution and modification of the original ideas of a project known as CIP (Computer-Aided Intuition-Guided Programming). The topics range from descriptions...

Dieses Buch uber elementare Aussagenlogik (wie auch seine geplante Fortsetzung uber Elementare Pradikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitat Munchen entstanden. Es basiert auf der Uberzeugung, dass fur Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fur Ingenieure oder Physiker, sondern auch ein anderes Menu, als es sich an unseren Universitaten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingeburgert hat. Neben den unentbehrlichen Einfuhrungsvorlesungen in Mathematik sind fur...