PageSourceSearch

https://richardzach.org/teaching/

html richardzach.org collected 2026-10-02 05:01:18 UTC 56,296 bytes, 579 lines download raw bytes

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 &#8211; 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 &raquo; Feed" href="https://richardzach.org/feed/" />
17<link rel="alternate" type="application/rss+xml" title="Richard Zach &raquo; Comments Feed" href="https://richardzach.org/comments/feed/" />
18<link rel="alternate" type="application/rss+xml" title="Richard Zach &raquo; 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&#038;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&#038;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&#8217; 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&#038;body=https%3A%2F%2Frichardzach.org%2Fteaching%2F&#038;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&#039;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 &hellip;" 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 &#8211; 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"> &mdash; </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&#038;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.