Main Menu


    - Driver 
    - Graphic & Design 
    - Internet 
    - MacOSX 
    - Multimedia 
    - Office 
    - Portable 
    - Security 
    - System 

    - Mp3 
    - Music Video 

    - PC 
    - Console 

    - Audiobook 
    - Comic 
    - eBook 
    - Magazine 
    - Video Training 

    - Amine 
    - Cam 
    - DVD 
    - HD/BluRay 
    - TV Show 
    - Documentary 

    - 3D Model 
    - icon 
    - Font 
    - Footage 
    - Photoshop 
    - Template 
    - Vector 
    - Stock 
    - Script/Plugin 
    - Wallpaper 

    - iOS 
    - Android 
   Books / eBook : Algorithmic Logic
Algorithmic Logic

Algorithmic Logic By G. Mirkowska, A. Salwicki
1986 | 388 Pages | ISBN: 9027719284 | DJVU | 6 MB

The purpose of this book is manyfold. It is intended both to present techniques useful in software engineering and to expose results of research on properties of these techniques.The major goal of the book is to help the reader in elaboration of his own views on foundations of computing. The present authors believe that semantics of programs will always be the necessary foundation for every student of computing. On this foundation one can construct subsequent layers of skill and knowledge in computer science. Later one discovers more questions of a different nature, e.g. on cost and optimality of algorithms. This book shall be mainly concerned with semantics.Secondly, the book aims to supply a new set of logical axioms and inference rules appropriate for reasoning about the properties of algorithms. Such tools are useful for formalizing the verification and analysis of algorithms. The tools should be of quality-they should be consistent and complete. These and similar requirements lead us toward metamathematical questions concerning the structure of algorithmic logic.

Buy Premium Account To Get Resumable Support & Max Speed

Links are Interchangeable - No Password


Back to Top