[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science"></meta><meta name="description" content="Website for the Department of Computer Science at the heart of computing and related interdisciplinary activity at Oxford."></meta><title>Logic and Proof</title>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/ourstudents/index.html">Student Space</a></li><li><a href="/teaching/courses/">Courses</a></li><li><span class="youarehere">Logic and Proof</span></li></ol></div><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><h1>Logic and Proof: 
        2024-2025</h1><h2>Timetables</h2><table><tr><td class="personInfo"><p><b>Lecturer</b></p></td><td><p class="listedlinks"><a href="/people/James.Worrell">James Worrell</a></p></td></tr><tr><td class="personInfo"><p><b>Term</b></p></td><td><p class="listedlinks">Michaelmas Term 2024
       (16 lectures)
    </p></td></tr><tr><td class="personInfo" style="vertical-align: top; padding-top: 11px; padding-right: 1em"><p><strong>Classes</strong></p></td><td><div style="margin-bottom: 18px"><h4>Michaelmas Term 2024</h4><div><p class="listedlinks">Group 1 - Tuesday,
  15:00 - 16:00
  
  
  ( 
  Weeks 4,5,7,8 )
  <em>Room 114, RHB</em></p></div><div><p class="listedlinks">Group 2 - Tuesday,
  16:00 - 17:00
  
  
  ( 
  Weeks 4,5,7,8 )
  <em>Room 114, RHB</em></p></div></div><div style="margin-bottom: 18px"><h4>Trinity Term 2025</h4><div><p class="listedlinks">Revision Class - Thursday,
  11:00 - 13:00
  
  
  ( 
  Week 4 )
  <em>051</em></p></div></div></td></tr><tr><td class="personInfo" style="vertical-align: top; padding-top: 11px; padding-right: 1em"><p><strong>Lectures</strong></p></td><td><div style="margin-bottom: 18px"><h4>Michaelmas Term 2024</h4><div><p class="listedlinks">Monday,
  9:00 - 10:00
  
  
  ( 
  Weeks 1-8 )
  <em>LTA</em></p></div><div><p class="listedlinks">Tuesday,
  9:00 - 10:00
  
  
  ( 
  Weeks 1-8 )
  <em>LTA</em></p></div></div></td></tr></table></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="/ourstudents/index.html">Student Space</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/teaching/courses/">Course A-Z</a><ul><li class="side-menu-heading mobile-menu-source">Logic and Proof</li><ul class="subnav"><li><a href="/teaching/courses/2024-2025/logicandproof/index.html" class="menu">Information</a></li><li><a href="/teaching/courses/2024-2025/logicandproof/timetable.html" class="menu"><strong>Timetables</strong></a></li><li><a href="https://courses.cs.ox.ac.uk/course/view.php?name=logicandproof_2024_2025" class="menu">Course materials</a></li><li><a href="https://courses.cs.ox.ac.uk/course/view.php?name=past_papers" class="menu">Past Exam Papers and Solutions</a></li><li><a href="/teaching/internal/courses/2024-2025/logicandproof/pastmaterials.html" class="menu">Previous course materials</a></li></ul></ul></li><li><a href="/ourstudents/degrees.html">Degrees</a></li><li><a href="/teaching/handbooks.html">Online Resources, Handbooks &amp; Library</a></li><li><a href="https://www.cs.ox.ac.uk/minerva/">Minerva</a></li><li><a href="/teaching/examinations/">Examinations</a></li><li><a href="/teaching/timetables/">Timetables</a></li></ul></div></div></div>[an error occurred while processing this directive]