{"id":536,"date":"2019-02-24T00:22:17","date_gmt":"2019-02-24T00:22:17","guid":{"rendered":"http:\/\/sites.rutgers.edu\/bruce-tesar\/?page_id=536"},"modified":"2025-01-13T21:22:20","modified_gmt":"2025-01-13T21:22:20","slug":"ling-610-formal-methods-for-linguistics","status":"publish","type":"page","link":"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/","title":{"rendered":"Ling 610 Formal Methods for Linguistics"},"content":{"rendered":"<p>Last offered in Spring 2024<br \/>\nTTh5 3:50 &#8211; 5:10 pm<br \/>\nSEM-108<\/p>\n<h3>Course Description<\/h3>\n<p>This graduate course presents a collection of ideas from mathematics and computer science that are of particular relevance to linguistics. The course does not require a strong background in mathematics, in fact it is intended to include students with little or no advanced knowledge in mathematics and computer science. The relevance of these ideas for linguistics and language-related research will be a running theme of the class. Areas of linguistic relevance to be discussed will include phonetics, phonology, syntax, and semantics.<\/p>\n<p>Graduate students from other departments who have an interest in language-related cognitive research are encouraged to register, and should feel free to contact the instructor with any questions.<\/p>\n<p>The areas to be covered include the following:<\/p>\n<ul>\n<li>Algebraic concepts &#8211; logic, Boolean algebra, order and lattices<\/li>\n<li>Cardinality &#8211; counting and infinite sets<\/li>\n<li>Computation &#8211; formal languages and automata, prolog programming<\/li>\n<li>Mathematical Reasoning &#8211; automatic theorem proving, parsing as proof<\/li>\n<li>Mathematical Analysis &#8211; a brief introduction to calculus<\/li>\n<li>Probability and Statistics &#8211; discrete\/continuous distributions, estimators, confidence intervals<\/li>\n<\/ul>\n<p>The linguistic applications to be discussed may include:<\/p>\n<ul>\n<li>Optimality Theory ERC entailment<\/li>\n<li>Semantics of plurals using semi-lattices<\/li>\n<li>Computational parsing (including prolog programming)<\/li>\n<li>Syntactic processing with agreement and filler\/gap dependencies<\/li>\n<li>Continuous models of phonetic coarticulation<\/li>\n<li>Probabilistic grammar models<\/li>\n<\/ul>\n<p>The software packages used in this course, SWI-prolog and R, are open source and freely available for a variety of computing platforms.<\/p>\n<h3>Example Syllabus<\/h3>\n<p><a href=\"http:\/\/sites.rutgers.edu\/bruce-tesar\/wp-content\/uploads\/sites\/102\/2019\/02\/Ling610_syllabus_F16.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Fall 2016<\/a><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Last offered in Spring 2024 TTh5 3:50 &#8211; 5:10 pm SEM-108 Course Description This graduate course presents a collection of ideas from mathematics and computer science that are of particular &hellip; <a href=\"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/\" class=\"\">Read More<\/a><\/p>\n","protected":false},"author":160,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-536","page","type-page","status-publish","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v23.5 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Ling 610 Formal Methods for Linguistics - Bruce Tesar<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Ling 610 Formal Methods for Linguistics - Bruce Tesar\" \/>\n<meta property=\"og:description\" content=\"Last offered in Spring 2024 TTh5 3:50 &#8211; 5:10 pm SEM-108 Course Description This graduate course presents a collection of ideas from mathematics and computer science that are of particular &hellip; Read More\" \/>\n<meta property=\"og:url\" content=\"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/\" \/>\n<meta property=\"og:site_name\" content=\"Bruce Tesar\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T21:22:20+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/\",\"url\":\"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/\",\"name\":\"Ling 610 Formal Methods for Linguistics - Bruce Tesar\",\"isPartOf\":{\"@id\":\"https:\/\/sites.rutgers.edu\/bruce-tesar\/#website\"},\"datePublished\":\"2019-02-24T00:22:17+00:00\",\"dateModified\":\"2025-01-13T21:22:20+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/sites.rutgers.edu\/bruce-tesar\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Ling 610 Formal Methods for Linguistics\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/sites.rutgers.edu\/bruce-tesar\/#website\",\"url\":\"https:\/\/sites.rutgers.edu\/bruce-tesar\/\",\"name\":\"Bruce Tesar\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/sites.rutgers.edu\/bruce-tesar\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Ling 610 Formal Methods for Linguistics - Bruce Tesar","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/","og_locale":"en_US","og_type":"article","og_title":"Ling 610 Formal Methods for Linguistics - Bruce Tesar","og_description":"Last offered in Spring 2024 TTh5 3:50 &#8211; 5:10 pm SEM-108 Course Description This graduate course presents a collection of ideas from mathematics and computer science that are of particular &hellip; Read More","og_url":"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/","og_site_name":"Bruce Tesar","article_modified_time":"2025-01-13T21:22:20+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/","url":"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/","name":"Ling 610 Formal Methods for Linguistics - Bruce Tesar","isPartOf":{"@id":"https:\/\/sites.rutgers.edu\/bruce-tesar\/#website"},"datePublished":"2019-02-24T00:22:17+00:00","dateModified":"2025-01-13T21:22:20+00:00","breadcrumb":{"@id":"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/sites.rutgers.edu\/bruce-tesar\/ling-610-formal-methods-for-linguistics\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/sites.rutgers.edu\/bruce-tesar\/"},{"@type":"ListItem","position":2,"name":"Ling 610 Formal Methods for Linguistics"}]},{"@type":"WebSite","@id":"https:\/\/sites.rutgers.edu\/bruce-tesar\/#website","url":"https:\/\/sites.rutgers.edu\/bruce-tesar\/","name":"Bruce Tesar","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/sites.rutgers.edu\/bruce-tesar\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/sites.rutgers.edu\/bruce-tesar\/wp-json\/wp\/v2\/pages\/536"}],"collection":[{"href":"https:\/\/sites.rutgers.edu\/bruce-tesar\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.rutgers.edu\/bruce-tesar\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.rutgers.edu\/bruce-tesar\/wp-json\/wp\/v2\/users\/160"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.rutgers.edu\/bruce-tesar\/wp-json\/wp\/v2\/comments?post=536"}],"version-history":[{"count":8,"href":"https:\/\/sites.rutgers.edu\/bruce-tesar\/wp-json\/wp\/v2\/pages\/536\/revisions"}],"predecessor-version":[{"id":775,"href":"https:\/\/sites.rutgers.edu\/bruce-tesar\/wp-json\/wp\/v2\/pages\/536\/revisions\/775"}],"wp:attachment":[{"href":"https:\/\/sites.rutgers.edu\/bruce-tesar\/wp-json\/wp\/v2\/media?parent=536"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}