Hasil Pencarian

Ditemukan 407 dokumen yang sesuai dengan query

Manna, Zohar, author

Lectures on the logic of computer programming

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and...

Philadelphia: Society for Industrial and Applied Mathematics, 1980

e20450584

eBooks Universitas Indonesia Library

Intriligator, Michael D., author

Mathematical optimization and economic theory

Mathematical Optimization and Economic Theory provides a self-contained introduction to and survey of mathematical programming and control techniques and their applications to static and dynamic problems in economics, respectively. It is distinctive in showing the unity of the various approaches to solving problems of constrained optimization that all stem back...

Philadelphia: Society for Industrial and Applied Mathematics, 2002

e20450608

eBooks Universitas Indonesia Library

Xue, Dingyu, author

Linear feedback control: analysis and design with MATLAB

This book discusses analysis and design techniques for linear feedback control systems using MATLAB software. By reducing the mathematics, increasing MATLAB working examples, and inserting short scripts and plots within the text, the authors have created a resource suitable for almost any type of user. For beginners, the book provides...

Philadelphia: Society for Industrial and Applied Mathematics, 2007

e20448929

eBooks Universitas Indonesia Library