1<!DOCTYPE html> 2<html lang="en-US"> 3<head> 4<meta charset="UTF-8"> 5<meta name="viewport" content="width=device-width, initial-scale=1"> 6<link rel="profile" href="http://gmpg.org/xfn/11"> 7<link rel="pingback" href="https://richardzach.org/xmlrpc.php"> 8 9<title>Courses and Teaching – Richard Zach</title> 10<meta name='robots' content='max-image-preview:large' /> 11<!-- Jetpack Site Verification Tags --> 12<meta name="google-site-verification" content="dY9qb4G6m9CSsUwcx8COkqRrnQJbSDLxrYkfnP7jbyw"> 13<link rel='dns-prefetch' href='//fonts.googleapis.com' /> 14<link rel='preconnect' href='//c0.wp.com' /> 15<link rel='preconnect' href='//i0.wp.com' /> 16<link rel="alternate" type="application/rss+xml" title="Richard Zach » Feed" href="https://richardzach.org/feed/" /> 17<link rel="alternate" type="application/rss+xml" title="Richard Zach » Comments Feed" href="https://richardzach.org/comments/feed/" /> 18<link rel="alternate" type="application/rss+xml" title="Richard Zach » Courses and Teaching Comments Feed" href="https://richardzach.org/teaching/feed/" /> 19<link rel="alternate" title="oEmbed (JSON)" type="application/json+oembed" href="https://richardzach.org/wp-json/oembed/1.0/embed?url=https%3A%2F%2Frichardzach.org%2Fteaching%2F" /> 20<link rel="alternate" title="oEmbed (XML)" type="text/xml+oembed" href="https://richardzach.org/wp-json/oembed/1.0/embed?url=https%3A%2F%2Frichardzach.org%2Fteaching%2F&format=xml" /> 21<style id="wp-img-auto-sizes-contain-inline-css"> 22img:is([sizes=auto i],[sizes^="auto," i]){contain-intrinsic-size:3000px 1500px} 23/*# sourceURL=wp-img-auto-sizes-contain-inline-css */ 24</style> 25<style id="wp-emoji-styles-inline-css"> 26 27 img.wp-smiley, img.emoji { 28 display: inline !important; 29 border: none !important; 30 box-shadow: none !important; 31 height: 1em !important; 32 width: 1em !important; 33 margin: 0 0.07em !important; 34 vertical-align: -0.1em !important; 35 background: none !important; 36 padding: 0 !important; 37 } 38/*# sourceURL=wp-emoji-styles-inline-css */ 39</style> 40<style id="wp-block-library-inline-css"> 41:root{--wp-block-synced-color:#7a00df;--wp-block-synced-color--rgb:122,0,223;--wp-bound-block-color:var(--wp-block-synced-color);--wp-editor-canvas-background:#ddd;--wp-admin-theme-color:#007cba;--wp-admin-theme-color--rgb:0,124,186;--wp-admin-theme-color-darker-10:#006ba1;--wp-admin-theme-color-darker-10--rgb:0,107,160.5;--wp-admin-theme-color-darker-20:#005a87;--wp-admin-theme-color-darker-20--rgb:0,90,135;--wp-admin-border-width-focus:2px}@media (min-resolution:192dpi){:root{--wp-admin-border-width-focus:1.5px}}.wp-element-button{cursor:pointer}:root .has-very-light-gray-background-color{background-color:#eee}:root .has-very-dark-gray-background-color{background-color:#313131}:root .has-very-light-gray-color{color:#eee}:root .has-very-dark-gray-color{color:#313131}:root .has-vivid-green-cyan-to-vivid-cyan-blue-gradient-background{background:linear-gradient(135deg,#00d084,#0693e3)}:root .has-purple-crush-gradient-background{background:linear-gradient(135deg,#34e2e4,#4721fb 50%,#ab1dfe)}:root .has-hazy-dawn-gradient-background{background:linear-gradient(135deg,#faaca8,#dad0ec)}:root .has-subdued-olive-gradient-background{background:linear-gradient(135deg,#fafae1,#67a671)}:root .has-atomic-cream-gradient-background{background:linear-gradient(135deg,#fdd79a,#004a59)}:root .has-nightshade-gradient-background{background:linear-gradient(135deg,#330968,#31cdcf)}:root .has-midnight-gradient-background{background:linear-gradient(135deg,#020381,#2874fc)}:root{--wp--preset--font-size--normal:16px;
41--wp--preset--font-size--huge:42px}.has-regular-font-size{font-size:1em}.has-larger-font-size{font-size:2.625em}.has-normal-font-size{font-size:var(--wp--preset--font-size--normal)}.has-huge-font-size{font-size:var(--wp--preset--font-size--huge)}:root .has-text-align-center{text-align:center}:root .has-text-align-left{text-align:left}:root .has-text-align-right{text-align:right}.has-fit-text{white-space:nowrap!important}#end-resizable-editor-section{display:none}.aligncenter{clear:both}.items-justified-left{justify-content:flex-start}.items-justified-center{justify-content:center}.items-justified-right{justify-content:flex-end}.items-justified-space-between{justify-content:space-between}.screen-reader-text{word-wrap:normal!important;border:0;clip-path:inset(50%);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px;word-break:normal!important}.screen-reader-text:focus{background-color:#ddd;clip-path:none;color:#444;display:block;font-size:1em;height:auto;left:5px;line-height:normal;padding:15px 23px 14px;text-decoration:none;top:5px;width:auto;z-index:100000}html :where(.has-border-color){border-style:solid}html :where([style^=border-color],[style*=";border-color"],[style*="; border-color"]){border-style:solid}html :where([style^=border-top-color],[style*=";border-top-color"],[style*="; border-top-color"]){border-top-style:solid}html :where([style^=border-right-color],[style*=";border-right-color"],[style*="; border-right-color"]){border-right-style:solid}html :where([style^=border-bottom-color],[style*=";border-bottom-color"],[style*="; border-bottom-color"]){border-bottom-style:solid}html :where([style^=border-left-color],[style*=";border-left-color"],[style*="; border-left-color"]){border-left-style:solid}html :where([style^=border-width],[style*=";border-width"],[style*="; border-width"]){border-style:solid}html :where([style^=border-top-width],[style*=";border-top-width"],[style*="; border-top-width"]){border-top-style:solid}html :where([style^=border-right-width],[style*=";border-right-width"],[style*="; border-right-width"]){border-right-style:solid}html :where([style^=border-bottom-width],[style*=";border-bottom-width"],[style*="; border-bottom-width"]){border-bottom-style:solid}html :where([style^=border-left-width],[style*=";border-left-width"],[style*="; border-left-width"]){border-left-style:solid}html :where(img[class*=wp-image-]){height:auto;max-width:100%}:where(figure){margin:0 0 1em}html :where(.is-position-sticky){--wp-admin--admin-bar--position-offset:var(--wp-admin--admin-bar--height,0px)}@media screen and (max-width:600px){html :where(.is-position-sticky){--wp-admin--admin-bar--position-offset:0px}} 42 43/*# sourceURL=/wp-includes/css/dist/block-library/common.min.css */ 44</style> 45<style id="classic-theme-styles-inline-css"> 46/*! This file is auto-generated */ 47.wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none} 48/*# sourceURL=/wp-includes/css/classic-themes.min.css */ 49</style> 50 51<style id="global-styles-inline-css"> 52:root{--wp--preset--aspect-ratio--square: 1;--wp--preset--aspect-ratio--4-3: 4/3;--wp--preset--aspect-ratio--3-4: 3/4;--wp--preset--aspect-ratio--3-2: 3/2;--wp--preset--aspect-ratio--2-3: 2/3;--wp--preset--aspect-ratio--16-9: 16/9;--wp--preset--aspect-ratio--9-16: 9/16;--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgb(6,147,227) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgb(252,185,
520) 0%,rgb(255,105,0) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgb(255,105,0) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--font-size--small: 13px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 36px;--wp--preset--font-size--x-large: 42px;--wp--preset--spacing--20: 0.44rem;--wp--preset--spacing--30: 0.67rem;--wp--preset--spacing--40: 1rem;--wp--preset--spacing--50: 1.5rem;--wp--preset--spacing--60: 2.25rem;--wp--preset--spacing--70: 3.38rem;--wp--preset--spacing--80: 5.06rem;--wp--preset--shadow--natural: 6px 6px 9px rgba(0, 0, 0, 0.2);--wp--preset--shadow--deep: 12px 12px 50px rgba(0, 0, 0, 0.4);--wp--preset--shadow--sharp: 6px 6px 0px rgba(0, 0, 0, 0.2);--wp--preset--shadow--outlined: 6px 6px 0px -3px rgb(255, 255, 255), 6px 6px rgb(0, 0, 0);--wp--preset--shadow--crisp: 6px 6px 0px rgb(0, 0, 0);}.wp-block-button{--wp--preset--dimension--25: 25%;--wp--preset--dimension--50: 50%;--wp--preset--dimension--75: 75%;--wp--preset--dimension--100: 100%;}:where(body) { margin: 0; }:where(.is-layout-flex){gap: 0.5em;}:where(.is-layout-grid){gap: 0.5em;}body .is-layout-flex{display: flex;}.is-layout-flex{flex-wrap: wrap;align-items: center;}.is-layout-flex > :is(*, div){margin: 0;}body .is-layout-grid{display: grid;}.is-layout-grid > :is(*, div){margin: 0;}body{padding-top: 0px;padding-right: 0px;padding-bottom: 0px;padding-left: 0px;}:root :where(.wp-element-button, .wp-block-button__link){background-color: #32373c;border-width: 0;color: #fff;font-family: inherit;font-size: inherit;font-style: inherit;font-weight: inherit;letter-spacing: inherit;line-height: inherit;padding-top: calc(0.667em + 2px);padding-right: calc(1.333em + 2px);padding-bottom: calc(0.667em + 2px);padding-left: calc(1.333em + 2px);text-decoration: none;text-transform: inherit;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}
52.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} 53/*# sourceURL=global-styles-inline-css */ 54</style> 55 56<style id="jetpack-stats-inline-css"> 57img#wpstats{display:none} 58/*# sourceURL=jetpack-stats-inline-css */ 59</style> 60<link rel='stylesheet' id='sequential-montserrat-css' href='https://fonts.googleapis.com/css?family=Montserrat%3A400%2C700' media='all' /> 61<link rel='stylesheet' id='sequential-open-sans-css' href='https://fonts.googleapis.com/css?family=Open+Sans%3A300italic%2C400italic%2C600italic%2C700italic%2C300%2C400%2C600%2C700&subset=latin%2Clatin-ext' media='all' /> 62<link rel='stylesheet' id='sequential-source-code-pro-css' href='https://fonts.googleapis.com/css?family=Source+Code+Pro%3A400%2C700' media='all' /> 63<link rel='stylesheet' id='genericons-css' href='https://c0.wp.com/p/jetpack/16.2/_inc/genericons/genericons/genericons.css' media='all' /> 64<link rel='stylesheet' id='sequential-style-css' href='https://richardzach.org/wp-content/themes/sequential/style.css?ver=7.1.2' media='all' /> 65<link rel='stylesheet' id='sharedaddy-css' href='https://c0.wp.com/p/jetpack/16.2/modules/sharedaddy/sharing.css' media='all' /> 66<link rel='stylesheet' id='social-logos-css' href='https://c0.wp.com/p/jetpack/16.2/_inc/build/social-logos/social-logos.css' media='all' />
67<script id="jquery-core-js" src="https://c0.wp.com/c/7.1.2/wp-includes/js/jquery/jquery.min.js"></script>
vendor: 1 bytes, line 67
67
68<script id="jquery-migrate-js" src="https://c0.wp.com/c/7.1.2/wp-includes/js/jquery/jquery-migrate.min.js"></script>
68 69<link rel="https://api.w.org/" href="https://richardzach.org/wp-json/" /><link rel="alternate" title="JSON" type="application/json" href="https://richardzach.org/wp-json/wp/v2/pages/3063" /><link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://richardzach.org/xmlrpc.php?rsd" /> 70<meta name="generator" content="WordPress 7.1.2" /> 71<link rel="canonical" href="https://richardzach.org/teaching/" /> 72<link rel='shortlink' href='https://richardzach.org/?p=3063' /> 73<meta property="fediverse:creator" name="fediverse:creator" content="[email protected]" /> 74<style>.recentcomments a{display:inline !important;padding:0 !important;margin:0 !important;}</style> 75<!-- Jetpack Open Graph Tags --> 76<meta property="og:type" content="article" /> 77<meta property="og:title" content="Courses and Teaching" /> 78<meta property="og:url" content="https://richardzach.org/teaching/" /> 79<meta property="og:description" content="Current Courses Logic I (Phil 279), an introduction to formal logic." /> 80<meta property="article:published_time" content="2018-04-23T03:41:25+00:00" /> 81<meta property="article:modified_time" content="2022-07-30T16:14:30+00:00" /> 82<meta property="og:site_name" content="Richard Zach" /> 83<meta property="og:image" content="https://s0.wp.com/i/blank.jpg" /> 84<meta property="og:image:width" content="200" /> 85<meta property="og:image:height" content="200" /> 86<meta property="og:image:alt" content="" /> 87<meta property="og:locale" content="en_US" /> 88<meta name="twitter:site" content="@RrrichardZach" /> 89<meta name="twitter:text:title" content="Courses and Teaching" /> 90<meta name="twitter:card" content="summary" /> 91 92<!-- End Jetpack Open Graph Tags --> 93</head> 94 95<body class="wp-singular page-template-default page page-id-3063 page-parent wp-theme-sequential group-blog"> 96<div id="page" class="hfeed site"> 97 <a class="skip-link screen-reader-text" href="#content">Skip to content</a> 98 99 <header id="masthead" class="site-header" role="banner"> 100 <div class="wrapper"> 101 <div class="site-branding"> 102 <a href="https://richardzach.org/" class="site-logo-link" rel="home" itemprop="url"></a> <h1 class="site-title"><a href="https://richardzach.org/" rel="home">Richard Zach</a></h1> 103 <h2 class="site-description"></h2> 104 </div> 105 106 <nav id="site-navigation" class="main-navigation" role="navigation"> 107 <button class="menu-toggle" aria-expanded="false" ><span class="screen-reader-text">Menu</span></button> 108 <div class="menu-primary"><ul id="menu-main-menu" class="clear nav-menu"><li id="menu-item-3222" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-3222"><a href="https://richardzach.org/cv/">CV</a></li> 109<li id="menu-item-3218" class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item page-item-3063 current_page_item menu-item-3218"><a href="https://richardzach.org/teaching/" aria-current="page">Teaching</a></li> 110<li id="menu-item-3219" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-3219"><a href="https://richardzach.org/research/">Research</a></li> 111<li id="menu-item-3223" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-3223"><a href="https://richardzach.org/contact/">Contact</a></li> 112</ul></div> </nav><!-- #site-navigation --> 113 114 </div><!-- .wrapper --> 115 <div class="breadcrumb-area"> 116 <div class="wrapper"> 117 <nav class="entry-breadcrumbs" itemscope itemtype="https://schema.org/BreadcrumbList"><span itemprop="itemListElement" itemscope itemtype="https://schema.org/ListItem"><meta itemprop="position" content="1"><meta itemprop="position" content="0"><a href="https://richardzach.org/" class="home-link" itemprop="item" rel="home"><span itemprop="name">Home</span></a></span><span class="current-page" itemprop="itemListElement" itemscope itemtype="https://schema.org/ListItem"><meta itemprop="position" content="1"><span itemprop="name">Courses and Teaching</span></span></nav> </div><!-- .wrapper --> 118 </div><!-- .breadcrumb-area --> 119 </header><!-- #masthead --> 120 121 <div id="content" class="site-content"> 122 123 <div id="primary" class="content-area"> 124 <main id="main" class="site-main" role="main"> 125 126 127 128<article id="post-3063" class="post-3063 page type-page status-publish hentry"> 129 <header class="entry-header"><h1 class="entry-title">Courses and Teaching</h1></header> 130 <div class="entry-content"> 131 <h2>Courses I Teach</h2> 132<h4>Logic Courses</h4> 133<ul> 134<li><a href="https://richardzach.org/teaching/279-3/">Logic I</a> (Phil 279)</li> 135<li><a href="https://richardzach.org/teaching/379-2/">Logic II</a> (Phil 379)</li> 136<li><a href="https://richardzach.org/teaching/479-2/">Logic III</a> (Phil 479/679)</li> 137<li><a href="https://richardzach.org/teaching-473/">Philosophy of Logic</a> (Phil 473/671.5)</li> 138<li><a href="https://richardzach.org/teaching/579-1/">Paradoxes</a> (Phil 579.01/679.02, co-taught with Jeremy Fantl)</li> 139<li><a href="https://richardzach.org/teaching/579-2/">Modal Logic</a> (Phil 579.2/679.05)</li> 140<li><a href="https://richardzach.org/teaching/579-03/">Proof Theory</a> (Phil 579.3/679.4)</li> 141</ul> 142<h4>History of Analytic Philosophy</h4> 143<ul> 144<li><a href="https://richardzach.org/teaching/307-2/">19th and 20th Century Analytic Philosophy</a> (Phil 307)</li> 145<li><a href="https://richardzach.org/teaching/407-2/">Logical Positivism</a> (Phil 407)</li> 146<li><a href="https://richardzach.org/teaching/507-01/">Carnap</a> (Phil 507.01/609.02)</li> 147</ul> 148<h4>Philosophical Issues</h4> 149<ul> 150<li><a href="https://richardzach.org/teaching/471-2/">Philosophy of Language</a> (Phil 471)</li> 151<li><a href="https://richardzach.org/teaching/567-03/">Philosophy of Mathematics</a> (Phil 567/667)</li> 152</ul> 153<h2>Other Courses</h2> 154<h3>University of Calgary</h3> 155<ul> 156<li><a href="https://richardzach.org/teaching/teaching-409/">Evidence</a> (Phil 409.02), a pilot project, co-taught with Dennis McKerlie</li> 157<li><a href="https://richardzach.org/teaching/471-2/archive/">Philosophy of Language</a> (Phil 371), now offered as <a href="https://richardzach.org/teaching/471-2/">Phil 471</a></li> 158<li>Vagueness (Phil 595/601)</li> 159<li>Proof Theory (Phil 595/601)</li> 160<li>Modality and Modal Logic (Phil 595/601)</li> 161<li>Many-dimensional Modal Logic (Phil 595/601)</li> 162</ul> 163<h3>Stanford University</h3> 164<ul> 165<li>History of Early Analytic Philosophy</li> 166<li>Logic, Reasoning, and Argumentation</li> 167<li>Philosophy of Logic</li> 168</ul> 169<h3>University of California, Berkeley</h3> 170<ul> 171<li>Introduction to Logic (Phil 12A)</li> 172</ul> 173<h3>University of Technology, Vienna</h3> 174<ul> 175<li>Intuitionistic Logic</li> 176<li>Theories of Truth</li> 177<li>Logics of Belief and Knowledge</li> 178<li>Models of Arithmetic</li> 179<li>Proof Theory for Computer Scientists</li> 180<li>Epsilon Calculus</li> 181</ul> 182<h2><a title="resources" name="resources"></a>Teaching Resources</h2> 183<h3><a href="https://richardzach.org/teaching/grades/">Using Spreadsheets to Keep Track of Students’ Grades</a></h3> 184<p>A tutorial on how to use Excel and other spreadsheet programs to manage class grade sheets and do basic conversions (letter grades to grade points and back, percentile ranks) and statistics.</p> 185<div class="sharedaddy sd-sharing-enabled"><div class="robots-nocontent sd-block sd-social sd-social-icon sd-sharing"><h3 class="sd-title">Share this:</h3><div class="sd-content"><ul><li class="share-mastodon"><a rel="nofollow noopener noreferrer" 186 data-shared="sharing-mastodon-3063" 187 class="share-mastodon sd-button share-icon no-text" 188 href="https://richardzach.org/teaching/?share=mastodon" 189 target="_blank" 190 aria-labelledby="sharing-mastodon-3063" 191 > 192 <span id="sharing-mastodon-3063" hidden>Share on Mastodon (Opens in new window)</span> 193 <span>Mastodon</span> 194 </a></li><li class="share-facebook"><a rel="nofollow noopener noreferrer" 195 data-shared="sharing-facebook-3063" 196 class="share-facebook sd-button share-icon no-text" 197 href="https://richardzach.org/teaching/?share=facebook" 198 target="_blank" 199 aria-labelledby="sharing-facebook-3063" 200 > 201 <span id="sharing-facebook-3063" hidden>Share on Facebook (Opens in new window)</span> 202 <span>Facebook</span> 203 </a></li><li class="share-reddit"><a rel="nofollow noopener noreferrer" 204 data-shared="sharing-reddit-3063" 205 class="share-reddit sd-button share-icon no-text" 206 href="https://richardzach.org/teaching/?share=reddit" 207 target="_blank" 208 aria-labelledby="sharing-reddit-3063" 209 > 210 <span id="sharing-reddit-3063" hidden>Share on Reddit (Opens in new window)</span> 211 <span>Reddit</span> 212 </a></li><li class="share-twitter"><a rel="nofollow noopener noreferrer" 213 data-shared="sharing-twitter-3063" 214 class="share-twitter sd-button share-icon no-text" 215 href="https://richardzach.org/teaching/?share=twitter" 216 target="_blank" 217 aria-labelledby="sharing-twitter-3063" 218 > 219 <span id="sharing-twitter-3063" hidden>Share on X (Opens in new window)</span> 220 <span>X</span> 221 </a></li><li class="share-email"><a rel="nofollow noopener noreferrer" 222 data-shared="sharing-email-3063" 223 class="share-email sd-button share-icon no-text" 224 href="mailto:?subject=%5BShared%20Post%5D%20Courses%20and%20Teaching&body=https%3A%2F%2Frichardzach.org%2Fteaching%2F&share=email" 225 target="_blank" 226 aria-labelledby="sharing-email-3063"
227 data-email-share-error-title="Do you have email set up?" data-email-share-error-text="If you're having problems sharing via email, you might not have email set up for your browser. You may need to create a new email yourself." data-email-share-nonce="248c911bd4" data-email-share-track-url="https://richardzach.org/teaching/?share=email"> 228 <span id="sharing-email-3063" hidden>Email a link to a friend (Opens in new window)</span> 229 <span>Email</span> 230 </a></li><li class="share-print"><a rel="nofollow noopener noreferrer" 231 data-shared="sharing-print-3063" 232 class="share-print sd-button share-icon no-text" 233 href="https://richardzach.org/teaching/#print?share=print" 234 target="_blank" 235 aria-labelledby="sharing-print-3063" 236 > 237 <span id="sharing-print-3063" hidden>Print (Opens in new window)</span> 238 <span>Print</span> 239 </a></li><li class="share-end"></li></ul></div></div></div> </div><!-- .entry-content --> 240 241 </article><!-- #post-## --> 242 243 244 245 </main><!-- #main --> 246 </div><!-- #primary --> 247 248 249<div id="secondary" class="widget-area" role="complementary"> 250 <aside id="search-2" class="widget widget_search"><form role="search" method="get" class="search-form" action="https://richardzach.org/"> 251 <label> 252 <span class="screen-reader-text">Search for:</span> 253 <input type="search" class="search-field" placeholder="Search …" value="" name="s" /> 254 </label> 255 <input type="submit" class="search-submit" value="Search" /> 256 </form></aside> 257 <aside id="recent-posts-2" class="widget widget_recent_entries"> 258 <h1 class="widget-title">Recent Posts</h1> 259 <ul> 260 <li> 261 <a href="https://richardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/">
261Accessible Open Textbooks in Math-Heavy Disciplines</a> 262 </li> 263 <li> 264 <a href="https://richardzach.org/2024/07/multseq-2-0/">MUltseq 2.0</a> 265 </li> 266 <li> 267 <a href="https://richardzach.org/2024/03/w-w-tait-1929-2024/">W. W. Tait, 1929â2024</a> 268 </li> 269 <li> 270 <a href="https://richardzach.org/2023/07/converting-latex-to-html-technical-notes/">Converting LaTeX to HTML: technical notes</a> 271 </li> 272 <li> 273 <a href="https://openlogicproject.org/2023/07/27/forall-x-now-in-html-for-extra-accessibility/">forall x now in HTML for extra accessibility</a> 274 </li> 275 </ul> 276 277 </aside><aside id="recent-comments-2" class="widget widget_recent_comments"><h1 class="widget-title">Recent Comments</h1><ul id="recentcomments"><li class="recentcomments"><span class="comment-author-link"><a href="https://oetalks.opened.ca/2025/05/02/accessible-open-textbooks-in-math-heavy-disciplines/" class="url" rel="ugc external nofollow">Accessible Open Textbooks in Math-
277Heavy Disciplines – Open Education Talks</a></span> on <a href="https://richardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/#comment-194710">Accessible Open Textbooks in Math-Heavy Disciplines</a></li><li class="recentcomments"><span class="comment-author-link"><a href="https://mastodon.social/@jeronim" class="url" rel="ugc external nofollow">Jeroen Wouters</a></span> on <a href="https://mastodon.social/@jeronim/114323961731732706">Accessible Open Textbooks in Math-Heavy Disciplines</a></li><li class="recentcomments"><span class="comment-author-link"><a href="https://www.preining.info/" class="url" rel="ugc external nofollow">Norbert Preining</a></span> on <a href="https://richardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/#comment-148568">Accessible Open Textbooks in Math-Heavy Disciplines</a></li><li class="recentcomments"><span class="comment-author-link"><a href="https://geek.ds3783.com/2025/03/%e6%95%b0%e5%ad%a6%e9%87%8d%e7%9a%84%e5%ad%a6%e7%a7%91%e4%b8%ad%e7%9a%84%e5%bc%80%e6%94%be%e5%bc%8f%e6%95%99%e6%9d%90%e5%8f%af%e8%8e%b7%e5%be%97/" class="url" rel="ugc external nofollow">æ°å¦éçå¦ç§ä¸ç弿¾å¼ææå¯è·å¾ - åæ§çç å</a></span> on <a href="https://richardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/#comment-148542">
277Accessible Open Textbooks in Math-Heavy Disciplines</a></li><li class="recentcomments"><span class="comment-author-link"><a href="https://stephango.com/" class="url" rel="ugc external nofollow">kepano</a></span> on <a href="https://richardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/#comment-148524">Accessible Open Textbooks in Math-Heavy Disciplines</a></li></ul></aside><aside id="archives-2" class="widget widget_archive"><h1 class="widget-title">Archives</h1> 278 <ul> 279 <li><a href='https://richardzach.org/2025/03/'>March 2025</a></li> 280 <li><a href='https://richardzach.org/2024/07/'>July 2024</a></li> 281 <li><a href='https://richardzach.org/2024/03/'>March 2024</a></li> 282 <li><a href='https://richardzach.org/2023/07/'>July 2023</a></li> 283 <li><a href='https://richardzach.org/2023/02/'>February 2023</a></li> 284 <li><a href='https://richardzach.org/2022/12/'>December 2022</a></li> 285 <li><a href='https://richardzach.org/2022/07/'>July 2022</a></li> 286 <li><a href='https://richardzach.org/2022/01/'>January 2022</a></li> 287 <li><a href='https://richardzach.org/2021/12/'>December 2021</a></li> 288 <li><a href='https://richardzach.org/2021/09/'>September 2021</a></li> 289 <li><a href='https://richardzach.org/2021/08/'>August 2021</a></li> 290 <li><a href='https://richardzach.org/2021/07/'>July 2021</a></li> 291 <li><a href='https://richardzach.org/2021/06/'>June 2021</a></li> 292 <li><a href='https://richardzach.org/2021/05/'>May 2021</a></li> 293 <li><a href='https://richardzach.org/2020/12/'>December 2020</a></li> 294 <li><a href='https://richardzach.org/2020/09/'>September 2020</a></li> 295 <li><a href='https://richardzach.org/2020/08/'>August 2020</a></li> 296 <li><a href='https://richardzach.org/2020/06/'>June 2020</a></li> 297 <li><a href='https://richardzach.org/2020/05/'>May 2020</a></li> 298 <li><a href='https://richardzach.org/2020/03/'>March 2020</a></li> 299 <li><a href='https://richardzach.org/2020/01/'>January 2020</a></li> 300 <li><a href='https://richardzach.org/2019/11/'>November 2019</a></li> 301 <li><a href='https://richardzach.org/2019/09/'>September 2019</a></li> 302 <li><a href='https://richardzach.org/2019/08/'>August 2019</a></li> 303 <li><a href='https://richardzach.org/2019/02/'>
303February 2019</a></li> 304 <li><a href='https://richardzach.org/2019/01/'>January 2019</a></li> 305 <li><a href='https://richardzach.org/2018/11/'>November 2018</a></li> 306 <li><a href='https://richardzach.org/2018/10/'>October 2018</a></li> 307 <li><a href='https://richardzach.org/2018/09/'>September 2018</a></li> 308 <li><a href='https://richardzach.org/2018/07/'>July 2018</a></li> 309 <li><a href='https://richardzach.org/2018/06/'>June 2018</a></li> 310 <li><a href='https://richardzach.org/2018/05/'>May 2018</a></li> 311 <li><a href='https://richardzach.org/2018/04/'>April 2018</a></li> 312 <li><a href='https://richardzach.org/2018/03/'>March 2018</a></li> 313 <li><a href='https://richardzach.org/2018/02/'>February 2018</a></li> 314 <li><a href='https://richardzach.org/2017/11/'>November 2017</a></li> 315 <li><a href='https://richardzach.org/2017/10/'>October 2017</a></li> 316 <li><a href='https://richardzach.org/2017/09/'>September 2017</a></li> 317 <li><a href='https://richardzach.org/2017/08/'>August 2017</a></li> 318 <li><a href='https://richardzach.org/2017/06/'>June 2017</a></li> 319 <li><a href='https://richardzach.org/2017/05/'>May 2017</a></li> 320 <li><a href='https://richardzach.org/2017/04/'>April 2017</a></li> 321 <li><a href='https://richardzach.org/2017/02/'>February 2017</a></li> 322 <li><a href='https://richardzach.org/2017/01/'>January 2017</a></li> 323 <li><a href='https://richardzach.org/2016/12/'>December 2016</a></li> 324 <li><a href='https://richardzach.org/2016/11/'>November 2016</a></li> 325 <li><a href='https://richardzach.org/2016/09/'>September 2016</a></li> 326 <li><a href='https://richardzach.org/2016/08/'>August 2016</a></li> 327 <li><a href='https://richardzach.org/2016/07/'>July 2016</a></li> 328 <li><a href='https://richardzach.org/2016/05/'>May 2016</a></li> 329 <li><a href='https://richardzach.org/2016/04/'>April 2016</a></li> 330 <li><a href='https://richardzach.org/2016/03/'>March 2016</a></li> 331 <li><a href='https://richardzach.org/2016/02/'>February 2016</a></li> 332 <li><a href='https://richardzach.org/2016/01/'>January 2016</a></li> 333 <li><a href='https://richardzach.org/2015/12/'>December 2015</a></li> 334 <li><a href='https://richardzach.org/2015/11/'>November 2015</a></li> 335 <li><a href='https://richardzach.org/2015/10/'>October 2015</a></li> 336 <li><a href='https://richardzach.org/2015/09/'>September 2015</a></li> 337 <li><a href='https://richardzach.org/2015/08/'>August 2015</a></li> 338 <li><a href='https://richardzach.org/2015/07/'>July 2015</a></li> 339 <li><a href='https://richardzach.org/2015/06/'>June 2015</a></li> 340 <li><a href='https://richardzach.org/2015/05/'>May 2015</a></li> 341 <li><a href='https://richardzach.org/2015/04/'>April 2015</a></li> 342 <li><a href='https://richardzach.org/2015/03/'>March 2015</a></li> 343 <li><a href='https://richardzach.org/2015/02/'>February 2015</a></li> 344 <li><a href='https://richardzach.org/2015/01/'>January 2015</a></li> 345 <li><a href='https://richardzach.org/2014/12/'>December 2014</a></li> 346 <li><a href='https://richardzach.org/2014/11/'>November 2014</a></li> 347 <li><a href='https://richardzach.org/2014/10/'>October 2014</a></li> 348 <li><a href='https://richardzach.org/2014/09/'>September 2014</a></li> 349 <li><a href='https://richardzach.org/2014/08/'>August 2014</a></li> 350 <li><a href='https://richardzach.org/2014/07/'>July 2014</a></li> 351 <li><a href='https://richardzach.org/2014/06/'>June 2014</a></li> 352 <li><a href='https://richardzach.org/2014/05/'>May 2014</a></li> 353 <li><a href='https://richardzach.org/2014/04/'>April 2014</a></li> 354 <li><a href='https://richardzach.org/2014/03/'>March 2014</a></li> 355 <li><a href='https://richardzach.org/2014/02/'>February 2014</a></li> 356 <li><a href='https://richardzach.org/2014/01/'>January 2014</a></li> 357 <li><a href='https://richardzach.org/2013/12/'>December 2013</a></li> 358 <li><a href='https://richardzach.org/2013/11/'>November 2013</a></li> 359 <li><a href='https://richardzach.org/2013/09/'>September 2013</a></li> 360 <li><a href='https://richardzach.org/2013/07/'>July 2013</a></li> 361 <li><a href='https://richardzach.org/2013/06/'>June 2013</a></li> 362 <li><a href='https://richardzach.org/2013/05/'>May 2013</a></li> 363 <li><a href='https://richardzach.org/2013/04/'>April 2013</a></li> 364 <li><a href='https://richardzach.org/2013/02/'>February 2013</a></li> 365 <li><a href='https://richardzach.org/2013/01/'>January 2013</a></li> 366 <li><a href='https://richardzach.org/2012/04/'>April 2012</a></li> 367 <li><a href='https://richardzach.org/2012/03/'>March 2012</a></li> 368 <li><a href='https://richardzach.org/2012/02/'>February 2012</a></li> 369 <li><a href='https://richardzach.org/2012/01/'>January 2012</a></li> 370 <li><a href='https://richardzach.org/2011/12/'>December 2011</a></li> 371 <li><a href='https://richardzach.org/2011/11/'>November 2011</a></li> 372 <li><a href='https://richardzach.org/2011/04/'>April 2011</a></li> 373 <li><a href='https://richardzach.org/2011/03/'>March 2011</a></li> 374 <li><a href='https://richardzach.org/2011/02/'>February 2011</a></li> 375 <li><a href='https://richardzach.org/2011/01/'>January 2011</a></li> 376 <li><a href='https://richardzach.org/2010/11/'>November 2010</a></li> 377 <li><a href='https://richardzach.org/2010/10/'>October 2010</a></li> 378 <li><a href='https://richardzach.org/2010/09/'>September 2010</a></li> 379 <li><a href='https://richardzach.org/2010/08/'>August 2010</a></li> 380 <li><a href='https://richardzach.org/2010/06/'>June 2010</a></li> 381 <li><a href='https://richardzach.org/2010/05/'>May 2010</a></li> 382 <li><a href='https://richardzach.org/2010/04/'>April 2010</a></li> 383 <li><a href='https://richardzach.org/2010/03/'>March 2010</a></li> 384 <li><a href='https://richardzach.org/2010/02/'>February 2010</a></li> 385 <li><a href='https://richardzach.org/2009/10/'>October 2009</a></li> 386 <li><a href='https://richardzach.org/2009/09/'>September 2009</a></li> 387 <li><a href='https://richardzach.org/2009/08/'>August 2009</a></li> 388 <li><a href='https://richardzach.org/2009/07/'>July 2009</a></li> 389 <li><a href='https://richardzach.org/2009/06/'>June 2009</a></li> 390 <li>
390<a href='https://richardzach.org/2009/05/'>May 2009</a></li> 391 <li><a href='https://richardzach.org/2009/04/'>April 2009</a></li> 392 <li><a href='https://richardzach.org/2009/03/'>March 2009</a></li> 393 <li><a href='https://richardzach.org/2009/02/'>February 2009</a></li> 394 <li><a href='https://richardzach.org/2009/01/'>January 2009</a></li> 395 <li><a href='https://richardzach.org/2008/12/'>December 2008</a></li> 396 <li><a href='https://richardzach.org/2008/11/'>November 2008</a></li> 397 <li><a href='https://richardzach.org/2008/10/'>October 2008</a></li> 398 <li><a href='https://richardzach.org/2008/09/'>September 2008</a></li> 399 <li><a href='https://richardzach.org/2008/08/'>August 2008</a></li> 400 <li><a href='https://richardzach.org/2008/07/'>July 2008</a></li> 401 <li><a href='https://richardzach.org/2008/06/'>June 2008</a></li> 402 <li><a href='https://richardzach.org/2008/05/'>May 2008</a></li> 403 <li><a href='https://richardzach.org/2008/04/'>April 2008</a></li> 404 <li><a href='https://richardzach.org/2008/02/'>February 2008</a></li> 405 <li><a href='https://richardzach.org/2008/01/'>January 2008</a></li> 406 <li><a href='https://richardzach.org/2007/12/'>December 2007</a></li> 407 <li><a href='https://richardzach.org/2007/11/'>November 2007</a></li> 408 <li><a href='https://richardzach.org/2007/10/'>October 2007</a></li> 409 <li><a href='https://richardzach.org/2007/09/'>September 2007</a></li> 410 <li><a href='https://richardzach.org/2007/08/'>August 2007</a></li> 411 <li><a href='https://richardzach.org/2007/07/'>July 2007</a></li> 412 <li><a href='https://richardzach.org/2007/06/'>June 2007</a></li> 413 <li><a href='https://richardzach.org/2007/05/'>May 2007</a></li> 414 <li><a href='https://richardzach.org/2007/04/'>April 2007</a></li> 415 <li><a href='https://richardzach.org/2007/03/'>March 2007</a></li> 416 <li><a href='https://richardzach.org/2007/02/'>February 2007</a></li> 417 <li><a href='https://richardzach.org/2007/01/'>January 2007</a></li> 418 <li><a href='https://richardzach.org/2006/12/'>December 2006</a></li> 419 <li><a href='https://richardzach.org/2006/11/'>November 2006</a></li> 420 <li><a href='https://richardzach.org/2006/10/'>October 2006</a></li> 421 <li><a href='https://richardzach.org/2006/09/'>September 2006</a></li> 422 <li><a href='https://richardzach.org/2006/08/'>August 2006</a></li> 423 <li><a href='https://richardzach.org/2006/07/'>July 2006</a></li> 424 <li><a href='https://richardzach.org/2006/06/'>June 2006</a></li> 425 <li><a href='https://richardzach.org/2006/05/'>May 2006</a></li> 426 <li><a href='https://richardzach.org/2006/04/'>April 2006</a></li> 427 <li><a href='https://richardzach.org/2006/03/'>March 2006</a></li> 428 <li><a href='https://richardzach.org/2006/02/'>February 2006</a></li> 429 <li><a href='https://richardzach.org/2006/01/'>January 2006</a></li> 430 <li><a href='https://richardzach.org/2005/12/'>December 2005</a></li> 431 <li><a href='https://richardzach.org/2005/11/'>November 2005</a></li> 432 <li><a href='https://richardzach.org/2005/10/'>October 2005</a></li> 433 <li><a href='https://richardzach.org/2005/09/'>September 2005</a></li> 434 <li><a href='https://richardzach.org/2005/08/'>August 2005</a></li> 435 <li><a href='https://richardzach.org/2005/07/'>July 2005</a></li> 436 <li><a href='https://richardzach.org/2005/06/'>June 2005</a></li> 437 <li><a href='https://richardzach.org/2005/05/'>May 2005</a></li> 438 <li><a href='https://richardzach.org/2005/04/'>April 2005</a></li> 439 <li><a href='https://richardzach.org/2005/03/'>March 2005</a></li> 440 <li><a href='https://richardzach.org/2005/02/'>February 2005</a></li> 441 <li><a href='https://richardzach.org/2005/01/'>January 2005</a></li> 442 <li><a href='https://richardzach.org/2004/12/'>December 2004</a></li> 443 <li><a href='https://richardzach.org/2004/11/'>November 2004</a></li> 444 <li><a href='https://richardzach.org/2004/10/'>October 2004</a></li> 445 <li><a href='https://richardzach.org/2004/09/'>September 2004</a></li> 446 <li><a href='https://richardzach.org/2004/07/'>July 2004</a></li> 447 <li><a href='https://richardzach.org/2004/06/'>June 2004</a></li> 448 <li><a href='https://richardzach.org/2004/05/'>May 2004</a></li> 449 <li><a href='https://richardzach.org/2004/04/'>April 2004</a></li> 450 <li><a href='https://richardzach.org/2003/11/'>November 2003</a></li> 451 <li><a href='https://richardzach.org/2003/05/'>May 2003</a></li> 452 <li><a href='https://richardzach.org/2001/05/'>May 2001</a></li> 453 <li><a href='https://richardzach.org/2001/02/'>February 2001</a></li> 454 <li><a href='https://richardzach.org/2000/11/'>November 2000</a></li> 455 <li><a href='https://richardzach.org/2000/08/'>August 2000</a></li> 456 <li><a href='https://richardzach.org/1999/09/'>September 1999</a></li> 457 <li><a href='https://richardzach.org/1998/07/'>July 1998</a></li> 458 <li><a href='https://richardzach.org/1998/06/'>June 1998</a></li> 459 <li><a href='https://richardzach.org/1998/05/'>May 1998</a></li> 460 <li><a href='https://richardzach.org/1995/09/'>September 1995</a></li> 461 <li><a href='https://richardzach.org/1995/02/'>February 1995</a></li> 462 <li><a href='https://richardzach.org/1994/06/'>June 1994</a></li> 463 <li><a href='https://richardzach.org/1994/02/'>February 1994</a></li> 464 <li><a href='https://richardzach.org/1993/11/'>November 1993</a></li> 465 <li><a href='https://richardzach.org/1993/09/'>September 1993</a></li> 466 <li><a href='https://richardzach.org/1993/06/'>June 1993</a></li> 467 <li><a href='https://richardzach.org/1993/05/'>May 1993</a></li> 468 <li><a href='https://richardzach.org/1992/09/'>September 1992</a></li> 469 </ul> 470 471 </aside><aside id="categories-2" class="widget widget_categories"><h1 class="widget-title">Categories</h1> 472 <ul> 473 <li class="cat-item cat-item-4"><a href="https://richardzach.org/category/progress/">Progress</a> 474</li> 475 <li class="cat-item cat-item-10"><a href="https://richardzach.org/category/papers/">Publications</a> 476</li> 477 <li class="cat-item cat-item-1"><a href="https://richardzach.org/category/uncategorized/">Uncategorized</a> 478</li> 479 </ul> 480 481 </aside><aside id="meta-2" class="widget widget_meta"><h1 class="widget-title">Meta</h1> 482 <ul> 483 <li><a href="https://richardzach.org/wp-login.php">Log in</a></li> 484 <li><a href="https://richardzach.org/feed/">Entries feed</a></li> 485 <li><a href="https://richardzach.org/comments/feed/">Comments feed</a></li> 486 487 <li><a href="https://wordpress.org/">WordPress.org</a></li> 488 </ul> 489 490 </aside></div><!-- #secondary --> 491 492 </div><!-- #content --> 493 494 495<div id="tertiary" class="footer-widget-area" role="complementary"> 496 <div class="wrapper"> 497 <aside id="block-3" class="widget widget_block"><a href="https://mathstodon.xyz/@rrrichardzach" rel="me">@[email protected]</a></aside> </div><!-- .wrapper --> 498</div><!-- #tertiary --> 499 500 501 <footer id="colophon" class="site-footer" role="contentinfo"> 502 <div class="site-info"> 503 <a href="http://wordpress.org/">Proudly powered by WordPress</a> 504 <span class="sep"> — </span> 505 Theme: Sequential by <a href="http://wordpress.com/themes/sequential/" rel="designer">WordPress.com</a>. </div><!-- .site-info --> 506 </footer><!-- #colophon --> 507</div><!-- #page --> 508
509<script type="speculationrules"> 510{"prefetch":[{"source":"document","where":{"and":[{"href_matches":"/*"},{"not":{"href_matches":["/wp-*.php","/wp-admin/*","/wp-content/uploads/*","/wp-content/*","/wp-content/plugins/*","/wp-content/themes/sequential/*","/*\\?(.+)"]}},{"not":{"selector_matches":"a[rel~=\"nofollow\"]"}},{"not":{"selector_matches":".no-prefetch, .no-prefetch a"}}]},"eagerness":"conservative"}]} 511</script>
511 512 513
513<script type="text/javascript"> 514 window.WPCOM_sharing_counts = {"https://richardzach.org/teaching/":3063}; 515 </script>
515 516
516<script id="jetpack-testimonial-theme-supports-js-after"> 517const jetpack_testimonial_theme_supports = false 518//# sourceURL=jetpack-testimonial-theme-supports-js-after 519</script>
vendor: 1 bytes, line 519
519
520<script id="underscore-js" src="https://c0.wp.com/c/7.1.2/wp-includes/js/underscore.min.js"></script>
vendor: 1 bytes, line 520
520
521<script id="sequential-navigation-js" src="https://richardzach.org/wp-content/themes/sequential/js/navigation.js?ver=20141022"></script>
vendor: 1 bytes, line 521
521
522<script id="sequential-thumbnail-js" src="https://richardzach.org/wp-content/themes/sequential/js/thumbnail.js?ver=20141022"></script>
vendor: 1 bytes, line 522
522
523<script id="sequential-skip-link-focus-fix-js" src="https://richardzach.org/wp-content/themes/sequential/js/skip-link-focus-fix.js?ver=20130115"></script>
vendor: 1 bytes, line 523
523
524<script id="sequential-script-js" src="https://richardzach.org/wp-content/themes/sequential/js/sequential.js?ver=20141022"></script>
vendor: 1 bytes, line 524
524
525<script id="jetpack-stats-js-before"> 526_stq = window._stq || []; 527_stq.push([ "view", {"v":"ext","blog":"164320022","post":"3063","tz":"-6","srv":"richardzach.org","j":"1:16.2"} ]); 528_stq.push([ "clickTrackerInit", "164320022", "3063" ]); 529//# sourceURL=jetpack-stats-js-before 530</script>
vendor: 1 bytes, line 530
530
531<script data-wp-strategy="defer" defer fetchpriority="low" id="jetpack-stats-js" src="https://stats.wp.com/e-202640.js"></script>
vendor: 1 bytes, line 531
531
532<script id="mathjax-js" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.9/MathJax.js?config=TeX-AMS_HTML&ver=1.3.13"></script>
vendor: 1 bytes, line 532
532
533<script id="sharing-js-js-extra"> 534var sharing_js_options = {"lang":"en","counts":"1","is_stats_active":"1"}; 535//# sourceURL=sharing-js-js-extra 536</script>
vendor: 1 bytes, line 536
536
537<script id="sharing-js-js" src="https://c0.wp.com/p/jetpack/16.2/_inc/build/sharedaddy/sharing.min.js"></script>
vendor: 1 bytes, line 537
537
538<script id="sharing-js-js-after"> 539window.WPCOM_sharing_popups = window.WPCOM_sharing_popups || {}; 540window.WPCOM_sharing_popups[ "mastodon" ] = "menubar=1,resizable=1,width=460,height=400"; 541window.WPCOM_sharing_popups = window.WPCOM_sharing_popups || {}; 542window.WPCOM_sharing_popups[ "facebook" ] = "menubar=1,resizable=1,width=600,height=400"; 543window.WPCOM_sharing_popups = window.WPCOM_sharing_popups || {}; 544window.WPCOM_sharing_popups[ "twitter" ] = "menubar=1,resizable=1,width=600,height=350"; 545//# sourceURL=sharing-js-js-after 546</script>
vendor: 1 bytes, line 546
546
547<script id="wp-emoji-settings" type="application/json"> 548{"baseUrl":"https://s.w.org/images/core/emoji/17.0.2/72x72/","ext":".png","svgUrl":"https://s.w.org/images/core/emoji/17.0.2/svg/","svgExt":".svg","source":{"concatemoji":"https://richardzach.org/wp-includes/js/wp-emoji-release.min.js?ver=7.1.2"}} 549</script>
vendor: 1 bytes, line 549
549
550<script type="module"> 551/*! This file is auto-generated */ 552var e="script#wp-emoji-settings",t=document.querySelector(e);if(!(t instanceof HTMLScriptElement))throw new Error("Element missing: "+e);const r=JSON.parse(t.text),s=(window._wpemojiSettings=r,"wpEmojiSettingsSupports"),o=["flag","emoji"];function i(e){try{var t={supportTests:e,timestamp:(new Date).valueOf()};sessionStorage.setItem(s,JSON.stringify(t))}catch(e){}}function c(e,t,n){e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(t,0,0);t=new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data);e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(n,0,0);const r=new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data);return t.every((e,t)=>e===r[t])}function p(e,t){e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(t,0,0);var n=e.getImageData(16,16,1,1);for(let e=0;e<n.data.length;e++)if(0!==n.data[e])return!1;return!0}function u(e,t,n,r){switch(t){case"flag":return n(e,"\ud83c\udff3\ufe0f\u200d\u26a7\ufe0f","\ud83c\udff3\ufe0f\u200b\u26a7\ufe0f")?!1:!n(e,"\ud83c\udde8\ud83c\uddf6","\ud83c\udde8\u200b\ud83c\uddf6")&&!n(e,"\ud83c\udff4\udb40\udc67\udb40\udc62\udb40\udc65\udb40\udc6e\udb40\udc67\udb40\udc7f","\ud83c\udff4\u200b\udb40\udc67\u200b\udb40\udc62\u200b\udb40\udc65\u200b\udb40\udc6e\u200b\udb40\udc67\u200b\udb40\udc7f");case"emoji":return!r(e,"\ud83e\u1fac8")}return!1}function f(e,t,n,r){let a;const s=(a="undefined"!=typeof WorkerGlobalScope&&self instanceof WorkerGlobalScope?new OffscreenCanvas(300,150):document.createElement("canvas")).getContext("2d",{willReadFrequently:!0}),o=(s.textBaseline="top",s.font="600 32px Arial",{});return e.forEach(e=>{o[e]=t(s,e,n,r)}),o}function a(e){var t=document.createElement("script");t.src=e,t.defer=!0,document.head.appendChild(t)}r.supports={everything:!0,everythingExceptFlag:!0},new Promise(t=>{let n=function(){try{var e=JSON.parse(sessionStorage.getItem(s));if("object"==typeof e&&"number"==typeof e.timestamp&&(new Date).valueOf()<e.timestamp+604800&&"object"==typeof e.supportTests)return e.supportTests}catch(e){}return null}();if(!n){if("undefined"!=typeof Worker&&"undefined"!=typeof OffscreenCanvas&&"undefined"!=typeof URL&&URL.createObjectURL&&"undefined"!=typeof Blob)try{var e="postMessage("+f.toString()+"("+[JSON.stringify(o),u.toString(),c.toString(),p.toString()].join(",")+"));",r=new Blob([e],{type:"text/javascript"});const a=new Worker(URL.createObjectURL(r),{name:"wpTestEmojiSupports"});return void(a.onmessage=e=>{i(n=e.data),a.terminate(),t(n)})}catch(e){}i(n=f(o,u,c,p))}t(n)}).then(e=>{for(const n in e)r.supports[n]=e[n],r.supports.everything=r.supports.everything&&r.supports[n],"flag"!==n&&(r.supports.everythingExceptFlag=r.supports.everythingExceptFlag&&r.supports[n]);var t;r.supports.everythingExceptFlag=r.supports.everythingExceptFlag&&!r.supports.flag,r.supports.everything||((t=r.source||{}).concatemoji?a(t.concatemoji):t.wpemoji&&t.twemoji&&(a(t.twemoji),a(t.wpemoji)))}); 553//# sourceURL=https://richardzach.org/wp-includes/js/wp-emoji-loader.min.js 554</script>
554 555<svg style="position: absolute; width: 0; height: 0; overflow: hidden;" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> 556<defs> 557<symbol id="icon-fedicons-diaspora" viewBox="0 0 24 24"> 558<path d="M14.443 19.446a5342.008 5342.008 0 0 1-1.747-2.44c-.467-.653-.847-1.163-.867-1.163-.02 0-.755.987-1.737 2.335a152.208 152.208 0 0 1-1.72 2.336c-.026 0-3.374-2.358-3.383-2.383-.004-.012.753-1.123 1.682-2.469.93-1.345 1.69-2.468 1.69-2.494 0-.042-.302-.147-2.663-.935-1.465-.488-2.678-.893-2.695-.9-.025-.01.115-.476.593-1.985.344-1.086.633-1.982.643-1.993.01-.01 1.282.396 2.828.905 1.547.509 2.825.925 2.84.925.017 0 .034-.024.04-.053.006-.029.02-1.345.03-2.925.01-1.58.027-2.887.038-2.903.014-.023.449-.029 2.044-.029 1.113 0 2.036.008 2.05.018.018.012.049.88.1 2.832.084 3.204.086 3.247.137 3.247.02 0 1.245-.41 2.723-.912 1.478-.501 2.695-.903 2.704-.893.03.033 1.242 3.98 1.227 3.995-.008.008-1.242.43-2.741.939-2.063.699-2.728.933-2.734.963-.004.022.705 1.082 1.607 2.402.888 1.3 1.611 2.372 1.607 2.384-.009.027-3.331 2.475-3.36 2.475-.01 0-.432-.576-.936-1.28z"/> 559</symbol> 560<symbol id="icon-fedicons-friendica" viewBox="0 0 24 24"> 561<path d="M3.071 6.24v11.52c0 1.787 1.439 3.24 3.216 3.24h11.426c1.777 0 3.216-1.453 3.216-3.24V6.24c0-1.787-1.439-3.24-3.216-3.24H6.287C4.51 3 3.07 4.453 3.07 6.24zM17.713 4c1.389 0 2.216.834 2.216 2.24v11.52c0 1.406-.827 2.24-2.216 2.24h-8.57v-4.04h5.714l-.015-4.308-5.699.03V8.04h5.714V4z"/> 562</symbol> 563<symbol id="icon-fedicons-gnu-social" viewBox="0 0 24 24"> 564<path d="M5.24 2.156a2.735 2.735 0 0 0-2.74 2.74v10.957a2.735 2.735 0 0 0 2.74 2.74h8.147C13.378 21.7 9.181 23 9.181 23s7.096-.023 8.1-4.406h1.479a2.734 2.734 0 0 0 2.74-2.74V4.896a2.735 2.735 0 0 0-2.74-2.741H5.24zm3.938 2.196a.232.232 0 0 1 .08 0 .137.137 0 0 1 .065.032c.291.26-.483.514-.42 1.79.027.561-.14.998.934.998.717 0 .42-.64 1.324-.64.537 0 .735.347.81.628.074-.281.272-.627.81-.627.903 0 .606.639 1.323.639 1.074 0 .907-.437.934-.997.063-1.277-.711-1.532-.42-1.791.291-.26 1.542 1.261 1.573 1.853.032.619.048 1.594-.872 2.1 1.027 1.012 1.165 2.354 1.165 2.354l-1.776-.032s-.405-1.837-2.554-1.744c-2.149.094-2.429.468-2.429 2.741 0 2.274.997 3.055 2.523 3.115 2.398.093 2.18-1.246 2.18-1.246l-1.121.062-.623-1.681h3.83c0 1.837-.778 4.702-4.422 4.515-3.644-.186-4.453-3.052-4.485-4.983-.017-1.06.156-2.255 1.024-3.1-.91-.505-.881-1.48-.881-2.1 0-.767.99-1.819 1.428-1.886z"/> 565</symbol> 566<symbol id="icon-fedicons-mastodon" viewBox="0 0 24 24"> 567<path d="M21.377 14.59c-.288 1.48-2.579 3.102-5.21 3.416-1.372.164-2.723.314-4.163.248-2.356-.108-4.215-.562-4.215-.562 0 .23.014.448.042.652.306 2.325 2.306 2.464 4.2 2.529 1.91.065 3.612-.471 3.612-.471l.079 1.728s-1.337.718-3.718.85c-1.314.072-2.944-.033-4.844-.536-4.119-1.09-4.824-5.481-4.935-9.936-.033-1.323-.013-2.57-.013-3.613 0-4.556 2.985-5.891 2.985-5.891C6.702 2.313 9.284 2.022 11.969 2h.066c2.685.022 5.269.313 6.774 1.004 0 0 2.984 1.335 2.984 5.89 0 0 .038 3.362-.416 5.695zm-3.104-5.342c0-1.127-.277-2.032-.864-2.686-.594-.663-1.373-1.002-2.34-1.002-1.118 0-1.965.43-2.525 1.29L12 7.761l-.544-.913c-.56-.86-1.407-1.29-2.525-1.29-.967 0-1.746.34-2.34 1.003-.577.663-.864 1.559-.864 2.686v5.516h2.186V9.41c0-1.128.474-1.701 1.424-1.701 1.05 0 1.577.68 1.577 2.023v2.93h2.172v-2.93c0-1.344.527-2.023 1.577-2.023.95 0 1.424.573 1.424 1.701v5.354h2.186V9.248z"/> 568</symbol> 569<symbol id="icon-fedicons-peertube" viewBox="0 0 24 24"> 570<path d="M3.938 1.25v10.751L12 6.626zM12 6.626v10.748l8.062-5.373zM3.938 12V22.75L12 17.376z"/> 571</symbol> 572<symbol id="icon-fedicons-pixelfed" viewBox="0 0 24 24"> 573<path d="M12 22C6.477 22 2 17.523 2 12S6.477 2 12 2s10 4.477 10 10-4.477 10-10 10zm-.794-7.817h1.835c1.728 0 3.129-1.364 3.129-3.046 0-1.682-1.401-3.046-3.13-3.046h-2.647c-.997 0-1.805.787-1.805 1.757v6.84z"/> 574</symbol> 575</defs> 576</svg> 577 578</body> 579</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.