Logic from Computer Science PDF
By:Yiannis N. Moschovakis
Published on 2012-12-06 by Springer Science & Business Media
The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional |mathematical logicians| and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too.
This Book was ranked at 5 by Google Books for keyword Computer Science.
Book ID of Logic from Computer Science's Books is L6LeBwAAQBAJ, Book which was written byYiannis N. Moschovakishave ETAG "9MDW2t1jeDU"
Book which was published by Springer Science & Business Media since 2012-12-06 have ISBNs, ISBN 13 Code is 9781461228226 and ISBN 10 Code is 1461228220
Reading Mode in Text Status is false and Reading Mode in Image Status is true
Book which have "608 Pages" is Printed at BOOK under CategoryMathematics
Book was written in en
eBook Version Availability Status at PDF is true and in ePub is false
Book Preview
Download Logic from Computer Science PDF Free
Download Logic from Computer Science Books Free
Download Logic from Computer Science Free
Download Logic from Computer Science PDF
Download Logic from Computer Science Books
No comments:
Post a Comment