[11] D. Kozen and M.-C. Patron. Certification of compiler optimizations using Kleene algebra with tests. In Proc. 1st Int. Conf. Computational Logic (CL2000), volume 1861 of Lecture Notes in Artifical Intelligence, pages 568-582. Springer-Verlag, 2000. [12] S. Kripke. [13] V. R. Pratt. A semantical analysis of modal logic I: normal modal propositional calculi. Zeitschrif~ f~r Mathemati~che Logiic und Grundlagen der Mathematik, 9:67-96, 1963. Semantical considerations on Floyd-Hoare logic. In Proceedings o.f the 17th Symposium on ~he Fou~dation~ of Computer ~qcience, pages 109-121. I E E E Computer Society Press, 197'6. Review of A n a l y s i s of A l g o r i t h m s : A n A c t i v e Learning A p p r o a c h ° Author of Book Jei~ey J. McConnell Publisher: Jones and Bartlett Computer Science 2001, ISBN 0-7637-1634-0, $65.95 Author of Review: Christopher G. Jennings,McMaster University, cjennings@acm.org Students don't learn from reading a textbook - - or from lectures, for t h a t matter. T h a t ' s the basic idea behind active learning. Well, okay... I admit it: that definition oversimplifies things. Still, the active learning philosophy
End of preview. The entire article is 2 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/review-of-analysis-of-algorithms-an-active-learning-approach-author-of-FhhuumoErV
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Review of Analysis of Algorithms:An Active Learning Approach : author of book Jeffrey J. McConnell
Jennings, Christopher G.
Follow ACM SIGACT News
, Volume 32 (4)
Association for Computing Machinery – Dec 1, 2001
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
