Hasil Pencarian

Ditemukan 299 dokumen yang sesuai dengan query

Vingron, Shimon P., author

This book covers combinational circuits, latches, and asynchronous sequential circuits, reviewing orthodox and unorthodox approaches to circuit design, exploring the theory of latches and examining asynchronous circuits in tree specification...

Berlin: Springer, 2012

e20398515

eBooks Universitas Indonesia Library

Between logic and reality: modeling inference, action and understanding

[This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality, social, natural or ideal, and logical structures employed in describing or discovering it. Moreover, the book connects logical theory with more concrete issues of...

Dordrecht, Netherlands: [;Spinger Science, Springer], 2012

e20399618

eBooks Universitas Indonesia Library

Frans H. van Eemeren

Topical themes in argumentation theory: twenty exploratory studies

The volume starts with three essays that provide stimulating theoretical perspectives on argumentation. Subsequently, some views are explained on the intriguing topics of ?dissensus? and ?deep disagreement?. After a discussion of three different approaches to the treatment of types of argumentation some classical themes from antique argumentation theory are revisited....

Dordrecht, Netherlands: Springer, 2012

e20401232

eBooks Universitas Indonesia Library

Jeroen Janssen, editor

Answer set programming for continuous domains: a fuzzy logic approach

We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. 2. Users of a programming language often want a rich language that is easy to model in. 3. A well-known technique...

Paris: Atlantis Press, 2012

e20406539

eBooks Universitas Indonesia Library

Franciso Duran, editor

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and...

Berlin: Springer, 2012

e20407300

eBooks Universitas Indonesia Library

Ben-Ari, Mordechai, author

Mathematical logic for computer science

Mathematical logic for computer science is a mathematics textbook with theorems and proofs. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student...

London: Springer, 2012

e20407627

eBooks Universitas Indonesia Library