Main Menu

 Home 

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

 Music 
    - Mp3 
    - Music Video 

 Games 
    - PC 
    - Console 

 Books 
    - Audiobook 
    - Comic 
    - eBook 
    - Magazine 
    - Video Training 

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

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

 Mobile 
    - 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