{"id":60421,"date":"2025-08-19T13:10:02","date_gmt":"2025-08-19T17:10:02","guid":{"rendered":"https:\/\/web.uri.edu\/summer\/mth-180-mathematical-tools-for-computing-2\/"},"modified":"2026-04-14T21:49:44","modified_gmt":"2026-04-15T01:49:44","slug":"mth-180-mathematical-tools-for-computing-2","status":"publish","type":"post","link":"https:\/\/web.uri.edu\/summer\/mth-180-mathematical-tools-for-computing-2\/","title":{"rendered":"MTH 180: Mathematical Tools for Computing"},"content":{"rendered":"<p><strong>Instructor:<\/strong> <a href='mailto:thoma@uri.edu?subject=Questions%20regarding%20Summer%20Sessions:%20MTH%20180:%20Mathematical%20Tools%20for%20Computing%20-%20Session 1'>Thoma, Lubos<\/a><br \/>\nIntroduction to mathematical tools and to formal methods of reasoning for computing. Topics include propositional logic, proofs, elementary number theory, counting, graphs, and linear algebra. Emphasis on applications to computing. (Lec. 3\/Online) (A1) (B3)<br \/>\n3 crs.<br \/>\n<strong>Session 1<\/strong> (5\/18-6\/20)<br \/>\n<strong>Schedule:<\/strong> Online<br \/>\n<strong>Course delivery:<\/strong> Online-Asynchronous<br \/>\n<strong>General education outcome:<\/strong> A1,B3<br \/>\n<strong>Additional fees:<\/strong> No additional fees.<\/p>\n<p><a class=\"cl-button prominent\" title=\"\" href=\"https:\/\/web.uri.edu\/summer\/register\/\" target=\"_blank\" rel=\"noopener\">Learn how to register<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Introduction to mathematical tools and to formal methods of reasoning for computing.<\/p>\n","protected":false},"author":5152,"featured_media":54032,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":"","_links_to":"","_links_to_target":""},"categories":[300],"tags":[108,1051],"class_list":["post-60421","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-session-1","tag-a1","tag-b3"],"acf":[],"_links":{"self":[{"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/posts\/60421","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/users\/5152"}],"replies":[{"embeddable":true,"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/comments?post=60421"}],"version-history":[{"count":2,"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/posts\/60421\/revisions"}],"predecessor-version":[{"id":61196,"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/posts\/60421\/revisions\/61196"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/media\/54032"}],"wp:attachment":[{"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/media?parent=60421"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/categories?post=60421"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/web.uri.edu\/summer\/wp-json\/wp\/v2\/tags?post=60421"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}