{"id":432,"date":"2022-11-01T00:00:55","date_gmt":"2022-11-01T04:00:55","guid":{"rendered":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/?p=432"},"modified":"2022-11-04T14:29:45","modified_gmt":"2022-11-04T18:29:45","slug":"porbability-seminar","status":"publish","type":"post","link":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/porbability-seminar\/","title":{"rendered":"PROBABILITY SEMINAR"},"content":{"rendered":"<p>Speaker: Dr. Jason Swanson (University of Central Florida)<\/p>\n<p>When: Friday, November 4, 2022\u00a0 (11\/04\/22)<\/p>\n<p>Time: 1pm \u2013 2pm<\/p>\n<p>Where: MSB 318<\/p>\n<p>Introduction to mathematical logic II: A calculus for propositional logic.<\/p>\n<p><img decoding=\"async\" class=\"alignright size-full wp-image-414 lazyload\" data-src=\"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-content\/uploads\/sites\/5\/2022\/10\/ptnlogo.gif\" alt=\"\" width=\"216\" height=\"209\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 216px; --smush-placeholder-aspect-ratio: 216\/209;\" \/>Abstract: This is the first in a series of talks about mathematical logic. We follow the text, *A<br \/>\nConcise Introduction to Mathematical Logic* by Rautenberg. This series will survey the material<br \/>\ncovered in the first three chapters. These chapters introduce propositional and first order logic.<br \/>\nAfter that, the book continues with logic programming and model theory. Then, in Chapter 6,<br \/>\nRautenberg presents G\u00f6del&#8217;s incompleteness theorem. Topics in the first three chapters include<br \/>\nmodels, Hilbert calculi, completeness, and compactness.<\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Dr. Jason Swanson (University of Central Florida) When: Friday, November 4, 2022\u00a0 (11\/04\/22) Time: 1pm \u2013 2pm Where: MSB 318 Introduction to mathematical logic II: A calculus for propositional logic. Abstract: This is the first in a series of talks about mathematical logic. We follow the text, *A Concise Introduction to Mathematical Logic* by &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/porbability-seminar\/\">Continue reading<\/a><\/p>\n","protected":false},"author":57,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"categories":[17],"tags":[],"class_list":["post-432","post","type-post","status-publish","format-standard","hentry","category-category-seminars","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/posts\/432","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/users\/57"}],"replies":[{"embeddable":true,"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/comments?post=432"}],"version-history":[{"count":8,"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/posts\/432\/revisions"}],"predecessor-version":[{"id":473,"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/posts\/432\/revisions\/473"}],"wp:attachment":[{"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/media?parent=432"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/categories?post=432"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sciences.ucf.edu\/math\/ucfmathclub\/wp-json\/wp\/v2\/tags?post=432"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}